asonnino / arkeLinks
Decentralised Privacy-Preserving Contact Discovery
☆18Updated 2 years ago
Alternatives and similar repositories for arke
Users that are interested in arke are comparing it to the libraries listed below
Sorting:
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- Delve into low-level RISC Zero machine☆29Updated 2 years ago
- RLN on KZG☆21Updated 2 years ago
- ☆17Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆25Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆50Updated 2 years ago
- Benchmarking Polynomial Commitments☆51Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- The first CHIP-8 zkvm☆21Updated last year
- A Cairo VM prover implemented using Winterfell☆17Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- ☆28Updated 4 years ago
- Library and gadget to do regex string matches in halo2☆35Updated last year
- ☆18Updated 2 years ago
- Minimal Merkle Tree implementations☆32Updated 6 months ago
- Groth16 verifier in EVM☆23Updated 2 years ago
- FHE in the Risc0 zkVM☆25Updated 2 years ago
- Honk Verifier in Solidity☆50Updated last year
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 10 months ago
- Shared peer-to-peer network of zero-knowledge provers☆16Updated last year
- Rust port of c-kzg-4844☆17Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- polynomial commitments from linear codes☆47Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated last year
- A library for fast NTTs over the Goldilocks prime field☆80Updated last year
- ☆31Updated 2 months ago
- Early prototype.☆23Updated 2 years ago