Na @ziskvm, estamos agora a provar blocos do Ethereum em tempo real — código aberto e a funcionar em infraestruturas cada vez mais eficientes. É um marco inicial, mas significativo. Junte-se a mim hoje às 13:00 @ EthCC, Redford Stage para saber mais. #EthCC #ZK #Ethereum #zkVM @eth_proofs

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

🤯 A prova em tempo real está aqui 🤯 Blocos EVM Mainnet comprovados em menos de 1 slot Ethereum (12s). Arrepios. Sucinta prova cada bloco Ethereum L1: → 94% em <12s → 99% em <13s → 99,9% em <12s, em breve™ Ontem, a RISC Zero revelou um cluster de GPU doméstica de US$ 120 mil — provas esperadas em 9,25s. Brevis, OpenVM, Snarkify, ZisK, ZKM estão a semanas de se juntarem ao clube em tempo real. Em breve™, meu validador verificará os blocos EVM em um Rasberry Pi Pico — uma placa de US$ 5 que consome <1W. Abandonarei o meu cliente EL em favor de um zkEL. Sem NVMe de 1 TB. Adeus Geth, olá zkReth. Verificação sem estado e sem RAM em milissegundos em um único núcleo de CPU. Com a comprovação em tempo real de 1 gigagás/seg (10K TPS) está ao alcance, sem comprometer a descentralização do validador. A partir de agora espere solavancos regulares no limite de gás. 10% da participação já está votando por um limite de 60 milhões — seus validadores também podem. Snarkifying mainnet transforma Ethereum L1 no primeiro rollup baseado e nativo. Estágio 2. Sem bugs. Sequenciação descentralizada. Sem conselho de segurança. Sem governação. O L1 dará o exemplo. Esta sexta-feira celebramos. Junte-se a nós para a chamada #2 da Ethproofs, 23 de maio às 14h UTC. 25 oradores, 2 horas de conteúdo. As chamadas estão abertas — DM @corcoranwill para um convite de calendário. Estamos a assistir à história. Acredite em algo real. Acredite na prova em tempo real.

Os devs do ETH Core não tweetam muito sobre o quão duro é o trabalho que eles fazem, então vamos falar sobre isso: 1. Cada linha de código que eles fundem pode movimentar mais dinheiro do que a maioria dos bancos processa em um trimestre. não há nenhum servidor de preparo para isso. 2. eles trocam a lógica de consenso por uma economia de 400B + dólar sem programar tempo de inatividade. nunca. 3. Eles coordenam centenas de pesquisadores, auditores e equipes de clientes em fusos horários, culturas e filosofias, mas navegem como uma única mente. 4. Fazem tudo em público, a cada decisão dissecada pela galeria de amendoim mais barulhenta da internet, e ainda mantêm a vibe colaborativa. 5. Eles projetam para atacantes que têm incentivos de nove dígitos e paciência infinita. então eles dormem de qualquer maneira. 6. Eles mantêm seis clientes independentes em perfeita sincronia para que o mesmo bloco viva na mesma altura para todos os nós do mundo. 7. Eles transformam a pesquisa de ponta em código de produção, preservando a compatibilidade com versões anteriores para máquinas que ficaram online antes mesmo do DeFi ter um nome. 8. Eles depuram problemas que só acontecem uma vez por ano em um único nó de arquivo porque alguém em algum lugar confiará nesse caso de borda. 9. Eles escrevem criptografia que deve permanecer ininterrupta por décadas enquanto a própria matemática evolui sob seus pés. 10.Quando a atualização aterrissa suaviza o mundo exterior encolhe os ombros. Dentro do Ethereum sabemos que foi um pequeno milagre. Cada bifurcação bem-sucedida prova que a coordenação descentralizada pode superar as melhores hierarquias do mundo e mostra que os mercados de capitais abertos da Internet são agora o padrão. obrigado, verdadeiramente. devemos-lhe tudo.

configurei meu validador para um limite ⛽ de gás de 60M → aumento de 66% do 36M é seguro pós-Pectra → validadores definem o limite: vote com o seu → instruções em PumpTheGas[.]org wen 1 gigagas/seg (10K TPS) no Ethereum L1? → precisa de provas zkEVM para dispositivos de consumo → Ethproofs call #2: prova em tempo real → Ethproofs chamada #3: gigagas L1 acreditar em algo

Simplificando a L1

Apresentando o Ethereum R1 — O rollup neutro construído para Ethereum Sem token. Sem vendas privadas. Sem culto à governação. Apenas valores Ethereum, financiamento público e controle da comunidade. 🧵 Por que o R1 é importante e como você pode participar:

1 gigagas/seg (10K TPS) no Ethereum L1 com zkVMs Sem compromissos: → hardware de consumidor (zkVMs) → internet doméstica (DAS) → resistência à censura (FOCIL) → 100% de tempo de atividade (diversidade de clientes) → nós de consenso 8K Construído para financiamento pela internet. Acredite em algo real.

três novos zkVMs revelados na chamada #1 do Ethproofs → Ix (Lean 4) por @argumentxyz → StarkV (RISC-V) por @StarkWareLtd → zCray (RISC-V inspirado) por @IrreducibleHW

LIVE NOW - Pivô estratégico do Ethereum: o plano para restaurar a dominância @ethereumfndn pesquisadores @dankrad e @adietrichs se juntam a @TrustlessState e @MikeIppolito_ para discutir a crise de identidade de @ethereum – e como ela está virando o navio. Eles quebram os desafios culturais e organizacionais do Ethereum, o pivô para o crescimento da L1 e o papel evolutivo da Fundação Ethereum sob nova liderança. A conversa aborda o futuro dos rollups básicos e nativos, o alinhamento L2 e por que os valores exclusivos do Ethereum ainda são importantes em um cenário competitivo. -------------- CARIMBOS DE DATA/HORA 0:00 Introdução 5:42 Principais problemas com Ethereum 12:33 Falta de crescimento na camada 1 do Ethereum 27:49 Dilema do roteiro do Ethereum 38:08 Progresso do dimensionamento da camada 1 39:08 Proposta de valor do Ethereum L1 para L2s 48:44 Rollups básicos e nativos explicados 57:25 EVM canônico em um mundo de rollup 1:01:26 Visão de Vitalik para o dimensionamento L1 1:05:59 ZK Scaling torna-se real 1:08:12 Tempos de bloqueio rápidos e DeFi 1:16:59 A cultura principal Ethereum em evolução 1:22:38 Outras mudanças interessantes 1:26:41 A direção do Ethereum parece diferente agora 1:30:09 Encerramento e Divulgação