Designed to scale ZK-powered verifiable compute for every chain. Making it more efficient, reliable and accessible.
We describe the following contributions
1. Proof of Verifiable Work: a novel cryptographic primitive for measuring and incentivizing the generation of ZK proofs 2. The Financialization of Compute: an incentivized, capital-efficient, open market to match provers with demand 3. Boundless: a system which applies these concepts in practice
Blockchains today re-execute every program to verify them. This guarantees integrity, but creates a hard limit on how much compute chains can handle.
ZK fixes this: one node can prove they ran a program correctly, enabling true horizontal scaling for all blockchains.
We built the first general purpose zkVM at @risczero, revolutionizing and simplifying ZK development.
However, deploying ZK on all chains without breaking liveness or adding new security assumptions remains difficult. That is what Boundless was built for.
Boundless transforms verifiable compute into a universal, permissionless commodity.
Built with ZK, it enables abundant execution across chains, making verifiable compute as reliable and liquid as money itself.
Boundless isn’t another blockchain, it’s a universal network.
Market contracts deployed across all chains create localized markets for verifiable compute that inherit each chain’s native security. Boundless nodes power all chains.
Proof of Verifiable Work is a new incentive primitive: it allows Boundless to track and reward provers based on the useful compute they perform and value they deliver.
POVW initiates the virtuous adoption cycle for verifiable compute.
Boundless turns verifiable compute into a commodity: tradeable, trustless, abundant.
Spot markets and ZK-powered service agreements enable price discovery and hedging. Users get predictable compute and provers steady demand.
Verifiable compute is the future, ZK took one step, Boundless takes the next.
We’re helping power slashing on the world's leading restaking protocol.
Through this integration, @boundless_xyz will help secure the AVS ecosystem.
2/ EigenLayer's security relies on slashing bad actors.
To slash operators, EigenLayer must track multiple onchain balances. Through traditional Solidity calls, this is prohibitively expensive — some exceeding 50M gas per calculation, multiplied across every AVS.
3/ This isn't just a cost issue. Any compromise in calculating staked positions would undermine EigenLayer's cryptoeconomic framework.
With @boundless_xyz, these calculations happen offchain while staying verifiably secure through ZK proofs, reducing gas by 99.9%.