SeismicSystems / prototypes
☆37Updated last month
Alternatives and similar repositories for prototypes:
Users that are interested in prototypes are comparing it to the libraries listed below
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆96Updated 2 months ago
- Smart contracts for onchain verification of SP1.☆84Updated 3 weeks ago
- ☆23Updated last year
- Repository for research on Suave.☆23Updated last year
- Reference implementation of the node for the Polygon Miden rollup☆60Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- ☆34Updated 2 weeks ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆96Updated this week
- ☆56Updated 4 months ago
- Bringing off-chain compute workloads to on-chain smart contracts.☆92Updated 4 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆122Updated last week
- The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)☆64Updated 3 weeks ago
- ☆43Updated this week
- Symbiotic Core smart contracts☆45Updated last week
- Implementation of zero-knowledge proof circuits for Tendermint.☆79Updated 11 months ago
- Core components of the Polygon Miden rollup☆76Updated this week
- ☆49Updated this week
- Template repository for zkLLVM-based projects☆19Updated last year
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated last week
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆36Updated 11 months ago
- All of Aztec's workshops, resources, tutorials, ideas, and useful tools☆53Updated this week
- A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm☆68Updated this week
- ZK coprocessor for verifying Beacon chain headers via Altair lightclient protocol☆61Updated 6 months ago
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆87Updated this week
- ☆38Updated 5 months ago
- ☆141Updated last month
- ☆25Updated this week
- Go SDK for building AVSs on Eigenlayer☆73Updated this week
- The schelling point for ZK applications.☆137Updated 10 months ago
- ☆62Updated 10 months ago