Vitalik Buterin vibe-code un panneau d’affichage anonyme avec modération on-chain sur Aztec

Ce qu’il faut retenir :

• Vitalik Buterin a publié la démo d’un tableau de messages anonymes sur Aztec, avec dépôt et retrait d’ETH sans lien traçable.
• Un rôle de censeur peut masquer les posts jugés immoraux, épaulé par un LLM local qui applique une politique stockée on-chain.
• Les propriétés de sécurité du système sont prouvées formellement en Lean 4, à travers 70 théorèmes.

Vitalik Buterin a ressorti une vieille idée de ses cartons, avec les outils de 2026. Le cofondateur d’Ethereum a publié dimanche sur Farcaster une démo fonctionnelle de panneau d’affichage anonyme construit sur Aztec, le layer 2 spécialisé dans la confidentialité. Le projet, qu’il décrit comme une version jouet “vibe-codée”, c’est-à-dire écrite en grande partie par une IA guidée à l’instruction, concrétise le concept de “billboard anonyme avec modération” qu’il avait esquissé dans un billet de blog de 2022. Le code est public sur GitHub, sous son compte vbuterin.

Comment fonctionne le billboard anonyme de Vitalik ?

Le parcours utilisateur tient en trois étapes. On dépose de l’ETH sur la couche de base d’Ethereum, on poste ses messages de manière anonyme sur le layer 2, puis on retire ses fonds vers le layer 1. D’après le dépôt GitHub, les posts ne comportent aucune adresse d’expéditeur dans les données d’appel publiques et aucun lien avec le dépôt d’origine : impossible, donc, de relier un message à un wallet.

Le spam est contenu par un système de temporisation dégressive : plus le dépôt grossit, plus la cadence autorisée augmente. Avec 0,001 ETH, l’utilisateur obtient un post par heure, avec 0,01 ETH, il en obtient dix. Buterin en a profité pour signaler dans un post de suivi qu’Aztec venait d’atteindre le stage 2, le palier le plus décentralisé de l’échelle de maturité des layer 2.

Une modération assurée par un LLM et une politique on-chain

La partie la plus originale tient dans la couche de modération. Le contrat attribue au déploiement un rôle de censeur, habilité à marquer des posts comme “immoraux”. Les messages signalés disparaissent du fil par défaut et infligent une pénalité de verrouillage temporel au prochain post de leur auteur. En parallèle, un démon LLM local surveille le tableau : il évalue chaque message à l’aune d’une politique de modération stockée on-chain, lisible par l’application, la ligne de commande et le démon lui-même, et signale automatiquement les violations.

Le tout s’accompagne d’un travail rare pour une démo : la vérification formelle. Les propriétés de sécurité couvrant les limites de cadence, le filtrage de censure, la confidentialité et la sûreté des dépôts sont prouvées dans le langage Lean 4, à travers 70 théorèmes, sans le moindre trou dans les preuves, selon la documentation.

Ce qu’il faut surveiller

Le dépôt classe le travail comme précoce et incomplet, avec des correctifs de contrôle d’accès en attente et des parcours navigateur non testés. Buterin estime pourtant que la démo accomplit déjà “des choses non triviales très intéressantes”. Au-delà du gadget, l’expérience touche un débat brûlant : comment concilier anonymat complet et modération vérifiable, au moment où la confidentialité on-chain redevient un chantier prioritaire de l’écosystème Ethereum, des spin-offs de la fondation jusqu’aux infrastructures pour banques. Si le prototype inspire des applications sérieuses, il aura montré qu’un espace anonyme n’est pas condamné à être ingouvernable.