comprovação em tempo real de perguntas e respostas :) O que é? ELI12. R: Um exército de nerds acabou de resolver um problema de ficção científica: provar todos os blocos da rede principal Ethereum em tempo real. Essas provas zk são exponencialmente mais baratas de verificar do que reexecutar transações - apenas alguns milissegundos, não importa o gás usado. Blocos Thicc, validadores minúsculos. Descentralização maxis se alegram. O tempo real não estava provando matemática lunar impossível? R: Foi. Cinco anos atrás, estávamos a cinco ordens de magnitude de distância. Mas a tecnologia continuou aumentando 10x/ano, e agora estamos aqui. Não desvaneça exponenciais. Além disso, em exponenciais: → não desbotam computadores quânticos quebrando o ECDSA → não desbotam os halvings, quebrando a segurança do Bitcoin Como o Ethereum L1 se torna um "rollup baseado e nativo"? R: Vamos dividi-lo. → baseado: transações de pedidos de proponentes L1. Ethereum L1 é a camada base - é baseada tautologicamente. → nativo: L1 executa transações por meio da função de transição de estado EVM consagrada. Por definição, o Ethereum L1 é nativo. Sempre será. → rollup: um rollup tem dados onchain e execução offchain. Ao snarking os blocos EVM da rede principal, o Ethereum L1 se transforma em um zk rollup. Os rollups desbloqueiam grandes limites de gás. A base já está em 35 megagas/s - 20x Ethereum L1. A base está apontando para 1 gigagas/s, o Ethereum L1 também pode chegar lá. Wen gigagás L1? R: A chamada #3 da Ethproofs será dedicada ao gigagás L1 - sintonize. Com o EIP-9698, a Dankrad propõe aumentos de gás ~ 3x / ano, ou ~ 10x a cada 2 anos. Isso é 1.000x em 6 anos. Respeitável - mas ainda números de novatos. Minha opinião otimista? Agora que as zkVMs correspondem aos limites de desempenho do EVM, o gás pode acompanhar as melhorias do zkVM. Se continuarmos atingindo 10x/ano, isso é 1 gigagás/s em 3 anos. Trabalhei com Dankrad por mais de uma década - a realidade geralmente fica entre sua cautela e meu hopium. O zkVM não tem bugs? E quanto à verificação formal? R: A verificação formal é o fim do jogo, não o primeiro passo. A estratégia de curto prazo: diversidade zkVM. Até o final do segundo trimestre, um punhado de zkVMs chegará à prova em tempo real. Assim como os clientes CL e EL, qualquer cliente individual é considerado com bugs. A segurança vem da diversidade. A prova de baixa latência pode ser dimensionada para gigagás? R: Sim. A prova SNARK é massivamente paralelizável. Somente a execução inicial do x86 e o agrupamento são sequenciais. A EIP-7825 propõe limitar a quantidade máxima de gás usada por transação. Isso permite uma divisão fácil nos limites da transação. Escalas de paralelismo. A latência permanece baixa. Qual é o próximo gargalo do zkVM? Poder. A vivacidade credível do provador 1-of-n significa que a prova caseira deve ser acessível aos entusiastas. Uma meta razoável pode ser de 10 kW ou menos por cluster de prova. Como aumentamos o limite de gás em 1.000x com um orçamento de 10kW? → software: sistemas de prova, circuitos, algoritmos continuam se compondo → hardware: lei de Moore + ASICs SNARK → prova distribuída: distribua a carga, sem confiança