exfinen / zk-toolkitLinks
Library built from scratch to implement zk-protocols
☆13Updated 2 years ago
Alternatives and similar repositories for zk-toolkit
Users that are interested in zk-toolkit are comparing it to the libraries listed below
Sorting:
- ☆16Updated 4 years ago
- Plasma Next☆36Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Updated 10 months ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Updated last year
- circom and snarkjs / websnark tutorial, using RollupNC as an example☆17Updated 6 years ago
- ☆18Updated last month
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Circom circuits library for magnificent ZK applications☆14Updated 6 months ago
- ☆22Updated 2 years ago
- A circuit to verify the voice recovery process.☆49Updated 2 years ago
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆48Updated 4 years ago
- Kate commitment based PLONK recursive aggregation circuit☆42Updated last year
- Proof-of-concept on how to solve Bitcoin's light node sync problem with zkSNARKs☆60Updated 2 years ago
- Solidity verifier for Plonk☆42Updated last year
- Arkworks circuits for verifiable time-lock encryption☆91Updated 3 years ago
- ZK-based engine for self-sovereign SQL queries☆90Updated 3 years ago
- Proof of concept dapp for zero-knowledge proof with Zokrates☆23Updated 4 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- Rust implementation for Verkle tree.☆15Updated 3 years ago
- Bitcoin Light Client on Ethereum☆42Updated last year
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45Updated 2 years ago
- jsonschema rpc spec of eip 4337 (account abstraction) bundler☆35Updated 9 months ago
- ☆23Updated 5 years ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 9 months ago
- Plonky2 Semaphore example for ZKHack☆26Updated 3 years ago
- A monorepo of reusable Circom circuits.☆27Updated 5 months ago
- RLN circuits in Circom☆32Updated last year
- RSA verification circuit using halo2 library.☆57Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34Updated last year
- A toolkit to compile and debug circom circuit.☆27Updated 2 years ago