vbuterin/aztec_experiments

# Billboard - Anonymous Message Board on Aztec An anonymous billboard on Aztec v5 mainnet. Users deposit ETH on L1, post messages anonymously on L2, and withdraw their ETH back to L1. Posts are fully anonymous - no sender address appears in public call data, and there is no link to the L1 deposit. Features: - Censorship mechanism: A censor (set at deploy time) can flag posts as "immoral". Flagged posts are hidden from the default feed and impose a time-lock penalty on the poster's next post. The censor can transfer rights to another address. - Automated censorship bot: A local-LLM daemon (`censor-daemon/`) watches the billboard, evaluates posts against the on-chain moderation policy, and automatically flags violations. - Moderation policy: The censor can set a text moderation policy on-chain (up to 1488 bytes), shown in the UI and CLI. The daemon reads it as the source of truth. - Partial formal verification: Security properties (rate limits, censorship screening, privacy, deposit safety) are formally verified in Lean 4 / Verity - 70 proven theorems, zero `sorry`s. See fv/. ## Architecture L1 (Ethereum) L2 (Aztec) ┌──────────────────┐ ┌──────────────────────┐ │ BillboardPortal │ │ Billboard │ │ │ │ │ │ deposit(ETH) │──msg──▶ │ claim_deposit() │ │ records deposit │ │ consumes L1→L2 msg │