tonk-labs / dappicom
Provable play of Nintendo Entertainment System in Noir
☆135Updated 7 months ago
Alternatives and similar repositories for dappicom:
Users that are interested in dappicom are comparing it to the libraries listed below
- A curated list of repos related to Circom☆95Updated 2 years ago
- Template for integrating RISC Zero and Ethereum using Foundry☆113Updated last month
- barretenburg in rust (here we go)☆97Updated last year
- ☆95Updated 5 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆73Updated 3 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☆39Updated last week
- Tooling for creating collaborative SNARKs for Circom and Noir circuits.☆111Updated this week
- A repo of example Noir projects.☆45Updated this week
- ☆64Updated 5 months ago
- Poseidon hash function implemented in Solidity☆43Updated 5 months ago
- ZK Email in Noir☆57Updated this week
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated last month
- OP Succinct turns any OP stack rollup into a full type-1 zkEVM Rollup in 1 hour using SP1.☆117Updated this week
- ☆51Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆95Updated 4 months ago
- Resources for learning Noir from ZKCamp's Aztec Course☆47Updated last year
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- The Slush SDK allows you to spin up L3s on Starknet☆68Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆71Updated 3 weeks ago
- Cairo STARK proof verifier for Starknet☆70Updated this week
- Middleware to compile Circom circuits to Nova prover☆235Updated 10 months ago
- Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)☆157Updated last week
- Smart contracts for on-chain anonymous settlement.☆96Updated last week
- Implementation of PLUME: nullifier friendly signature scheme on ECDSA☆137Updated last month
- Walkthroughs to leverage Odyssey's features from the future.☆79Updated last month
- An onchain game which explores different ZK game mechanics and information asymmetry☆92Updated last year
- PoC of Revm execution in SGX☆80Updated last year
- STARK Cairo prover using lambdaworks. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable pr…☆77Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆140Updated last week