Un L2 Ethereum qui accepte des signatures nulles semble être un bug de sécurité, mais BB84 le fait volontairement pour éviter les attaques quantiques. Le week-end dernier, son fondateur, qui poste sous le nom de Hadamard, a publié la conception sur Ethereum Research et a demandé des retours critiques. BB84 est un rollup OP Stack sur mainnet, en ligne depuis le 30 septembre, où les transactions L2 ne comportent aucune ECDSA du tout. Chaque compte est le dernier maillon d'une chaîne de hachage keccak-256 construite à partir d'un secret, avec 1 000 étapes par défaut. Pour dépenser, votre wallet révèle la valeur précédente dans la chaîne, que n'importe qui peut vérifier en effectuant un seul hachage. À l'intérieur du L2, la seule hypothèse restante est la résistance à l’antécédent de keccak-256, que l’algorithme de Grover réduit à environ 2^128 opérations. Révéler un secret le rend public, donc le protocole ajoute une étape de commit et de révélation pour lier chaque antécédent à une transaction unique au préalable. Deux nouveaux types de transactions dans op-geth gèrent cela, et la vérification de l'expéditeur remplace ecrecover. L'autorisation est consommée même si l'appel échoue, et si un wallet manque l'étape de renouvellement sur le dernier maillon, cette adresse est morte. Le post inclut une faille de front-running que l'équipe a découverte pendant son écriture. Les commits ne portent aucune signature, donc un nouveau commit pouvait remplacer un commit en attente, et un attaquant pouvait relier un secret révélé à son propre paiement. Une règle entrée en vigueur le 21 octobre fait gagner le premier commit. Les limites sont clairement énoncées. Les dépôts et retraits L1 utilisent toujours ECDSA. Il n'y a pas encore de preuves de faute, et selon le post lui-même, la chaîne n'atteindrait même pas le Stage 0 de L2BEAT. Le séquenceur est géré par l'équipe, et les adresses sur 160 bits offrent environ 2^80 de résistance quantique aux secondes antécédents. Le post demande également si les comptes en chaîne de hachage pourraient devenir un mode de validation EIP-7702 ou une abstraction native de compte sur les L2 généraux.
