Consensys / corset
☆14Updated last week
Related projects ⓘ
Alternatives and complementary repositories for corset
- Cryptography libraries for ZKsync☆20Updated this week
- High performance EraVM for zkSync.☆23Updated 3 weeks ago
- EraVM specification.☆15Updated this week
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆27Updated last year
- KZG commitments over BLS12-381☆32Updated 2 years ago
- Extractable Witness Encryption for KZG Commitments☆26Updated last month
- A library of gadgets compatible with bellpepper and bellperson (contact: @huitseeker)☆17Updated last month
- ☆32Updated last year
- ☆31Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- A world's first zkWASM with a SuperNova backend☆20Updated this week
- Compiler framework for ZK VMs☆33Updated last year
- Accelerate Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆54Updated this week
- Circom AES-GCM circuits☆27Updated 3 weeks ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- The first CHIP-8 zkvm☆17Updated 5 months ago
- Benchmarking Polynomial Commitments☆47Updated last year
- ☆12Updated last year
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated last year
- Verify a chain of x509 certificates in halo2☆32Updated 11 months ago
- Writing MACI circuits in Noir☆16Updated last year
- Rescue and Poseidon hash function implementations☆42Updated 3 months ago
- Mozak RISC-V Virtual Machine☆16Updated 2 months ago
- ☆11Updated last month
- Keccak-f[1600] permutation in the EVM☆25Updated 2 weeks ago
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated last year
- Arkworks made simple for us: the non cryptographer software plumbers☆21Updated last year
- ☆14Updated this week
- ☆19Updated 8 months ago
- ☆19Updated 2 years ago