Vitalik Buterin has turned a four-year-old blog post concept into running code. The Ethereum co-founder shared a working demo on Farcaster of an anonymous message board built on Aztec Network, a privacy-focused Layer 2 that runs on top of Ethereum. The project, available on GitHub under his vbuterin account, combines AI-generated code, zero-knowledge cryptography, and a formal verification system to create what Buterin calls a "vibe-coded" toy version of anonymous online speech with built-in moderation controls. Vibe-coding, as Buterin uses the term, means using AI tools to generate code from natural language intent and then formally verifying its correctness through a theorem prover.

How the Billboard Works

Users deposit ETH on Ethereum mainnet to earn posting rights on the board. Once credited, posts appear on Aztec's Layer 2 with no sender address visible in public transaction data and no traceable link back to the original deposit. After posting, users withdraw their ETH back to mainnet. The size of the deposit sets a rate limit: 0.001 ETH allows one post per hour, while a 0.01 ETH deposit unlocks ten posts per hour.

Moderation sits at the center of the design. A designated censor role can flag posts that break the board's rules, and flagged posts are hidden from the default feed. The moderation policy itself is stored onchain, meaning anyone can read the exact rules the system enforces. A local large language model (LLM) daemon runs continuously, checking new posts against that onchain policy. Posters who get flagged face a time-lock penalty that delays their next message. Running the LLM locally preserves privacy by ensuring the inference process does not expose post contents to outside parties.

Aztec's underlying architecture makes the anonymity possible. Unlike standard Ethereum, Aztec executes private functions on the user's own device, generates a zero-knowledge proof locally through its Private Execution Environment (known as the PXE, or "pixie"), and submits those proofs publicly to the network. Even Aztec's own sequencers cannot read the contents of private transactions. Smart contracts on Aztec are written in Noir, a Rust-like programming language built specifically for zero-knowledge applications.

Formal Verification, Not Just Trust

Buterin has been vocal about the risks of AI-generated code. "By default, AI will enable large amounts of very sloppy code," he said in CoinDesk in May 2026. His answer to that problem is pairing AI code generation with formal verification. "AI gives you the ability to write large volumes of code at the cost of accuracy, and formal verification gives you back accuracy," he added. In a May 11, 2026 post on Farcaster, he put it more directly: "Getting increasingly bullish on just vibe-coding the important things in Lean."

The billboard demo puts that argument into practice. Security properties covering rate limits, privacy guarantees, moderation screening, and deposit safety were all mathematically proven using Lean 4, a theorem-proving language. The project contains 70 proven theorems with no unproven gaps.

Buterin first described the anonymous billboard concept in a 2022 blog post, framing the core challenge as preserving genuine anonymity while preventing abuse without concentrating censorship power in a single operator's hands. The Aztec demo is his first working implementation.

Token Context and Recent Security History

Aztec's native token, AZTEC, trades at roughly $0.0137 as of July 20, 2026, with a market cap near $40 million and a 24-hour trading volume of approximately $6.9 million. The token's fully diluted valuation sits at around $141.5 million, reflecting a significant gap between current circulation and total planned supply of 10 billion tokens. The project completed its token generation event in February 2026. The network counts more than 3,500 active sequencer operators and, according to separate reporting, over 4,600 stakers, a distinction relevant to assessing the network's overall decentralisation.

Buterin's Aztec demo arrives about a month after a notable security incident. In June 2026, attackers drained more than $2 million from Aztec's bridge infrastructure connecting its rollup to Ethereum mainnet. That exploit targeted the bridge layer, not Aztec's underlying zero-knowledge cryptography, but it highlighted that privacy at the proof level and security at the infrastructure level are separate problems.

Regional Stakes

The demo lands at a sensitive moment for privacy technology in several key markets. India's Financial Intelligence Unit issued a directive in January 2026 banning regulated exchanges from handling privacy coins, citing zero-knowledge proofs among the targeted techniques. Aztec operates as a Layer 2 protocol rather than a standalone coin, placing it in a regulatory grey zone, and how regulators may treat its application-layer privacy tools remains an open question. At the same time, Indian developers are active contributors to the Ethereum ecosystem, and the project's open-source codebase lowers the barrier for regional developers to experiment with Aztec's Noir language regardless of exchange-level restrictions.

In Kenya, authorities announced in July 2026 the construction of a blockchain surveillance platform capable of flagging coin mixers, high-risk wallets, and darknet-linked addresses. Nigeria has a documented record of financial account freezes targeting crypto users and activists. For journalists, civil society groups, and dissidents operating under high-surveillance conditions across sub-Saharan Africa, an anonymous message board with transparent, onchain-readable moderation rules represents a meaningful technical precedent. Practical barriers remain, however. The ETH deposit requirement creates an economic entry cost that disadvantages users with small account balances, a real constraint in markets where sub-$10 holdings are common. Aztec's current Alpha security ceiling of $6.5 million also means the ecosystem is too nascent for large-scale adoption at this stage. Demand for privacy-preserving technology is nonetheless substantial globally: the Asia-Pacific region alone accounts for 29 percent of privacy coin usage worldwide, according to ChainSafe Blog data.

Buterin's direct engagement with Aztec's protocol is an ecosystem signal in its own right. It is likely to draw more developers toward Noir and accelerate experimentation with privacy-preserving application architectures ahead of broader Ethereum privacy upgrades Buterin outlined in May 2026. The billboard demo also stands as one of the first public examples of a local LLM daemon performing onchain governance functions, a technical milestone whose significance extends well beyond the Aztec ecosystem.