Cardinal-Cryptography / zk-appsLinks
Shielding tokens with zkSNARKs
☆21Updated last year
Alternatives and similar repositories for zk-apps
Users that are interested in zk-apps are comparing it to the libraries listed below
Sorting:
- On-chain Ethereum light client built with SP1☆79Updated 2 weeks ago
- Rust crate to generate and verify proofs for Noir circuits☆20Updated 2 months ago
- Starknet sequencer built with Tendermint Core☆52Updated 2 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Updated 10 months ago
- Enclave is an open-source protocol for Encrypted Execution Environments (E3).☆41Updated this week
- ☆18Updated 2 years ago
- Email verification circuit in halo2☆68Updated last year
- ☆33Updated last year
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- ☆26Updated 2 months ago
- ☆42Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆56Updated 2 years ago
- KZG commitments over BLS12-381☆37Updated 3 years ago
- Cryptographic protocols☆38Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- ☆58Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 9 months ago
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated last year
- A collection of ZK light client libraries for various blockchains☆65Updated last year
- Halo2 Merkle tree circuits☆33Updated 4 years ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆66Updated last year
- ☆17Updated 2 years ago
- ☆31Updated last year
- Rust library for accumulation schemes☆25Updated 2 years ago
- Delve into low-level RISC Zero machine☆29Updated 2 years ago
- ☆24Updated last year
- Implementation of ethereum's `ssz`☆109Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- ☆134Updated last year