Un L2 de Ethereum que acepta firmas cero suena como un error de seguridad, pero BB84 lo hace intencionalmente para evitar ataques cuánticos. El fin de semana pasado, su fundador, que publica como Hadamard, publicó el diseño en Ethereum Research y pidió comentarios críticos. BB84 es un rollup de OP Stack en mainnet, activo desde el 30 de septiembre, donde las transacciones L2 no llevan ningún ECDSA en absoluto. Cada cuenta es el extremo de una cadena de hashes keccak-256 construida a partir de un secreto, con 1.000 pasos por defecto. Para gastar, tu monedero revela el valor anterior en la cadena, que cualquiera puede verificar con un solo hash. Dentro del L2, la única suposición restante es la resistencia a la preimagen de keccak-256, que el algoritmo de Grover reduce a aproximadamente 2^128 de trabajo. Revelar un secreto lo vuelve público, por lo que el protocolo añade un paso de commit y revelación para vincular cada preimagen a una sola transacción primero. Dos nuevos tipos de transacción en op-geth manejan esto, y la verificación del remitente reemplaza a ecrecover. La autorización se consume incluso cuando la llamada se revierte, y si una billetera omite el paso de renovación en el último eslabón, esa dirección queda muerta. El post incluye una falla de front-running que el equipo encontró mientras lo escribía. Los commits no llevan firma, por lo que un nuevo commit solía reemplazar uno pendiente, y un atacante podría volver a vincular un secreto revelado a su propio pago. Una regla que entró en vigor el 21 de octubre hace que el primer commit gane. Los límites se explican claramente. Los depósitos y retiros L1 aún usan ECDSA. Aún no hay pruebas de fallas, y según el propio post, la cadena ni siquiera alcanzaría el Estadio 0 de L2BEAT. El secuenciador es operado por el equipo, y las direcciones de 160 bits dejan aproximadamente 2^80 de resistencia cuántica a preimágenes secundarias. El post también pregunta si las cuentas en cadena de hashes podrían convertirse en un EIP-7702 o un modo nativo de validación de abstracción de cuenta en L2 generales.
