snarks minúsculos Palavras como laser, mergulho, radar começaram em maiúsculas. LASER — Amplificação de luz por emissão estimulada de radiação SCUBA - Aparelho autônomo de respiração subaquática RADAR — Detecção e alcance do RAdio Quando uma tecnologia amadurece e se torna confiável, confiável, comoditizada, ela ganha as letras minúsculas. Lean Ethereum é uma aposta em sarcasmos, não em artigos sucintos e não interativos de conhecimento. Segurança pós-quântica. Solidez provável. Verificação formal de ponta a ponta. Criptoanálise profunda. Prova em tempo real. Programação zkVM. Simplicidade e elegância. Tudo essencial para as minúsculas. Tudo inevitável. O Ethereum L1 tem 10 anos de tempo de atividade e US$ 1 trilhão garantido com hashes e assinaturas, nossos cavalos de batalha criptográficos. Acredito em 100 anos de tempo de atividade e $ 1Q garantido com snarks, nossos motores a jato criptográficos. * Escala L1 - escala gigagas 10K TPS com zkEVMs em tempo real * Segurança L1 - segurança pós-quântica com assinaturas snarked * Privacidade L1 - furtividade de grau Zcash com buracos de minhoca (por exemplo, EIP-7503) Shipping snarks é um projeto criptográfico da Manhattan, no qual a EF está investindo dezenas de milhões: * verificado-zkevm[.]org — verificação formal * poseidon-initiative[.]info — criptoanálise profunda * ethproofs[.]org — Prova em tempo real * Prêmio de proximidade[.]org — solidez comprovada * zkevm.ethereum[.]Fundação — Consagração * pse[.]dev — privacidade Passo a passo, o EF está evoluindo para uma organização snark-first: * Equipe de criptografia - Conduzindo solidez e criptoanálise * Equipe de snarkification - conduzindo a verificação formal * Equipe zkEVM - Integração de protocolo de condução * Equipe Ethproofs - conduzindo provas em tempo real * Equipe PSE - impulsionando a privacidade * Equipe de consenso PQ - em breve™ Acredite em algo mágico. Acredite em sarcasmos minúsculos.