sarcasmo en minúsculas Palabras como láser, buceo, radar comenzaron en mayúsculas. LÁSER — Amplificación de la luz mediante emisión estimulada de radiación SCUBA — Aparato de respiración subacuática autónomo RADAR — Detección y alcance de radio Cuando una tecnología madura y se vuelve confiable, confiable, mercantilizada, gana las minúsculas. Lean Ethereum es una apuesta por los sarcasmos, no por los sucintados argumentos no interactivos del conocimiento. Seguridad post-cuántica. Solidez demostrable. Verificación formal de extremo a extremo. Criptoanálisis profundo. Pruebas en tiempo real. programabilidad de zkVM. Sencillez y elegancia. Todo imprescindible para las minúsculas. Todo inevitable. Ethereum L1 tiene un tiempo de actividad de 10 años y $ 1 billón asegurado con hashes y firmas, nuestros caballos de batalla criptográficos. Creo en un tiempo de actividad de 100 años y $ 1Q asegurado con snarks, nuestros motores a reacción criptográficos. * Escala L1: escala de gigagas TPS de 10K con zkEVM en tiempo real * Seguridad L1: seguridad poscuántica con firmas sarcásticas * Privacidad L1: sigilo de grado Zcash con agujeros de gusano (por ejemplo, EIP-7503) Shipping snarks es un proyecto criptográfico de Manhattan, en el que EF está invirtiendo decenas de millones: * verified-zkevm[.]org — verificación formal * Iniciativa Poseidón[.]Información — Criptoanálisis profundo * ethproofs[.]org — Pruebas en tiempo real * premio de proximidad[.]org — solidez demostrable * zkevm.ethereum[.]Fundación — Consagración * pse[.]dev — privacidad Paso a paso, EF está evolucionando hacia una organización sarcástica: * Equipo de criptografía: impulsando la solidez y el criptoanálisis ...