The universal platform for crypto, blockchain apps, stablecoins & decentralized tech. An account about the Ethereum ecosystem maintained by @ethereumfndn.
worldwide
Joined January 2014
- Tweets6.4K
- Following0
- Followers4.5M
- Likes2.2K
Devcon opening ceremony is starting now! Tune in live:
xitter.twitterapi.xyz/i/broadcasts/2jPBlgyQn…
Quantum computing poses a serious threat to the cryptography blockchains currently rely on, while advances in AI compress best estimates for the threat's timeline.
That's why experts gathered in Cambridge to coordinate research upgrading our cryptography to be quantum-resistant.
You're not going to want to miss this.
Taiwan's 1st digital minister. @torproject's co-founder. @0xPolygon's co-founder. @ethereum's co-founder.
@audreyt, @RogerDingledine, @sandeepnailwal & @VitalikButerin are all speaking at Devcon 8, with new names added every day.
Don't have your 🎟️ yet? What're you waiting for?
"If you want change, you have to advocate for it.”
In this guest thread, @KyleBligen, Executive Director of @TheDRC_, explains how the Decentralization Research Center is working with policymakers to support a safe and competitive decentralized future.
Ethereum is shipping upgrades faster while the chain is getting less, not more buggy. Advancements in formal verification help make this possible
AI is making Ethereum more ambitious.
You might have heard about the challenges that blockchains face in a post-AI world, and while security assumptions will surely be stress-tested in the coming months and years, there is another side to it. I believe AI will let us speedrun towards a world that's both more secure and feature-rich.
As we look towards Ethereum's first post-AI upgrade, Hegotá, the R&D community is asking itself what increasingly powerful tools could help us do differently:
> How far can we push both security and iteration speed?
> How much of the design space can we examine before committing to one?
> How easily can we test the interactions between complex features?
My recent formal verification work @ethlabs_org has given me some reasons to be optimistic about these, as work that would have previously not even been attempted is now being done by agents in days. In September, I posted about using formal verification as part of designing a new consensus protocol. This time, I want to tell you about formally verifying something already fully specified and in production: Ethereum's Fast Confirmation Rule (FCR).
If you are not familiar with FCR, it lets applications confirm Ethereum blocks in seconds, roughly 30x faster than waiting for finality, under additional assumptions (from waiting 13 minutes to 24 seconds!). It also further solidifies Ethereum L1's case as an asset hub and center of gravity for the onchain economy. FCR now has a safety proof in Lean, closely modeling the rule in the consensus specs, which is the source of truth for Ethereum's consensus clients.
Some takeaways:
> FCR is safe! Under its assumptions, confirmed blocks remain canonical. On top of the manual proofs from the paper, we now have Lean proofs of this for the actual spec, additional evidence for applications considering FCR!
> The bulk of the formal verification work took just a 4-5 days (check out the animation!), with agents working mostly unsupervised. We should be very ambitious about using this as a tool at scale.
> After verifying the current rule, it was easy to adapt the model to the upcoming Gloas changes. Immediately, this surfaced a subtle bug caused by changes to fork choice. The problem was in the spec itself and not a gap in the model. The safety proof would not go through, and the agents could precisely pinpoint what was causing it to fail. The bug is now fixed, and formal verification of the corrected protocol goes through.
Iteration is never quite over, even for "finished" features like FCR, because the protocol keeps evolving around them. A formal model lets us ensure that key properties keep holding throughout the evolution of the protocol. With these capabilities, Ethereum can and should keep upgrading faster, tightening fork timelines and exploring more ambitious features, while still raising the security bar.
This picture has been getting much clearer over the past few months, and the past week confirmed it for me, as @drakefjustin and @corcoranwill brought together 100+ Ethereum researchers, cryptographers and formal verification experts in Cambridge for six days of workshops on post-quantum cryptography, formal verification and fast finality. Beyond its own workshop, formal verification was the omnipresent star of the week: everyone is using Lean and doing amazing things with it! Piece by piece, Ethereum's technological core is being rebuilt for the post-AI age.
The excitement was palpable, the sense of optimism was pervasive, and every talk and conversation carried a level of ambition I'd never seen before. The Ethereum R&D machine is upgrading itself, and we will see the outcome of that on the network sooner than you think.
What does it mean to be a “frontier blockchain”?
It means that, through dozens of upgrades, we're upgrading past the name blockchain. No other innovates its own fundamental parts so regularly without even a second of downtime. While others chase adoption through compromises, Ethereum remains confident users follow the most robust chain.
Ethereum Institutional is making that case clear. Institutions will build on Ethereum not because it optimizes for the highest bidders, but because it is the only blockspace capable of meeting the highest standards. The cryptographic world computer will have no equal. Read more here about where we've been and where we're headed on EI's visualization of Vitalik's blog post.
1 / @ethereum is still called a blockchain. By 2030, that word won't cover it.
We turned @VitalikButerin's essay "The cryptographic world computer" into a visual reading: every block checked with one proof, final in seconds, built by many.
Explore it below 👇
Ethereum is for shipping.
Here are 35 things the Ethereum ecosystem launched, upgraded, and announced through August.
1/ GnosisDAO approved a vote to transition @gnosischain from its own L1 to a ZK-proven Ethereum L2 rollup with synchronous composability, so apps on Gnosis and Ethereum can interact in a single transaction.
2/ @BlackRock introduced the BlackRock Select Treasury Based Liquidity Fund (BSTBL) with a tokenized share class on Ethereum mainnet for managing stablecoin and digital asset reserves, and began tokenizing share classes of its $311B European money market fund series on Ethereum.
3/ @aztecnetwork launched Alpha v5, a protocol upgrade that reduced private transaction proving times and brought the first wave of privacy-preserving apps to the network.
4/ @Uniswap processed $1B+ in stock token volume and $20B+ in total volume on @RobinhoodCrypto's Robinhood Chain since its July launch.
5/ @ethPandaOps introduced the Platåberget testnet, preparing client implementations for Glamsterdam, Ethereum's next network upgrade.
6/ @Morpho crossed $880M in total deposits on Robinhood Chain in its first <2 months live and reached $5.75B in total deposits on @base.
7/ @web3privacy shared the Ethereum Privacy Ecosystem Mapping 2026, an updated map and repository covering Ethereum’s privacy ecosystem.
8/ @Revolut announced the phased rollout of its euro-denominated stablecoin EURR, live on Ethereum for eligible users.
9/ @aave v4 surpassed $525M in deposits on Ethereum.
10/ Coinbase Tokenized Stocks launched on @base for non-U.S. users, held 1:1 by a regulated custodian, owned in self-custody wallets, and usable across DeFi 24/7.
11/ @FreedomFactory opened presales for the PQ1, a fully open-source, air-gapped hardware wallet that signs with post-quantum cryptography through an Ethereum smart account.
12/ @OctantApp launched Epoch 13, its latest funding round, focused on privacy on Ethereum and across the open internet.
13/ @selfxyz and Google Cloud launched the USAT Mainnet Faucet on @Celo, letting anyone verified on Self claim USA₮.
14/ @PrivacyBoost launched the Privacy Boost App, a frontend to send private transfers from your connected wallet.
15/ @Whitechain_io, the distribution-focused network connected to the WhiteBit ecosystem, announced it is evolving from an L1 into an Ethereum L2 built on the OP Stack.
16/ @ether_fi added tokenized stocks, portfolio-backed loans through @aave, and other new features to its crypto neobank.
17/ @ethereuminsti announced its ecosystem funding round and supporter coalition, welcoming 100+ organizations to support Ethereum's institutional onboarding, and shared that Open Standard's Open USD stablecoin will launch on Ethereum on day one.
18/ @class_lambda and @gattacahq shared that their PropAMM (pAMMs) infrastructure has facilitated over $2B in total volume swapped on Ethereum.
19/ @theInterfold, an open-source protocol for confidential coordination and encrypted execution environments built on Ethereum, launched its Network Alpha production environment.
20/ @arbitrum activated ArbOS Elara, bringing more responsive fees and 4x bigger Stylus smart contracts to Arbitrum One, along with new features for chains built on the Arbitrum stack.
21/ @Uniswap launched v4 Permissioned Pools, a hook standard to enforce allowlists on swaps and liquidity deposits while the protocol itself stays permissionless, bringing regulated assets to AMM trading with launch partners @SuperstateInc, @Securitize, and Dowgo.
22/ @EthCoordinate, a new crypto-native organization building on the EthStaker community's work, was formed to support Ethereum governance coordination, facilitate stakeholder interaction, and accelerate Ethereum adoption.
23/ @MetaMask launched the MetaMask Agent Wallet, an agentic wallet with built-in spending limits, allowlists, and risk profiles.
24/ @ResearchHub, a tool for the open funding, publication, and discussion of scientific research built on Ethereum and @base, launched a new homepage to surface open research proposals and funding requests.
25/ @base opened applications for Base Batches 004, a startup accelerator program for 10 early-stage teams, and also launched Base Verify Onchain, a privacy-preserving identity layer for apps to enforce one-person-one-claim onchain distributions.
26/ @Cloudflare announced Wallets, enabling AI agents to buy APIs and content with stablecoin payments over the x402 payment standard.
27/ The @ethereumfndn launched the better[.]codes autoresearch challenge to advance post-quantum Ethereum, built with @zksecurityXYZ and @eigenlabs on @yukonresearch, putting a machine-verified security problem on a public leaderboard that anyone can push forward. @Lighter_xyz also launched the Lighter Prover challenge, an autoresearch competition to make Lighter's production exchange faster.
28/ Privacy-focused wallet @staycloakedxyz reached $650k in deposits and $1M in volume in its first 90 days live.
29/ @mtpelerin added support for @ensdomains names as sending and receiving addresses when creating personal IBANs for bank transfers in crypto.
30/ @Blockspace_ETH was announced, a company focused on out-of-protocol infrastructure for Ethereum blockspace.
31/ @0xprivacypools launched onchain payroll support, allowing employers to provide recurring wage payments with privacy for salary amounts and recipient addresses.
32/ Fake World Assets (FWA), a NFT gacha protocol by @token_works, launched the FWAir NFT distribution mechanism with an initial 111 item PFP collection.
33/ Builder @z0r0zzz launched zSwap, a fully onchain decentralized exchange built on Ethereum, with all code, including frontend and application logic, stored on mainnet smart contracts.
34/ MMO game @playcambria surpassed $10M in total game volume in August, and @LootSurvivor and Cambria launched a 72-hour onchain dungeon competition.
35/ @EFDevcon released the official Devcon 8 travel guide for Mumbai ahead of this year's Devcon 8 conference in November.
1/ Privacy is often thought of as politically risky. In this guest thread by @valkenburgh, Executive Director of @coincenter, he makes the case, in his own words, that the reality is the opposite:
Privacy is essential to Ethereum’s promise of financial freedom and neutrality.
0/ As AI systems become more powerful, formal verification – which is the discipline of using mathematics to prove computer programs correct – shows more and more promise.
A guest thread by @big_tech_sux, lead developer of @vyperlang 🧵
1/ First of all, what is formal verification? Formal verification proves properties about your program through all execution paths through the program.
For example, `f(x) = x/2` can never return an output which is larger than the input. You can see this, and formal verification can prove this, by reasoning algebraically about the function.
Ethereum is for shipping.
Here are some of the things the Ethereum ecosystem launched, upgraded, and announced over the past month.
0/ @RobinhoodApp launched Robinhood Chain (@RobinhoodCrypto) on mainnet, an Ethereum Layer 2 built on the @arbitrum stack, enabling 24/7 trading of tokenized stocks and ETFs for users in over 120 countries through Robinhood Wallet. The network surpassed $1B in DEX volume in just over a week.
1/ @aztecnetwork achieved Stage 2 rollup decentralization under @l2beat's framework, removing governance control over its core protocol and taking another step toward trust-minimized infrastructure.
2/ @VitalikButerin shared updates to Ethereum's evolving technical roadmap, outlining the next phase of Lean Ethereum and the protocol's long-term direction.
3/ @ethlabs_org launched as a non-profit R&D lab for Ethereum and ETH. Their mission is to make Ethereum the settlement layer of the global economy.
4/ @ethereuminsti launched as an independent non-profit dedicated to accelerating the institutional adoption of Ethereum, its L2s, applications and overall ecosystem.
5/ @aave introduced Stable Vaults, fixed-rate stablecoin yield vaults designed for seamless integration into consumer applications.
6/ @zama launched the First DeFi Yield Venue for Confidential USDC (cUSDC) in partnership with @Morpho and @SteakhouseFi, bringing private stablecoin lending to Ethereum.
7/ @swissknifexyz launched a new Privacy Protocol Tracker, making it easier to compare fees, wait times, supported chains, and other metrics across Ethereum privacy protocols.
8/ Global tickets for @EFDevcon 8 went live, alongside speaker applications for this year’s conference in Mumbai, India.
9/ @Optimism and @toss__official signed an agreement to explore bringing the Korean Won onchain, expanding blockchain-based financial infrastructure for one of South Korea's largest fintech platforms.
10/ @OctantApp completed Epoch 12, its first full quadratic funding round using a zero-knowledge vote coprocessor and new voting application, distributing 88.1 WETH to Ethereum public goods projects.
11/ @0xprivacypools launched the trusted setup ceremony for Privacy Pools V2 ahead of its next protocol deployment.
12/ Gwei Name Service launched an ownerless, immutable Ethereum naming system built without administrative ownership.
13/ @ammalgam launched on Ethereum mainnet, introducing oracle-free lending without impermanent loss.
14/ @lodestar_eth added support for Fast Confirmations, allowing Ethereum node operators to confirm transactions in a single slot using validator attestations.
15/ @PrivacyBoost introduced preconfirmations for private transfers, allowing transfers to be treated as usable in around one second before final settlement.
16/ The @ethereumfndn published Ethereum Basics for Governments and Institutions, a new primer introducing Ethereum as a credibly neutral digital public utility for policymakers and enterprise leaders.
17/ @OndoFinance launched @OndoPerps, enabling tokenized stocks to be used as collateral for perpetual futures across equities, commodities, and indices.
18/ @base introduced Base Privacy, giving enterprises infrastructure to trade, pay, and settle onchain with built-in confidentiality and compliance features.
19/ @BGDA_UK launched BAGEY, a natively tokenized UK regulated fund on Ethereum where the blockchain serves as the legal register of record.
20/ @sparkfinance launched the Stablecoin FX Layer on @Uniswap v4, introducing shared liquidity infrastructure that lets stablecoins access a common liquidity layer.
21/ @Trueo_ launched user-created prediction markets, allowing anyone to create a market by asking a question and letting participants trade on the outcome through a fully onchain prediction market.
22/ @kpk_io integrated @OpenCover Covered Vaults, allowing depositors to add opt-in onchain insurance to curated vaults, with coverage underwritten by @NexusMutual.
23/ @PropellerSwap launched Turbine on Ethereum mainnet, enabling large trades to settle with lower slippage by sourcing liquidity across onchain, offchain, and peer-to-peer markets.
24/ Hosted by @web3privacy, the Neocypherpunk Summit brought together around 1,000 builders and researchers in Berlin to advance privacy, open-source infrastructure, and human rights.
25/ @eth_systems launched as a company building modular privacy infrastructure for institutional Ethereum.
The internet is better when everyday services respect the people using them.
@ProtonMail inspires the broader privacy movement with encrypted web tools for everyone to use.
0/ The Tornado Cash legal saga continues.
Alex Pertsev is still fighting for his freedom.
Guest thread by @ameensol spotlighting @alex_pertsev's legal case in the Netherlands and the ongoing battle to protect privacy. 🧵
The Internet Freedom funding round by @torproject and @FundingCommons closes today.
Only a few more hours left to support your favorite projects keeping the internet free: internetfreedom.torproject.o…
#FundInternetFreedom @Logos_network @cakewallet @OctantApp @ZcashCommGrants
Ethereum is for shipping.
Here are 25 things the Ethereum ecosystem launched, upgraded, and announced over the past month.
0/ @thedaofund Ethereum Security Quadratic Funding Round with @Giveth wrapped. The fund supported 134 security projects and had 3,934 unique donors.
1/ @Ronin_Network, one of the largest gaming blockchains, completed its migration to an Ethereum L2.
2/ Clear Signing went live. It is an open standard designed to help end blind signing and make transaction data human-readable before signing. Contributors include wallets and hardware, infrastructure, tooling, individual builders, and the Ethereum Foundation’s Trillion Dollar Security initiative, with the @ethereumfndn acting as a neutral steward.
3/ @SEAL_911 and @Wonderland_Fi introduced DARC, a Digital Asset Risk & Compliance standard for crypto teams, with continuous monitoring across GitHub, infrastructure, multisigs, DNS, and more.
4/ @arbitrum announced that LG Electronics' blockchain team is piloting an onchain advertising network on Arbitrum.
5/ @base activated Azul, its first standalone network upgrade, introducing multiproofs, new execution and consensus clients, CLZ opcode support, Osaka repricings, and performance upgrades up to 5,000 TPS.
6/ @Mastercard expanded stablecoin settlement support to include USDC, PYUSD, USDG, USDP, and SoFiUSD on Ethereum mainnet, @arbitrum, and @base.
7/ @EFDevcon 8 Mumbai early bird tickets went live. Tickets were available paid in ETH.
8/ Türkiye's Directorate of Communications (@Communications) registered cbiletisim.eth, making its first step in establishing an official onchain identity with @ensdomains.
9/ @CashApp launched stablecoin support, allowing nearly 60 million users to send and receive USDC with no wallet setup required, live on Ethereum mainnet and @Arbitrum.
10/ @torproject and @FundingCommons launched a web3-native crowdfunding initiative supporting 10 internet freedom projects.
11/ @JPMorgan launched a second tokenized money market fund on Ethereum.
11/ @lifiprotocol launched LIFI Intents, a full-stack intent execution engine built on the Open Intents Framework, an initiative for standardizing crosschain intents.
12/ @l2beat launched Token Frameworks, a dedicated place to explore interoperability solutions, token movement, volume, speed, chains, and framework adoption.
13/ @PrivacyEthereum launched a private transfers dashboard comparing 11 protocols across privacy, cost, UX, decentralization, compliance, verifiability, state, and composability.
14/ @Veildotcash launched Veil MCP 0.2.0, enabling agents to make private x402 payments on @base.
15/ @src_co_ introduced SLOW, reversible, self-custodial crypto payments on Ethereum.
16/ @ensdomains ecosystem builders launched ENS8004, a web app that converts an ENS name into an onchain AI agent other applications can find and verify.
17/ @OctantApp introduced properQF in Epoch 12, integrating quadratic funding into the funding round.
18/ @AragonProject launched onchain profiles, making governance participants readable across forums by resolving ENS names, avatars, bios, websites, and social links from Ethereum mainnet.
19/ The Ethereum Community Hub network expanded to Lisbon, hosted at the @gnosisDAO office.
20/ @SuccinctLabs introduced data confidentiality to OP Succinct, enabling institutions to keep transactions confidential while settling to Ethereum.
21/ @HardhatHQ 3 became stable, bringing Solidity tests, multichain support, a Rust-powered runtime, a revamped build system, and Hardhat Ignition for deployments.
22/ The inaugural @ethconf, in NYC, brought together thousands of founders, industry leaders, and builders to discuss building on top of Ethereum.
23/ @EthPrague brought Ethereum builders together in Prague to discuss protocol development, privacy, culture, and long- term societal impact.
24/ @ETHGlobal introduced a new format where, for the first time at an ETHGlobal hackathon, projects do not have to begin from zero.
Ethereum is inspired by tools that keep the internet open under pressure.
@torproject protects freedom online by routing traffic through distributed relays, reducing tracking, surveillance, and censorship.
