exfinen / zk-toolkit
Library built from scratch to implement zk-protocols
☆12Updated last year
Alternatives and similar repositories for zk-toolkit:
Users that are interested in zk-toolkit are comparing it to the libraries listed below
- Rust implementation for Verkle tree.☆16Updated 3 years ago
- ☆14Updated last week
- Based on https://eprint.iacr.org/2022/1510☆26Updated 6 months ago
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Updated 2 years ago
- ☆27Updated 2 years ago
- ☆27Updated last week
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆59Updated last year
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- Polyexen demo of Plonkish Arithmetiation Format (Plaf) on the zkevm-circuits☆30Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- ☆16Updated last year
- A language for building boolean circuits based on TypeScript☆29Updated last week
- Some very rough benchmarks between sha256 circuits in different proving systems☆52Updated 2 years ago
- ZKsync protocol libraries☆14Updated this week
- ☆18Updated 2 weeks ago
- STARK book☆20Updated 7 months ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated 11 months ago
- ☆18Updated 2 years ago
- ☆23Updated last year
- FHE in the Risc0 zkVM☆25Updated last year
- Solidity verifier for Plonk☆42Updated 8 months ago
- ☆50Updated last year
- ☆13Updated last year
- Solidity implementation of the baby jubjub curve☆22Updated 11 months ago
- A collection of comparison-benchmarks for Nova & related Proving systems☆43Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆47Updated 4 years ago
- plonky2 implementation of bn254 pairing☆18Updated last year