snarks en minúsculas Palabras como láser, scuba, radar comenzaron en mayúsculas. LÁSER — Amplificación de Luz por Emisión Estimulada de Radiación SCUBA — Aparato de Respiración Subacuática Autónomo RADAR — Detección y Rango de Radio Cuando una tecnología madura y se vuelve confiable, digna de confianza, y se convierte en una mercancía, se gana la minúscula. Lean Ethereum es una apuesta por los snarks, no por los Argumentos de Conocimiento No Interactivos Succintos. Seguridad post-cuántica. Solidez demostrable. Verificación formal de extremo a extremo. Criptoanálisis profundo. Pruebas en tiempo real. Programabilidad de zkVM. Simplicidad y elegancia. Todo esencial para la minúscula. Todo inevitable. Ethereum L1 tiene 10 años de tiempo de actividad y $1T asegurados con hashes y firmas, nuestros caballos de batalla criptográficos. Creo en 100 años de tiempo de actividad y $1Q asegurados con snarks, nuestros motores a reacción criptográficos. * Escala L1 — escala de 10K TPS gigagas con zkEVMs en tiempo real * Seguridad L1 — seguridad post-cuántica con firmas snarked * Privacidad L1 — sigilo de grado Zcash con agujeros de gusano (por ejemplo, EIP-7503) Enviar snarks es un Proyecto Manhattan criptográfico, en el que la EF está invirtiendo decenas de millones: * verified-zkevm[.]org — verificación formal * poseidon-initiative[.]info — criptoanálisis profundo * ethproofs[.]org — pruebas en tiempo real * proximityprize[.]org — solidez demostrable * zkevm.ethereum[.]foundation — consagración * pse[.]dev — privacidad Paso a paso, la EF está evolucionando hacia una organización centrada en snarks: * equipo de criptografía — impulsando la solidez y el criptoanálisis ...