Discurso de abertura de Vitalik Buterin em Hong Kong: O acordo desenvolveu-se rapidamente nos últimos 10 anos, mas existem dois problemas principais: eficiência e segurança.

Durante o Carnaval Web3 de Hong Kong de 2024, o cofundador da Ethereum, Vitalik Buterin, fez um discurso de abertura “Alcançando os Limites do Design de Protocolo” no “Web3 Scholar Summit 2024” organizado pelo DRK Lab.

Ele apresentou que, na década de 2010, os protocolos baseados em criptografia básica eram hashing e assinaturas. Posteriormente, o acordo desenvolveu-se rapidamente. Na década de 2020, os protocolos baseados em criptografia avançada incluem ZK-SNARKS, 2PC, MPC, FHE (criptografia totalmente homomórfica), agregação (inclusive por meio de IVC, ICD, etc.) e redes P2P avançadas.

Vitalik disse que os atuais ZK-SNARKs, MPC, FHE e outras tecnologias têm problemas de eficiência e segurança.Entre eles, o tempo de bloqueio do Ethereum Slot é de 12 segundos, o tempo de verificação do bloco “normal” é de cerca de 400 milissegundos e a certificação ZK-SNARK o tempo é de cerca de 20 minutos, o Ethereum pretende obter provas em tempo real. Existem várias soluções para o problema de eficiência, incluindo paralelização (paralelização), árvores de agregação (árvores de agregação), melhoria da eficiência (usando algoritmo SNARK e hashing) e soluções de hardware aceleradas por ASIC.


O problema de vulnerabilidade do circuito ZK-SNARK pode ser resolvido pelo comitê de segurança e por vários provadores. No futuro, a IA pode ajudar na depuração e na resolução de problemas.

"Acho que uma direção futura interessante é usar ferramentas de inteligência artificial, potencialmente usando novas ferramentas para verificação formal. Como provar que não há bugs no zkEVM, “disse ele.” Talvez possamos realmente conseguir uma solução livre de bugs. mundo no futuro. Isso é um pouco louco.”

Além disso, ao falar sobre eficiência de agregação de assinaturas, Vitalik Buterin destacou que a situação atual é de cerca de 30.000 assinaturas por slot, o que exige alta demanda de nós. O objetivo desejado é suportar o maior número possível de validadores, reduzindo os requisitos dos nós e adotando um protocolo relativamente simples. De acordo com as limitações teóricas, cada participante necessita de 1 bit de dados por intervalo de tempo e não há limite inferior no cálculo.

“Então a conclusão é, basicamente, o que precisamos pensar é que precisamos de protocolos para atingir os limites do que você pode fazer com a criptografia, e chegamos ao ponto em que nossa criptografia é muito mais forte do que era há algumas décadas. atrás, mas pode ser mais forte, neste momento acho que realmente precisamos começar a pensar sobre o que é o teto e como podemos realmente chegar a ele", disse Vitalik para encerrar.