exfinen / zk-toolkit
Library built from scratch to implement zk-protocols
☆12Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for zk-toolkit
- ☆13Updated this week
- A toolkit to compile and debug circom circuit.☆26Updated last year
- ☆18Updated this week
- ☆27Updated 2 years ago
- ☆15Updated 3 years ago
- FRI low-degree-testing & polynomial commitment scheme☆23Updated last year
- ☆20Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 2 months ago
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆47Updated 3 years ago
- Bitcoin Light Client on Ethereum☆40Updated 5 months ago
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Updated 5 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆37Updated 2 years ago
- ☆13Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- Using folding schemes for a provable bitcoin light client☆28Updated 6 months ago
- Rust implementation for Verkle tree.☆16Updated 2 years ago
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆57Updated last year
- ☆16Updated 3 years ago
- LegoGroth16 implementation on top of Zexe☆21Updated 2 years ago
- ☆17Updated 2 weeks ago
- Plonky2 Semaphore example for ZKHack☆26Updated 2 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Updated 9 months ago
- A language for building arithmetic circuits based on TypeScript☆16Updated last month
- Plasma Next☆35Updated 7 months ago
- A proxy for light client verification executed in TEE.☆43Updated this week
- ☆26Updated last month
- Pairing-friendly elliptic curve library☆23Updated 3 months ago
- An example of how to build an end-to-end dApp with plonky2x☆22Updated last year
- ☆17Updated last year