Lagrange-Labs / lgn-coprocessorLinks
Hyper-parallel ZK coprocessing.
☆16Updated 3 months ago
Alternatives and similar repositories for lgn-coprocessor
Users that are interested in lgn-coprocessor are comparing it to the libraries listed below
Sorting:
- ☆23Updated 5 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Updated 4 months ago
- TEE stack for Seismic☆17Updated last week
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆18Updated 8 months ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Updated 3 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Updated 2 years ago
- Semaphore Protocol with Noir.☆10Updated 8 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- Rust library for accumulation schemes☆25Updated 2 years ago
- ☆19Updated this week
- Circuits for Pluto's `web-prover`☆24Updated 7 months ago
- Base64 encoding for Aztec's noir language☆16Updated last year
- Shared peer-to-peer network of zero-knowledge provers☆16Updated 11 months ago
- Herodotus Data Processor using SP1 as backend☆16Updated last year
- customizable halo2 circuits batcher☆31Updated last month
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- Benchmarking Polynomial Commitments☆50Updated 2 years ago
- ☆12Updated 2 years ago
- ☆31Updated 7 months ago
- ☆22Updated 4 months ago
- Mozak RISC-V Virtual Machine☆25Updated 8 months ago
- ☆24Updated 2 years ago
- ☆65Updated last year
- Early prototype.☆23Updated 2 years ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆44Updated 2 years ago
- High-performance Multi-scalar Multiplication for Pasta curves☆24Updated 2 months ago