Fonte do link: https://x.com/Zypher_Network/status/1871383005505396853
Desde Goth16 até Plonk, toda a indústria zk tem se esforçado para projetar sistemas de prova mais eficientes. No entanto, como avaliar objetivamente o desempenho de um sistema de prova zk sempre foi uma questão complexa, pois ainda não há um padrão de teste unificado. Em julho deste ano, a StareWare lançou o sistema de prova de próxima geração Stwo, que introduz o indicador de hashes por segundo de prova (HPPS), permitindo medir intuitivamente o desempenho do sistema. Os testes mostraram que o Stwo pode provar 620.000 hashes Poseidon2 por segundo em um laptop M3, sendo considerado o sistema de prova mais rápido. No entanto, esse recorde foi rapidamente quebrado. Em agosto, o Expander lançou o relatório de benchmark mais recente, afirmando que em uma máquina AMD Ryzen 7950X3D, a taxa de transferência do Expander chegou a 2.160.000 HHPS, superando em muito os 960.000 HHPS do Stwo, tornando-se o provador mais rápido do mundo.
A Zypher Network é uma plataforma de jogos em cadeia completa impulsionada por Agentes de IA e tecnologia ZKP, que continua a se concentrar no desenvolvimento da indústria e a introduzir ativamente sistemas de prova eficientes. Sistemas de prova mais eficientes não apenas podem melhorar significativamente a experiência do usuário, mas também oferecem possibilidades infinitas para construir aplicativos descentralizados de alto desempenho em cadeia. Atualmente, estamos colaborando com os inventores do Expander, a Polyhedra Network, para explorar ativamente o uso do Expander para criar a próxima geração de infraestrutura descentralizada em cadeia, injetando um fluxo contínuo de inovação no ecossistema de jogos em cadeia. Como líderes no campo da pesquisa e aplicação de conhecimento zero, a Polyhedra construiu a tecnologia fundamental de confiança e escalabilidade nos sistemas de IA e blockchain por meio de seu EXPchainLayer1. Com a eficiência do Expander, eles alcançaram IA verificável em cadeia, oferecendo novas possibilidades e soluções para o desenvolvimento da indústria.
O que é o Expander?
A maioria dos SNARKs utiliza polinômios univariados, o que é determinado principalmente pelos esquemas de compromisso polinomial subjacentes (como KZG, FRI), e os compromissos polinomiais geralmente são o principal gargalo de desempenho dos SNARKs. Nos últimos anos, surgiram novos sistemas de prova, como esquemas baseados em GKR+sumcheck, que, ao utilizar de forma inteligente polinômios multivariados, reduziram significativamente a complexidade do provador.
O protocolo GKR foi proposto em 2008 e foi aprimorado pela Libra, apresentando o primeiro esquema de prova de conhecimento zero com um tempo de provador linear rigoroso. Com base nisso, os autores da Libra — a equipe Polyhedra — desenvolveram o sistema de prova Expander. Este sistema combina o eficiente protocolo GKR com esquemas de compromisso polinomial baseados em polinômios multivariados (como Orion e Brakedown), de modo que os cálculos do provador envolvem apenas operações de hash e operações de campo que têm uma relação linear com o tamanho do polinômio. O sistema de prova não requer operações FFT, permitindo assim o uso de campos menores, atualmente mais populares, o que também significa menor sobrecarga para o provador e melhor compatibilidade com hardware. O Expander atualmente suporta principalmente os seguintes campos:
A escrita de circuitos GKR é relativamente complexa, portanto, o Expander fornece o compilador de circuitos ECC, permitindo a conversão de circuitos escritos em gnark em circuitos hierárquicos, e depois usar o provador Expander para a prova, todo o fluxo de desenvolvimento é mostrado na imagem abaixo:
Aprofundando no protocolo GKR
O fluxo completo do protocolo é o seguinte, onde:
Solução Zypher
O Expander apresenta desempenho superior, especialmente no campo da IA. Sabe-se que o Expander pode gerar rapidamente provas para o modelo Llama-3 com 8 bilhões de parâmetros em poucos minutos usando CPUs de alto desempenho, um feito empolgante que também pavimenta o caminho para a aplicação de Agentes de IA. A Zypher Network, uma plataforma de jogos em cadeia completa impulsionada por Agentes de IA e tecnologia ZKP, está utilizando Agentes de IA para criar personagens não jogadores inteligentes, oponentes e poderosos Boss de jogos, realizando treinamento diário de personagens e implementando batalhas PvP automatizadas, entre outros.
Com a ajuda do Expander, a Zypher pode, por um lado, realizar Agentes de IA práticos e mais complexos e gerar provas mais rapidamente com menos recursos computacionais; por outro lado, a Zypher pode validar o comportamento de Agentes de IA e jogadores de forma mais eficiente, garantindo a segurança e a equidade do sistema, elevando assim os jogos descentralizados em cadeia a um novo nível e proporcionando uma experiência de usuário superior.