tonk-labs / dappicom
Provable play of Nintendo Entertainment System in Noir
☆136Updated 8 months ago
Alternatives and similar repositories for dappicom:
Users that are interested in dappicom are comparing it to the libraries listed below
- barretenburg in rust (here we go)☆97Updated last year
- ZK Email in Noir☆59Updated last week
- A curated list of repos related to Circom☆95Updated 2 years ago
- Poseidon hash function implemented in Solidity☆47Updated 6 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☆50Updated 3 weeks ago
- ☆65Updated 6 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆74Updated 4 months ago
- A repo of example Noir projects.☆46Updated this week
- Resources for learning Noir from ZKCamp's Aztec Course☆51Updated last year
- Cairo STARK proof verifier for Starknet☆70Updated last month
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆103Updated 2 months ago
- Template for integrating RISC Zero and Ethereum using Foundry☆119Updated this week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆123Updated this week
- ☆95Updated 5 months ago
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆128Updated this week
- An onchain game which explores different ZK game mechanics and information asymmetry☆93Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆165Updated this week
- ☆43Updated last year
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- Smart contracts for onchain verification of SP1.☆78Updated 2 weeks ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- A template for noir.☆140Updated last year
- Middleware to compile Circom circuits to Nova prover☆236Updated 11 months ago
- A testing & development environment for Circom.☆104Updated last month
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆97Updated 5 months ago
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated 2 months ago