Perguntas e respostas comprovadas em tempo real :) Que passa? 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, independentemente do gás usado. Blocos Thicc, pequenos validadores. Descentralização maxis regozijo. Não estava a revelar-se matemática da lua impossível em tempo real? R: Foi. Há cinco anos, estávamos a cinco ordens de grandeza de distância. Mas a tecnologia continuou a aumentar 10x/ano, e agora estamos aqui. Não desvaneça exponenciais. Além disso, em exponenciais: → não desvanecem computadores quânticos quebrando ECDSA → não desvanecem os halvings quebrando a segurança do Bitcoin Como o Ethereum L1 se torna um "rollup baseado e nativo"? R: Vamos decompô-lo. → baseado: L1 proponentes ordenam transações. Ethereum L1 é a camada base - é tautologicamente baseado. → nativo: L1 executa transações através da função de transição de estado EVM consagrada. Por definição, Ethereum L1 é nativo. Sempre será. → rollup: um rollup tem dados onchain e execução offchain. Ao rosnar mainnet EVM blocos Ethereum L1 se transforma em um rollup zk. Os rollups desbloqueiam grandes limites de gás. A base já está em 35 megagas/seg — 20x Ethereum L1. Base está apontando para 1 gigagas / seg, Ethereum L1 pode chegar lá também. Wen gigagas L1? R: A chamada #3 da Ethproofs será dedicada a gigagas L1 — sintonize-se. Com o EIP-9698, a Dankrad propõe ~3x/ano de solavancos de gás, ou ~10x a cada 2 anos. Isso é 1.000x em 6 anos. Números respeitáveis, mas ainda assim novatos. Minha visão otimista? Agora que os zkVMs correspondem aos limites de gás de desempenho do EVM, podemos acompanhar as melhorias do zkVM. Se continuarmos batendo 10x/ano, são 1 gigagás/seg 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 é buggy? 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. No final do 2º trimestre, um punhado de zkVMs atingirá a prova em tempo real. Assim como os clientes CL e EL, qualquer cliente individual é considerado buggy. A segurança vem da diversidade. A baixa latência pode ser dimensionada para gigagás? R: Sim. A prova SNARK é massivamente paralelizável. Apenas a execução x86 inicial e o chunking são sequenciais. A EIP-7825 propõe limitar a quantidade máxima de gás utilizada 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? Potência. Uma vivacidade credível de 1-of-n prover significa que a prova em casa deve ser acessível aos entusiastas. Um objetivo razoável pode ser de 10 kW ou menos por cluster de prova. Como cultivamos o limite de gás em 1.000x com um orçamento de 10kW? → software: sistemas de prova, circuitos, algos continuam compondo → hardware: Lei de Moore + SNARK ASICs → distribuído provando: espalhe a carga, sem confiança