SeismicSystems / prototypesLinks
☆40Updated 4 months ago
Alternatives and similar repositories for prototypes
Users that are interested in prototypes are comparing it to the libraries listed below
Sorting:
- Smart contracts for onchain verification of SP1.☆124Updated 2 months ago
- Core SDK elements for Axiom, the ZK Coprocessor for Ethereum.☆35Updated last year
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆140Updated 5 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆61Updated last year
- This is the monorepo for the Succinct Prover Network, a protocol on Ethereum that coordinates a distributed network of provers to generat…☆48Updated last week
- ☆70Updated last year
- Efficient, all-vs-all dispute protocol for Optimistic Rollups☆117Updated 4 months ago
- Reference implementation of the node for the Miden blockchain☆86Updated this week
- ☆116Updated this week
- ☆80Updated 2 months ago
- ☆66Updated 3 weeks ago
- Smart contracts for on-chain anonymous settlement.☆123Updated 3 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 6 months ago
- Out-of-circuit zkEVM implementation☆80Updated last year
- A monorepo of reusable Noir circuits.☆47Updated 3 months ago
- Implementation of zero-knowledge proof circuits for Tendermint.☆82Updated last year
- Skip's protocol-owned MEV builder implementation☆54Updated last year
- ☆44Updated last year
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆28Updated last week
- Repository for research on Suave.☆24Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 9 months ago
- zkevm-chain: Deprecated☆89Updated 2 years ago
- A based rollup template of the Taiko Alethia stack.☆25Updated last week
- ☆42Updated last year
- ZK Email in Noir☆78Updated last month
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆93Updated 2 years ago
- PoC of Revm execution in SGX☆79Updated 2 years ago
- 🐺 Starknet Rust types 🦀☆77Updated 2 weeks ago
- ☆61Updated 3 months ago