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
- Provides tools for testing circom circuits.☆58Updated 8 months ago
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- ☆65Updated 7 months ago
- Basic Noir private proof of membership☆88Updated this week
- ☆53Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 5 months ago
- Tools for Yul.☆138Updated last year
- Horus, a formal verification tool for StarkNet smart contracts.☆73Updated last year
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated last year
- A repo of example Noir projects.☆49Updated this week
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆127Updated 2 years ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆98Updated 3 weeks ago
- A testing & development environment for Circom.☆106Updated 2 weeks ago
- Poseidon hash function implemented in Solidity☆48Updated 6 months ago
- Zero-Knowledge University☆32Updated 6 months ago
- Implementation of zero knowledge proof protocol - Groth16, Plonk. For education purposes. Not a production ready code.☆76Updated last year
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆106Updated 3 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆54Updated last year
- ☆61Updated this week
- A Brainfuck zkVM with Circom.☆58Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 2 months ago
- An onchain game which explores different ZK game mechanics and information asymmetry☆93Updated last year
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- a community-maintained cryptography resource☆85Updated 7 months ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Email verification circuit in halo2☆67Updated 8 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆51Updated last month