privacy-scaling-explorations / multisetups
A simple, IPFS-based multi-party trusted setup utility for snarkjs
☆27Updated last year
Related projects: ⓘ
- trusted setup MPC tools☆12Updated 4 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- ☆17Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 weeks ago
- ☆33Updated last year
- ETHPrague☆31Updated 11 months ago
- RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme☆29Updated last year
- Pessimistic proof for the AggLayer.☆25Updated 2 months ago
- ☆10Updated this week
- ☆28Updated last year
- ☆23Updated 10 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Axiom smart contracts☆27Updated last year
- Starky implementation of Bls12-381☆11Updated 4 months ago
- polynomial commitments from linear codes☆35Updated 11 months ago
- Solidity verifier for Plonk☆41Updated last month
- ☆18Updated 9 months ago
- ☆32Updated 8 months ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆15Updated last year
- Code generation tool for adding Ethereum SimpleSerialiZe support methods to existing go types☆18Updated last month
- 🦀 celestia-node REST client in Rust.☆18Updated 2 years ago
- plonky2 implementation of bn254 pairing☆18Updated 7 months ago
- ☆13Updated this week
- Delve into low-level RISC Zero machine☆27Updated 8 months ago
- zk-Snarks circuit for franchise proof☆12Updated 9 months ago
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆40Updated last week
- ☆29Updated last year
- Highly experimental fault-proof program for Optimism Bedrock☆20Updated last year
- An implementation of Sangria☆18Updated last year