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☆28Updated last year
- ☆18Updated 2 years ago
- A Solidity implementation of Halo2's Pasta curves☆49Updated 2 years ago
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated 2 years ago
- ☆17Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- A persistent, robust, and composable proposal service for rollup stacks written in pure rust.☆17Updated 2 years ago
- Prove multi-opens of EIP-4844 KZG blobs☆16Updated 2 years ago
- Polynomial Expression Engine☆35Updated last year
- Partial Block Building with TEEs☆17Updated last year
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- RLN on KZG☆21Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- polynomial commitments from linear codes☆46Updated 8 months ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- A library for fast NTTs over the Goldilocks prime field☆81Updated 11 months ago
- A collection of technical notes from the Geometry research team.☆47Updated 2 years ago
- ☆26Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated 2 years ago
- Circuits for Pluto's `web-prover`☆24Updated 4 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated 2 years ago
- The first CHIP-8 zkvm☆20Updated last year
- Groth16 verifier in EVM☆21Updated 2 years ago
- An ABI compatible for KZG EIP-4844 in Rust☆23Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 5 months ago
- Library and gadget to do regex string matches in halo2☆35Updated last year
- ☆33Updated last year
- ☆50Updated last year
- Tooling to develop and emulate verifyable programs compatible with Optimism Cannon and the OP Stack 🦀🎆☆55Updated last year