Cardinal-Cryptography / zkOS-monorepoLinks
☆12Updated 6 months ago
Alternatives and similar repositories for zkOS-monorepo
Users that are interested in zkOS-monorepo are comparing it to the libraries listed below
Sorting:
- ☆61Updated last month
- Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.☆145Updated last week
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆152Updated last week
- Rust implementation of the Agglayer.☆117Updated this week
- Email verification circuit in halo2☆68Updated last year
- Reference implementation of the node for the Miden blockchain☆90Updated this week
- Template for integrating RISC Zero and Ethereum using Foundry☆140Updated 7 months ago
- ☆155Updated last year
- Parallelized multi-backend KZG library for Ethereum Data Sharding (aka Proto-Danksharding, EIP-4844)☆134Updated last month
- prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients.…☆134Updated 2 months ago
- A Solidity library that authenticates that the user is a correct holder of the specific email address, and specify entirely in Solidity h…☆84Updated 2 weeks ago
- Rust Library for running the Starknet OS via the Cairo VM☆68Updated 3 weeks ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆44Updated last week
- Examples of using Polygon Miden☆21Updated 5 months ago
- A PoC repo for a HyperNova impl☆83Updated 2 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆68Updated last year
- ZKM Development Template/Framework☆30Updated 7 months ago
- Privacy-first tooling for the Ethereum ecosystem☆293Updated this week
- On-chain dark pool. MPC for anonymous crosses at midpoint prices.☆238Updated this week
- A privacy-preserving key-value database on Arweave.☆68Updated last year
- ☆134Updated last year
- A system for managing privacy-preserving groups.☆76Updated 2 months ago
- Cryptographic primitives used in Polygon Miden rollup☆131Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Updated 10 months ago
- A EVM block proving backend in Cairo☆87Updated last week
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Updated 8 months ago
- BitVM Groth16 Verifier Toolkit - WIP☆80Updated last year
- A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle☆117Updated last year
- ☆175Updated this week
- EigenTrust - A distributed reputation system☆115Updated 2 years ago