Polyhedra lançou o EXPchain para aplicação de inteligência artificial, analisando a necessidade de blockchain para modelos de IA e geradores de prova Zk distribuídos

Após o declínio do preço da moeda e a perda da disputa pelo código $ZK com o zkSync, Polyhedra, uma infraestrutura de interoperabilidade de blocos, recentemente se recuperou e lançou a 'cadeia de todas as coisas' construída para IA, conhecida como EXPchain. Eles também propuseram o conceito de Prova de Inteligência (PoI), criando uma cadeia de blocos não adulterável e confiável para modelos de inteligência artificial. Vale a pena esperar para ver se a combinação de zk e a transformação para IA será bem-sucedida.

A regulamentação tradicional de IA envolve dados sensíveis, zkML é uma nova solução

A oficial definiu a EXPchain como um protocolo de cadeia Bloco projetado para aplicações de inteligência artificial escaláveis, verificáveis e centradas na privacidade. Como uma "cadeia de tudo para a IA", a EXPchain integra a aprendizagem de máquina de conhecimento zero (zkML) e um novo framework de prova de inteligência (Proof of Intelligence, PoI). As principais inovações incluem o sistema eficiente de prova zk Expander e o kit de ferramentas zkPyTorch amigável para desenvolvedores que incorpora zkML nos fluxos de trabalho tradicionais de IA.

A inteligência artificial desempenha um papel cada vez mais crucial em várias indústrias, desde o desbloqueio de telefones com reconhecimento facial até pedidos de empréstimos e diagnósticos médicos impulsionados por IA. Essas tecnologias trazem tanto enormes oportunidades como desafios. Como garantir a equidade, precisão e segurança no funcionamento dos sistemas de IA? Como proteger dados sensíveis sem comprometer a transparência e a responsabilidade?

Além disso, os governos de vários países também estão a regulamentar a IA, como o Regulamento da IA da União Europeia e o Quadro de Gestão de Riscos de IA do Instituto Nacional de Padrões e Tecnologia (NIST) dos Estados Unidos. O problema com os métodos tradicionais é a necessidade de divulgar modelos proprietários ou dados sensíveis, o que resulta num dilema entre segurança, privacidade e confiança.

A aprendizagem automática de conhecimento zero (zkML) oferece uma solução alternativa à tradicional, com a capacidade de proteger a privacidade dos dados e dos modelos, ao mesmo tempo que realiza a verificação matemática dos sistemas de IA. A Polyhedra lançou o protocolo de interoperabilidade EXPchain baseado na tecnologia zkML, que não só leva em conta o comportamento da IA e as normas de conformidade, mas também é escalável e seguro.

A dívida técnica continua a aumentar, a implementação da IA na cadeia de blocos é benéfica para responsabilização

Um estudo indicou que a dívida técnica de software dos Estados Unidos em 2022 cresceu para 2,41 trilhões de dólares (dívida técnica refere-se a compromissos feitos ao desenvolver software para lançá-lo rapidamente ou atender às necessidades de curto prazo, o que geralmente aumenta os custos de manutenção do sistema a longo prazo). Além disso, um estudo da PricewaterhouseCoopers (PwC), uma das quatro principais empresas de consultoria profissional do mundo, também indicou que a IA deve contribuir para a economia global até 15,7 trilhões de dólares em 2030.

Com a expansão do AI, pode haver um aumento da dívida técnica. O colunista de negócios Raconteur já questionou se as empresas estão prontas para lidar com o custo dos fracassos da inteligência artificial. As falhas do AI incluem saídas incorretas, vazamento de dados e ataques cibernéticos. Além das perdas econômicas, esses erros também causam danos pessoais.

Por exemplo, a saída de dados incorretos pode levar a erros de julgamento da máquina ou a decisões tendenciosas. Portanto, é essencial garantir que cada elemento da negociação impulsionada pela inteligência artificial, desde a entrada de dados até a saída do modelo, seja verificável e responsável, ao mesmo tempo em que se enfrenta esses riscos para liberar todo o potencial da inteligência artificial. Este é o lugar onde o EXPchain demonstra sua utilidade ao verificar em tempo real o Bloco da IA.

Três grandes inovações tecnológicas: o Polyhedra pode resolver o desafio do gerador de prova zk?

A inovação tecnológica inclui Expander, ExPos e zkPyTorch

Polyhedra: Expander é atualmente o provador de conhecimento-zero mais rápido do mundo

Os dados fornecidos pela Polyhedra incluem:

O processamento de imagens VGG-16 em uma CPU de um único thread leva apenas 2,2 segundos

Processamento de Llama-3.1 8B em uma CPU de thread única, cada token requer 150 segundos

O desempenho é quatro ordens de magnitude mais rápido do que os dados anteriores.

Esses avanços reduziram significativamente o custo e o atraso da verificação de IA, suportando várias aplicações, como inferência de privacidade até revisão de modelo. O Expander também está alinhado com a visão de zk final proposta por Vitalik Buterin.

Layer 2 é principalmente dividido em Optimistic Rollup e zk Rollup, e para a maioria das blockchains zk Rollup, a geração de provas de conhecimento zero (ZKP) é um gargalo, as empresas devem implantar máquinas poderosas com memória TB para lidar com o grande volume de transações em ZKP. No entanto, no artigo anteriormente proposto pela equipe de tecnologia Polyhedra, liderada pelo CTO Tiancheng Xie e pelo cientista-chefe Jiaheng Zhang, foi discutida uma nova solução usando ZKP totalmente descentralizado para melhorar a escalabilidade da tecnologia zk.

ExPoS：Prova de Participação Estendida

ExPoS is a proof-of-stake mechanism developed for zkML technology in EXPchain, which verifies the behavior and compliance of AI applications without revealing proprietary model data. In simple terms, it uses Polyhedra's zkBridge technology to unify and connect all the proof-of-stake mechanisms on the Bloco chain into a cohesive staking network.

zkPyTorch: Uma caixa de ferramentas amigável para desenvolvedores

zkPyTorch converte automaticamente as operações do PyTorch em circuitos zk, reduzindo a lacuna entre o fluxo de trabalho tradicional de desenvolvimento de IA e a aprendizagem de máquina com conhecimento zero (zkML). Essa integração permite que os desenvolvedores usem ferramentas familiares, ao mesmo tempo em que reduzem significativamente o tempo e a complexidade de implantação de aplicativos de IA com suporte a zk.

zkML pode ser verificado com LLM sob a premissa de privacidade

O núcleo do EXPchain está no zkML (aprendizagem de máquina de conhecimento zero), que suporta a verificação criptográfica de modelos de IA, garantindo segurança e precisão em todo o ciclo de vida da aprendizagem de máquina, incluindo:

Raciocínio verificável: prova da saída de inteligência artificial sem expor o modelo ou os dados.

Modelo de verificação: verificando a equidade e conformidade do desempenho com base no conjunto de testes.

Verificação de treinamento: garantir conformidade com o protocolo sem divulgar entradas sensíveis.

zkML Aplicações específicas incluem:

Adicione marcas d'água digitais aos modelos de linguagem de grande escala (LLMs). Marcas d'água digitais são recursos pequenos e pouco perceptíveis incorporados no texto gerado pelo LLM para identificar se o texto foi gerado por um modelo específico, a fim de evitar conteúdo falso e abuso de conteúdo.

Garantir a conformidade do modelo, como a verificação de conformidade em instituições financeiras.

Realizar cálculos seguros de várias partes em uma indústria focada na privacidade.

Atualmente, as marcas d'água digitais zkML da EXPchain podem ser usadas para verificar grandes modelos de idioma, como o Llama-3.1 8B.

O principal criptógrafo da Polyhedra tem uma grande reputação, impulsionando a cadeia de prova de inteligência artificial PoI

O EXPchain pode ser considerado como uma prova de inteligência (PoI), criando uma cadeia de blocos inalterável e confiável para modelos de inteligência artificial, verificando sua origem, autenticidade e conformidade ética. Esse framework protege os direitos de propriedade intelectual e garante prestação de contas transparente, vinculando criptograficamente a origem e o desempenho de cada modelo de inteligência artificial a registros verificáveis na cadeia, proporcionando uma transparência sem precedentes ao ecossistema impulsionado pela inteligência artificial.

E quando se fala sobre o cérebro por trás de tudo isso, é impossível não mencionar Zhenfei Zhang, o principal criptógrafo da Polyhedra. Anteriormente, ele trabalhou para líderes do setor como Algorand, Espresso, Ethereum Foundation e Scroll, desfrutando de grande renome no campo da criptografia. O artigo 'ZEN: um compilador otimizado para raciocínio de redes neurais de conhecimento zero verificável' discute a aprendizagem automática verificável.

Este artigo Polyhedra apresenta a aplicação EXPchain de inteligência artificial, analisando a necessidade de colocação em cadeia de modelos de IA e o surgimento do gerador distribuído de prova zk, que apareceu pela primeira vez nas notícias da cadeia ABMedia.