Ethereum Foundation Funds Press Freedom Tool Development

**Coin Center's Legal Challenge** Coin Center challenged Tornado Cash sanctions, arguing that immutable smart contracts aren't people or property - making software sanctions legally questionable. **The Privacy Infrastructure Problem** - Tornado Cash demonstrates how isolated privacy tools on transparent blockchains become easy targets for sanctions and prosecution - Privacy features existing as "small islands" can be demonized and legally attacked **Ethereum's Potential Solution** Ethereum could make these legal battles unnecessary by building **privacy infrastructure as the default** - rather than optional add-ons that draw regulatory scrutiny.

**Formal verification is becoming essential for cybersecurity** as AI makes it easier to discover exploits. An unreleased OpenAI model recently found zero-day exploits that broke through multiple security layers. **The technology changes the game for defenders.** While attackers only need one successful input sequence to break a system, formal verification proves robustness against all possible inputs. - For smart contracts holding billions in user funds, formal verification is transitioning from optional to mandatory - The approach is now more feasible than before, making it practical for real-world applications - Mission-critical software increasingly requires this level of mathematical proof

The Ethereum ecosystem delivered significant infrastructure and product launches across multiple sectors: **Major Launches** - Robinhood Chain went live as an Ethereum Layer 2, enabling 24/7 tokenized stock trading in 120+ countries and surpassing $1B DEX volume within a week - Aztec Network reached Stage 2 rollup decentralization, removing governance control - Two new non-profits launched: ETH Labs (R&D) and Ethereum Institute (institutional adoption) **Privacy & Security** - Base introduced Base Privacy for enterprise confidential transactions - Zama launched confidential USDC lending with Morpho - Privacy Pools V2 began trusted setup ceremony - PrivacyBoost enabled one-second preconfirmations for private transfers **Financial Infrastructure** - Aave introduced Stable Vaults for fixed-rate stablecoin yields - Ondo launched OndoPerps, allowing tokenized stocks as collateral - BGDA launched BAGEY, a UK regulated fund where blockchain serves as legal register - Optimism partnered with Toss to explore bringing Korean Won onchain **Technical Improvements** - Lodestar added Fast Confirmations for single-slot transaction confirmation - Ammalgam launched oracle-free lending without impermanent loss - Spark introduced Stablecoin FX Layer on Uniswap v4 Vitalik Buterin shared updates to Ethereum's technical roadmap. The Ethereum Foundation published a primer for governments and institutions. Devcon 8 tickets went live for Mumbai.

**Devcon 8 tickets are now on sale** for the Ethereum community's annual gathering in Mumbai this November. The event will bring together: - Builders and researchers - Protocol maintainers - Community organizers - Anyone interested in Ethereum's development This year's conference emphasizes a **more focused and intimate format** compared to previous editions. The gathering centers on core Ethereum values including open source development, privacy, security, and censorship resistance. **Availability is limited**, so interested attendees should secure their spots early. [Get tickets](https://devcon.org)