Project hub

Boundless

42 pieces · Sep 2024 to Feb 2026 · 6 flagship

Sectors

ZK36 L1/L220 AI7 Ethereum7 Market structure7 Tooling5

Search every mention All projects and tickers

Coverage per year

52024

352025

22026

Start here · the strongest pieces on Boundless

Article23 Jul 2025Citrea deep dive: unlocking Bitcoin's $1.3T dormant liquidity with a ZK rollupAnalyzes Citrea, the first ZK rollup on Bitcoin, against wrapped tokens, federated bridges, sidechains and client-side validation. Covers its zkEVM, BitVM-based Clementine bridge, Bitcoin data availability, bApps ecosystem and risks.Thesis28 Jul 2025The ZK endgame: Boundless vs Succinct proving markets comparedCompares Boundless' open reverse-auction proving market with Succinct's single-prover API model. Concludes the market is large enough for two or more players, with multi-prover systems and aggregation layers likely.Article20 Jul 2025WTF is 'The Signal'? Boundless and Ethereum finality as a ZK primitiveExplains Boundless as verifiable compute for any chain with reverse Dutch auction price discovery and Proof of Verifiable Work metering RISC-V cycles. The Signal proves Ethereum finality so any chain can verify it, replacing multi-sig bridges for bridging, unified DeFi and faster rollup finality.

Timeline · every piece, newest first

2026 2

26 Feb 2026ZK coprocessors: the missing layer between data and contractsExplains the pattern of heavy off-chain computation returning a result plus ZK proof for onchain verification, and compares Brevis and Axiom (data queries) with RISC Zero, Boundless and Succinct SP1 (general-purpose zkVMs).ExplainerZKTooling18 likes

25 Feb 2026ZK Proof Costs Are Collapsing: Here's Who Wins and Who Gets CommoditizedReport on the ZK proving stack in three layers: hardware, proving networks and applications. Proof cost fell from $2.00 in 2023 to $0.05 on ASICs; compares GPU, FPGA and ASIC bets, then the Boundless and Succinct networks.ArticleZKDePIN32 likes

2025 35

31 Aug 2025Why ZK is the key to scaling blockchain computationArgues ZK decouples heavy computation from onchain verification, so chains only verify a succinct proof. Says high-performance L1s scale by raising hardware requirements, while ZK scales without that trade-off and enables AI, science and gaming workloads.ThesisZKL1/L240 likes

05 Aug 2025Boundless proving market and OP Kailua tractionNotes over 2,000 provers live on Boundless, a decentralized proving market with metered rewards integrated across 30+ protocols. Explains OP Kailua as a plug-and-play way for OP Stack rollups to adopt ZK settlement.ExplainerZKL1/L212 likes

04 Aug 2025Boundless integrations map: 20+ chains and protocols using the proving marketLists Boundless integrations across L2s, rollup-as-a-service providers, interop and Bitcoin projects including MegaETH, Anoma, Citrea, Union, Wormhole, Taiko, Linea and Base. Presents it as evidence of real traction for the proving market.MapZKL1/L268 likes

03 Aug 2025How the pre-TGE DeAI and ZK stack fits together: Cysic, Boundless, Anoma, AlloraSketches how several pre-TGE projects compose: Cysic supplies ZK hardware to Boundless' proving market, which supports Anoma intents used by agents running on Allora predictions trained on OpenLedger data, possibly on Bless compute.ThesisAIZK40 likes

03 Aug 2025OP Kailua explained: ZK fraud proofs and Stage 2 for OP Stack via BoundlessExplains how OP Kailua adds ZK fraud proofs to OP Stack chains, cutting the challenge bond from 330 ETH to under $100 and finality from 7 days to about one hour in validity mode. Boundless provides the permissionless proving needed for Stage 2.ExplainerZKL1/L2Ethereum33 likes

01 Aug 2025Boundless bull case and FDV target: Succinct PROVE as precedentSummarizes the Boundless bull case: chain-agnostic proving market, permissionless provers paid via Proof of Verifiable Work, 40+ integrations and a strong community. Targets a $1B to $2B FDV, using Succinct's PROVE as precedent.ThesisZK53 likes

01 Aug 2025ZK season watchlist: 14 ZK infra projects heading into TGE seasonWatchlist of 14 ZK projects including Boundless, MegaETH, Succinct, Opacity and Fluent. Expects ZK mindshare on Kaito to rise further as many of them approach TGE.MapZKL1/L260 likes

01 Aug 2025Cysic joins Boundless as hardware prover with custom ZK ASICsExplains the Boundless and Cysic partnership: Boundless coordinates the verifiable compute market while Cysic supplies GPU clusters and custom ZK ASICs as a primary hardware prover on the mainnet beta.ExplainerZKTooling19 likes

30 Jul 2025Cysic's three-pillar ZK model: hardware, proving DePIN and enterpriseCysic combines ZK hardware sales, a proving DePIN and enterprise services, and can act as a prover on both Succinct and Boundless. Bullish on the vertical integration but unsure how it holds up against focused competitors.BreakdownZKDePIN49 likes

30 Jul 2025MegaETH snapshot: 100k TPS target, sub-10ms blocks, ZK fraud proofsBullet snapshot of MegaETH: 100k TPS and 10+ GGAS per second targets, sub-10ms blocks, 1B testnet blocks with zero reorgs, Kailua ZK fraud proofs and EigenDA data availability.DataL1/L2Ethereum22 likes

29 Jul 2025Boundless Kaito allocation and TGE outlook: 0.25% of supply in rewardsPuts Boundless' 0.25% Kaito allocation in dollar terms ($2.5M at $1B FDV) and sketches expected TGE structure: sale, 10-20% initial unlock and 5-10% airdrop. Expects Succinct's PROVE to set a $1B-$2B FDV precedent.Market takeZKMarket structure36 likes

28 Jul 2025The ZK endgame: Boundless vs Succinct proving markets comparedCompares Boundless' open reverse-auction proving market with Succinct's single-prover API model. Concludes the market is large enough for two or more players, with multi-prover systems and aggregation layers likely.ThesisZKTooling57 likes

27 Jul 2025Pre-TGE calendar for August 2025: MIRA, PROVE, THQ, ALLO, BLESSCalendar of expected TGEs and Kaito campaigns, with timing calls: MIRA and THQ imminent, PROVE feels imminent, ALLO early-mid August, BLESS in 3-4 weeks. Expects most launches between September and November alongside MegaETH, Monad and Anoma mainnets.Market takeAIZKMarket structure24 likes

26 Jul 2025Projects integrating Boundless ZK proving: MegaETH, Citrea, Celestia, WormholeLists projects building on Boundless' proving market infra, including MegaETH, Citrea, Celestia, Wormhole, EigenCloud, Linea, Union, Anoma, Miden, Fuel and Unichain.MapZKL1/L255 likes

25 Jul 2025Anoma bull case: intent-centric infra, ecosystem and testnet tractionBull case for Anoma: intent-centric infra addressing liquidity fragmentation, dozens of builders, strong community via a gamified testnet, Boundless ZK proving partnership and a Kaito campaign. TGE FDV could reach $1B+.ThesisDeFiL1/L251 likes

24 Jul 2025MegaETH ZK fraud proofs with Kailua: disputes resolved in about an hourMegaETH swaps the interactive bisection game for a single non-interactive ZK fraud proof via Kailua, cutting dispute resolution from days to about an hour. The proposer does no work in a dispute and EigenDA keeps data available for challenges.ExplainerL1/L2ZKEthereum33 likes

23 Jul 2025Boundless go-to-market: The Signal and community building as infra strategyArgues Boundless wins on strategy: a community of advocates, The Signal as flagship application bootstrapping marketplace demand, avoiding extractive VC-designed tokenomics and first-mover position in verifiable compute.ThesisZKMarket structure81 likes

23 Jul 2025Citrea TL;DR: Bitcoin's first ZK rollup and the bApps ecosystemSummarizes his Citrea article: the first Bitcoin ZK rollup brings EVM programmability using RiscZero, BitVM and the Clementine 1-of-N bridge, with non-custodial bApps whose fees settle on Bitcoin L1.BreakdownBitcoinZKL1/L249 likes

23 Jul 2025Citrea deep dive: unlocking Bitcoin's $1.3T dormant liquidity with a ZK rollupAnalyzes Citrea, the first ZK rollup on Bitcoin, against wrapped tokens, federated bridges, sidechains and client-side validation. Covers its zkEVM, BitVM-based Clementine bridge, Bitcoin data availability, bApps ecosystem and risks.ArticleBitcoinZKL1/L2174 likes

21 Jul 2025Research agenda July 2025: MegaETH, CLOBs, proving markets, DeAI, privacyA list of themes under active research: MegaETH, CLOB infra, proving markets, ZK infrastructure, ML networks, AI agents and robotics, stablecoins, RWAs, programmable privacy, BTCfi and Hyperliquid.OtherZKAIHyperliquid101 likes

20 Jul 2025Expected pre-TGE launch sequence among Kaito leaderboard projectsForecasts a near-term wave of TGEs among Kaito leaderboard projects (Espresso, Theoriq, Bless, Mira, Allora, SatLayer) followed by Boundless, OpenLedger, Anoma, Succinct and others in the fall. Argues InfoFi may erode content quality but creates yapper opportunities.Market takeMarket structureAI47 likes

20 Jul 2025Boundless 'The Signal' summary: ZK proof of Ethereum finality and PoVWBoundless is a universal ZK compute protocol decoupling execution from consensus, rewarding provers via Proof of Verifiable Work. The Signal is its flagship app: a ZK client proving Ethereum's finalized state so any chain can verify it without multi-sig bridges or oracles.BreakdownZKEthereum59 likes

20 Jul 2025WTF is 'The Signal'? Boundless and Ethereum finality as a ZK primitiveExplains Boundless as verifiable compute for any chain with reverse Dutch auction price discovery and Proof of Verifiable Work metering RISC-V cycles. The Signal proves Ethereum finality so any chain can verify it, replacing multi-sig bridges for bridging, unified DeFi and faster rollup finality.ArticleZKEthereum54 likes

11 Jul 2025Why RWA tokenization hasn't scaled yet and what is unblocking itRWAs are held back by missing high-performance DeFi infra, weak oracle infra and regulatory ambiguity. All three are improving through verifiable CLOBs, modular oracles like eOracle, the Genius Act and treasury adoption, with stablecoins already the largest onchain RWA class.ThesisRWADeFiMarket structure44 likes

10 Jul 2025Citrea: Bitcoin's first ZK rollup and the BitVM-based Clementine bridgeCitrea batches transactions off-chain, proves them with RISC Zero's zkVM and Boundless, and inscribes proofs and state diffs on Bitcoin, enabling EVM contracts without protocol changes. The Clementine bridge uses BitVM for 1-of-N trust-minimized BTC bridging.BreakdownBitcoinZK41 likes

09 Jul 2025ZK infrastructure heading to mainnet and TGE: proving, verification, interopLists nine ZK infra projects approaching mainnet and TGE across proving markets, proof verification layers, interop, zkEVM and privacy, and points to the author's 64-project ZK landscape.MapZK72 likes

07 Jul 2025Modular infra teams worth backing: Union, Boundless, Fluent, Caldera, AnomaAfter criticizing extractive modular launches, names teams the author thinks will last because of top tier tech and genuine care for communities: Union, Boundless, Fluent, Caldera, Anoma, Succinct, with MegaETH added.Market takeL1/L2ZK50 likes

06 Jul 2025CLOB wars: why onchain orderbooks are replacing AMMs and who builds themAMMs were a forced tradeoff until real-time chains, scalable DA, ZK proving and fast oracles made orderbooks viable. Maps CLOB appchains (Hyperliquid, Bullet, Lighter, Paradex, Hibachi) and onchain CLOBs (GTE, Nitro, Monaco, Fuel, Aptos).MapPerpsDeFiHyperliquid24 likes

04 Jul 2025Pre-TGE infra protocols with Kaito leaderboards: ZK, compute, AI and rollupsA list of nine pre-TGE infra protocols with Kaito leaderboards, each with a one-line role, spanning ZK proving, ML networks, interop, compute, real-time EVM, intents, AI training and RaaS.MapZKAIL1/L276 likes

01 Jul 2025RISC Zero spins out the Boundless foundation as a multi-zkVM home for ZKExplains the Boundless foundation split: RISC Zero keeps R&D while the foundation drives grants, RFPs and ecosystem growth, with a multi-zkVM approach instead of a walled garden. Cites 30+ teams shipping and a nearing TGE.BreakdownZKTooling51 likes

26 Jun 2025Infra season: major projects nearing mainnet and TGE to watchLists nine infrastructure projects approaching mainnet or TGE with one-line descriptions: intents, ZK proving marketplaces, AI data chains, shared compute, predictive intelligence, real-time EVM and rollup-as-a-service.MapL1/L2ZKAI90 likes

26 Jun 2025Counter-takes on infra winners and losers: ZK, RaaS, intents, restakingPartly agrees that Hyperliquid reset standards but pushes back project by project on a list of supposedly dead infra: Zama, RISC Zero, Caldera and Anoma. Agrees shared sequencing and EigenLayer copycats are in tough spots, and adds Fluent, Sovereign Labs and zkML as alive.Market takeZKL1/L2Market structure47 likes

19 Jun 2025Leaderboard watchlist: Fuel, Sei, Boundless, Union, Allora, Paradex and moreExplains the thesis behind each project the author yaps on: FuelVM's UTXO/account hybrid, GigaSEI scaling, Boundless proof marketplace, Union's aggregate ZK proofs, Allora, Paradex, Openledger and MegaETH.BreakdownL1/L2ZKAI36 likes

18 Jun 2025The Ultimate ZK Infrastructure Landscape: 64 projects across 8 verticalsMaps 64 ZK projects across zkVMs, universal proving, verification and aggregation, zkEVMs, app-specific rollups, hardware acceleration, ZK privacy and zkTLS.MapZKL1/L2Privacy52 likes

13 Jun 2025Boundless ZK mining: Proof of Verifiable Work and the ZKC reward modelExplains Boundless's marketplace where miners earn requestor fees plus ZKC proportional to RISC-V cycles proven, with deterministic rewards from a verifiable cycle count. Covers the trader service and hardware requirements.ExplainerZKTooling24 likes

2024 5

19 Nov 2024Kailua: RISC Zero's hybrid ZK fault proofs for the OP StackExplains Kailua, a RISC Zero hybrid for OP chains that replaces interactive fault proofs with non-interactive ZK fault proofs, generating proofs only during disputes. Argues this cuts proving cost versus OP Succinct while giving sub-1-hour finality.ExplainerZKL1/L213 likes

13 Nov 2024Electron Quantum: ZK proof aggregation cuts verification cost 95%Explains how Electron's Quantum aggregates proofs from different schemes into one Superproof verified on Ethereum, amortizing cost across protocols. It is the first aggregator compatible with Boundless.ExplainerZKEthereum42 likes

08 Oct 2024Steel 1.0: RISC Zero's ZK prover for offchain EVM executionExplains Steel 1.0, a smart contract execution prover that moves Solidity execution offchain via the R0 zkVM, bypassing gas limits and keeping onchain security through ZK proofs. A user processed 400,000 SLOADs in one call.ExplainerZKEthereum37 likes

25 Sep 2024More Q4 2024 mainnets to watch and EIGEN as a sentiment gaugeExtends a Q4/24 and Q1/25 launch watchlist and argues EIGEN's transferability on 30 Sept starts a second, larger wave of token launches. The performance of these assets will indicate how bullish sentiment really is.Market takeL1/L2Market structure30 likes

16 Sep 2024RISC Zero Boundless: universal ZK verifiable compute layerLong thread explaining why ZK matters and how Boundless offers verifiable compute on any chain through a decentralized prover network, universal proof verification and RISC-V based components. Covers partners, funding and the likely token.BreakdownZKL1/L238 likes

Often covered with

RISC Zero53 Succinct38 MegaETH46 Union36 Cysic16 Anoma33 Citrea15 Allora38

Working together

Research, campaigns and builds for deep-tech teams.

View CV A1 Research