spalladino / zkp-tests
Playing with zero-knowledge proof languages
☆105Updated 2 years ago
Alternatives and similar repositories for zkp-tests:
Users that are interested in zkp-tests are comparing it to the libraries listed below
- A curated list of repos related to Circom☆96Updated 2 years ago
- Tools for Yul.☆138Updated last year
- Basic Noir anonymous proof of membership☆88Updated 3 weeks ago
- Reproduce ZKP vulnerabilities☆55Updated last week
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- A repo of example Noir projects.☆47Updated last week
- Horus, a formal verification tool for StarkNet smart contracts.☆73Updated last year
- A Brainfuck zkVM with Circom.☆58Updated last year
- A testing & development environment for Circom.☆106Updated last month
- PoC of Revm execution in SGX☆79Updated last year
- Provides tools for testing circom circuits.☆58Updated 7 months ago
- ☆53Updated last year
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆50Updated 3 weeks ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆45Updated last year
- ☆65Updated 7 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆73Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- Poseidon hash function implemented in Solidity☆47Updated 6 months ago
- A template for noir.☆140Updated last year
- My personal notebook for various zk-related topics☆48Updated last month
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆74Updated last month
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- barretenburg in rust (here we go)☆97Updated last year
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆104Updated 2 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 2 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆97Updated this week
- Email verification circuit in halo2☆67Updated 7 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated 2 months ago
- Cross-chain interop research, funded by Optimism Governance.☆53Updated last month