Puntos clave de la noticia:
- Buterin publicó una demo funcional de un tablero de mensajes anónimo sobre Aztec, donde los usuarios depositan ETH y publican sin exponer su dirección.
- El sistema incorpora un rol de censura configurado y un daemon de LLM local que modera contenido según una política almacenada onchain.
- Las propiedades de seguridad del proyecto están verificadas formalmente en Lean 4 con 70 teoremas y sin brechas sin demostrar.
Vitalik Buterin presentó una demo funcional de un tablero de mensajes anónimo construido sobre Aztec, combinando publicación privada con un sistema de moderación onchain.
El co-fundador de Ethereum compartió el proyecto en Farcaster y lo describió como una versión «vibe-coded» del concepto que había esbozado en un post de blog de 2022. El código está disponible públicamente en GitHub bajo su cuenta vbuterin.
Vibe-coded a toy demo version of the "anon billboard with moderation" idea from https://t.co/fheLOlfF3F on aztechttps://t.co/iIkwH3UbO4
It's early days but you can already do very interesting nontrivial stuff! pic.twitter.com/NbfrBJ4FtU
— vitalik.eth (@VitalikButerin) July 19, 2026
¿Cómo Funciona el Tablero Presentado por Buterin?
El mecanismo de funcionamiento es el siguiente: los usuarios depositan ETH en la capa base de Ethereum, publican mensajes de forma anónima en la Layer 2 y luego retiran sus fondos de vuelta a Layer 1. Los mensajes no exponen la dirección del emisor en los datos de llamada públicos ni registran ningún vínculo con el depósito original. En su publicación de seguimiento, Buterin también señaló que Aztec había alcanzado el stage 2, el nivel de mayor descentralización dentro de la escala de madurez para redes de capa 2.
Este diseño incorpora un rol de censura definido desde su despliegue, contando con la capacidad para marcar publicaciones como «inmorales». Las publicaciones marcadas quedan ocultas del feed por defecto y generan una penalidad de bloqueo temporal sobre el siguiente mensaje del usuario. Un daemon de LLM local monitorea el tablero, evalúa cada publicación contra una política de moderación almacenada onchain y señala cualquier contenido que la infrinja. Tanto la aplicación como la interfaz de línea de comandos y el daemon pueden leer esa política directamente.
Verificación Formal y Próximos Pasos
El sistema también implementa una limitación de frecuencia de publicación mediante un cooldown que se reduce a medida que crece el depósito: 0,001 ETH permite una publicación por hora, mientras que 0,01 ETH permite unas diez. Las propiedades de seguridad que cubren límites de frecuencia, privacidad, moderación y custodia de fondos fueron probadas formalmente en Lean 4 con 70 teoremas y sin ninguna brecha sin demostrar.
El repositorio clasifica el trabajo como incompleto, hay pendientes que incluyen correcciones de control de acceso y flujos de navegador sin testear. No obstante, Buterin afirmó que la demo ya puede realizar «cosas muy interesantes y no triviales».
