Adding ZK to @Arbitrum BoLD protocol was surprisingly simple. How does it work? Today, BoLD settlement works like this: → Proposers can make assertions (a claim about the chain's new state); when a new assertion comes in a challenge timer starts → No rival assertion within the challenge window? The assertion is confirmed → Rival posted? The challenge protocol kicks in New multi-prover path (everything above still holds, plus): → A proposer can prove any unconfirmed assertion with a ZK proof + K-of-N attestations from the Fast Confirmation Committee → ZK proof verifies on the parent chain & enough attestations check out? The assertion settles early - no waiting out the challenge window Why this beats a ZK-only design: 1. Multi-prover security: Fast confirmation needs two independent systems to agree: a ZK proof verified on the parent chain + attestations from committee nodes re-executing the chain. To fast-confirm a bad state, an attacker has to break both at once. TEE-run committee nodes are planned as a further hardening step. 2. Deterministic upper bound on settlement: If the prover stalls or has a bug, the chain simply falls back to optimistic settlement: slower, never halted, funds untouched. A ZK-only chain in the same spot may never settle without security council action. 3. Pay for proving only when you need it: Proving is optional per assertion: pure fraud-proof chains pay nothing, Hybrid ZK chains proves on demand to settle early or resolve disputes, and ZK Prove All chains prove everything for always-fast settlement. ZK-only stacks have one mode: prove every batch, forever. @Offchain will bring a proposal to the DAO to upgrade Arbitrum One to ZK settlement, and other chains built with Arbitrum Platform will be able to upgrade at will. Stay tuned for more 👀

ZK is moving from a niche technology to core infrastructure, and @Offchain research is pushing it forward on every front 🧑‍🚀 I put together an overview of our team's latest ZK research -> • Making ZK proofs faster: Verifying data 4,000x faster & expanding ZK to native integer math • Verifiable AI: ZK proving the AI model ran correctly • ZK in multi-prover: How @Arbitrum is integrating ZK • ZK for confidential enterprise chains • Closing security gaps in recursive ZK: Are recursive proofs actually secure, & can recursive proofs be tampered with • Why WASM beats RISC-V for Ethereum L1 ISA Full article in next tweet 👇

It’s an interesting feeling to be in the middle of a bear market ...yet more bullish than ever! First 6 months of 2026 @Offchain -> @Arbitrum: • Arbitrum One monthly stablecoin transfer volume >$60B, and RWA TVS >$850M • @RobinhoodCrypto Chain launched 3 weeks ago - ~$750M TVL, $9.2B DEX volume • @LGUS is piloting a chain for its ad network spanning 38 countries & a 400M+ device base • @PayPal PYUSD peaked at $428M on Arbitrum • @CashApp, @Mastercard, @tryramp, @Venmo now all settle stablecoins on Arbitrum One • Dynamic Pricing V1 live - smoothing gas prices & enabling up to 910 MGas/s back in Jan • Shipped ArbOS 51. ArbOS 61 now in governance: • Compliance tooling, ZK settlement, Privacy infrastructure, PGA, Fast Feed & new economic levers actively in development • More major enterprise projects we can’t talk about yet 👀 @zerodev_app: • Wallet UI SDK • Smart Routing Address (SRA) - universal deposit address for chain abstraction • Key Management Service (KMS) - TEE-backed tx signing • Solana gas sponsorship • Co-authoring Native AA for Ethereum • More coming soon 👀 @prylabs: • Helped define L1 Strawmap for Ethereum 3.0 (oops…I said it 🙊) • Helped ship Fusaka • Championed ePBS & co-authored FOCIL • Helping define & build out Glamsterdam You aren’t bullish enough, anon.