Stasia Carson 👾 🎮
610 posts



17 million *real life* proofs generated on Sindri. 🚢🚢🚢🚢🚢🚢

Mainnet is now powered by zkVM 💚 Same compatibility, more flexibility, and room for multiple zkVMs in the future. Read more about what this upgrade means 🧵👇

This week, we upgraded from custom zkEVM circuits to zkVM-based provers! This upgrade is powered by our friends at @SindriLabs 🤝 Their SP1 support let us prototype, test, and roll out zkVM-based proving at record speed. Faster iteration without compromising security.


The Bank Secrecy Act was built entirely for a paper-based world. But money is now a creature of the internet and we need our laws to respect that. A prime example: we should look to Zero-Knowledge Proofs to eliminate the data dragnet that the BSA forces on every consumer. 1/3

Zero knowledge proofs have a multitude of use cases for verification, and @zksync Head of Business Development @Ozhar broke them down in a recent roundtable discussion on ZK hosted by CoinFund Partner @einar_hb




We haven't even optimized the Paygo STF for proving cost We expect another 10x from the zkVM gigabrains We expect another 10x from the zkFPGA/zkASIC galaxybrains Down Only™ Technology cc @0xkydo

CLOB Wars Line-Up 2.0 (part 1/2) - @HyperliquidX (Onchain CLOB on dedicated L1 (HyperCore) and currently the clear CLOB king) - @valhalla_defi (fully onchain CLOB DEX built on @megaeth) - @GTE_XYZ (fully onchain CLOB DEX built on @megaeth) - @bulletxyz (network extension / optimistic rollup on @solana using ZK fraud proofs, combining off-chain execution with onchain settlement) - @fuel_network (high-performance FuelVM rollup building in-house CLOB) - @nitro_dex (fully onchain CLOB DEX built on @risechain) - @monacotrading (fully onchain CLOB DEX built on @SeiNetwork) - @hibachi_xyz (verifiable CLOB on @celestia BLOBs powered by @boundless_xyz) - @etherealdex (perp DEX powered by @ethena' $12B+ in liquidity) - @Lighter_xyz (ZK-powered, app-specfic CLOB DEX rollup on Ethereum) - @paradex (CairoVM-based high-performance DEX L2 on Ethereum hosting CLOB) - @KuruExchange (fully onchain CLOB perp DEX on @monad_xyz) - @perpltrade (fully onchain CLOB perp DEX on @monad_xyz) - @DeepBookonSui (CLOB liquidity layer on @SuiNetwork) - @kanalabs (onchain CLOB perp DEX built on @aptos) - @deriverse_io (fully onchain CLOB DEX built on @solana) - @avon_xyz (CLOB infra for efficient onchain lending) - @dexalot (onchain CLOB implemented as @avax subnet) Check part 2 below! ↓

GCP down. Cloudflare down. Sindri up. Distributed by design. Resilient infra by default.


🧵 Introducing Chainless Apps: A New Paradigm for Verifiable Applications at Internet Scale, built with Web2 Capability and Web3 Trust. Get ready for a monumental shift in dApp development! 👇 TLDR: ✅ Chainless Apps decouple execution from trust and settlement ✅ App-specific sequencing for high throughput and leverage verifiable off-chain computation ✅ Integrated with @Agglayer, Chainless Apps provide seamless cross-chain interoperability and unified liquidity This enables a new class of responsive, verifiable applications previously constrained by traditional blockchain limitations. On Arxiv @ arxiv.org/abs/2505.22989







