boundless-xyz / boundlessLinks
Monorepo for Boundless, the universal ZK protocol
☆30Updated this week
Alternatives and similar repositories for boundless
Users that are interested in boundless are comparing it to the libraries listed below
Sorting:
- Smart contracts for onchain verification of SP1.☆95Updated this week
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 3 months ago
- ☆64Updated last year
- ☆40Updated 7 months ago
- Reference implementation of the node for the Miden blockchain☆64Updated last week
- ☆51Updated this week
- ☆35Updated this week
- On-chain Ethereum light client built with SP1☆53Updated this week
- ☆51Updated 2 weeks ago
- customizable halo2 circuits batcher☆30Updated 2 weeks ago
- Repository for research on Suave.☆23Updated last year
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated 3 weeks ago
- High performance EraVM for zkSync.☆24Updated last month
- ☆22Updated 11 months ago
- OS for next iteration of the world computer☆43Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆119Updated this week
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆52Updated 2 months ago
- A collection of ZK light client libraries for various blockchains☆51Updated 6 months ago
- ☆34Updated 2 weeks ago
- 🐺 Starknet Rust types 🦀☆69Updated last week
- Composable rust types and interfaces specific to the OP Stack. Built on Alloy.☆16Updated 3 months ago
- An observatory fork of SP1☆69Updated 3 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 7 months ago
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆112Updated this week
- Transports, Middleware, and Networks for the OP Stack built on Alloy☆71Updated this week
- ☆25Updated 3 weeks ago
- Generates zero-knowledge proofs of Ethereum smart contract execution.☆33Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 8 months ago
- ☆42Updated last year
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 10 months ago