Lagrange-Labs / lgn-coprocessorLinks
Hyper-parallel ZK coprocessing.
☆17Updated 4 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 6 months ago
- Rust Implementation of Ethereum Binary Tree EIP-7864☆16Updated 5 months ago
- Based on https://eprint.iacr.org/2022/1510☆26Updated last year
- TEE stack for Seismic☆17Updated 3 weeks ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 3 years ago
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- ☆20Updated last week
- The fhEVM Decryptions Database is a key-value database of decryption results.☆15Updated 2 years ago
- A Rust library for proof-carrying disclosures☆23Updated last year
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Updated 3 years ago
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- Port of Circom Sparse Merkle Tree verifier to Noir.☆14Updated last year
- Semaphore Protocol with Noir.☆11Updated 9 months ago
- Decentralised Voting Scheme☆16Updated 4 years ago
- ☆17Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆70Updated 2 years ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆28Updated 2 years ago
- Circuits for Pluto's `web-prover`☆24Updated 8 months ago
- ☆50Updated last year
- ☆12Updated 2 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 10 months ago
- implentation of Ligerito☆19Updated 2 months ago
- ☆31Updated 2 months ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Updated 2 years ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Updated 10 months ago
- An API compatible port of the Stone prover.☆19Updated last year
- A research-only integration of Sovereign with Celestia☆20Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Updated 3 years ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago