lambdaclass / aleo_minimum_anti_collusion_infrastructure
Aleo's Minimum Anti-Collusion Infrastructure / MACI
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for aleo_minimum_anti_collusion_infrastructure
- EraVM implementation☆20Updated 2 months ago
- Elliptic Curve Fast Fourier Transform built on @arkworks-rs☆68Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- An observatory fork of SP1 (contact: @huitseeker)☆48Updated this week
- Circuit components definition library for zkLLVM circuit compiler☆43Updated 2 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated 11 months ago
- Starknet sequencer built with Tendermint Core☆53Updated last year
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A community-developed re-implementation of the Starkware Stone Prover☆70Updated 3 weeks ago
- Starknet Stack let's you easily create new Cairo Starknet chains with their own sequencers, provers and verifiers☆42Updated last year
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆39Updated last week
- KZG commitments over BLS12-381☆32Updated 2 years ago
- A collection of ZK light client libraries for various blockchains. (contact: @tchataigner)☆36Updated this week
- Minimal Yul Transpilation to the Miden VM☆53Updated last year
- EigenTrust - A distributed reputation system☆109Updated 11 months ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Zero Knowledge Virtual Machine from scratch implementing Pinocchio☆37Updated last year
- Lowering client-side proving cost for private ZK signatures in circom☆106Updated last year
- Solidity verifier for Plonk☆41Updated 3 months ago
- ☆56Updated 11 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆55Updated last month
- SNARK Circuit library inspired by bellman/bellperson (contact: @porcuquine)☆69Updated last week
- ☆85Updated this week
- A zero-knowledge Move language runtime environment.☆77Updated 11 months ago
- Cryptographic protocols☆37Updated last year
- Benchmarks of popular zkVMs including Jolt☆57Updated 7 months ago
- Version 2 of ZKaggle, 🏆 Finalist of ETHGlobal FVM Space Warp Hack☆14Updated last year
- Cross-zk-rollup aggregation☆59Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆96Updated 2 months ago
- FHE in the Risc0 zkVM☆25Updated last year