corddry / zk-nintendoView external linksLinks
☆11Mar 2, 2024Updated last year
Alternatives and similar repositories for zk-nintendo
Users that are interested in zk-nintendo are comparing it to the libraries listed below
Sorting:
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- ☆13Nov 10, 2023Updated 2 years ago
- partnership with DelphinusLab targeting on trustless offchain monitor.☆14Jan 26, 2024Updated 2 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- Resources for Starknet MEV☆16Oct 25, 2024Updated last year
- Modify ASTs Easily & Reliably☆17Dec 22, 2023Updated 2 years ago
- ☆133Apr 23, 2022Updated 3 years ago
- ☆50Mar 7, 2024Updated last year
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- ☆107Aug 6, 2024Updated last year
- Tutorial for designing and impementing a STARK-compatible VM, along with a fully functional Brainfark instruction set architecture, virtu…☆58Aug 1, 2024Updated last year
- Trustless BTC-ETH exchange.☆28Sep 20, 2022Updated 3 years ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆111Mar 18, 2025Updated 10 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- ☆27May 20, 2022Updated 3 years ago
- utilities for more granular and realistic gas measuring in forge tests☆30Feb 9, 2024Updated 2 years ago
- zero knowledge proof aggregator for general circuit☆73May 20, 2024Updated last year
- ☆31Nov 22, 2022Updated 3 years ago
- ☆30Mar 24, 2023Updated 2 years ago
- Deadalus is a modular toolkit for zkSNARKs development and deployment written in Go using Gnark.☆34Feb 26, 2023Updated 2 years ago
- Nova-based SHA256 benchmarks☆31Jun 7, 2025Updated 8 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 5 months ago
- Smart contracts for the Telepathy protocol☆80Mar 23, 2024Updated last year
- Simple zk roll-ups☆39Jan 24, 2023Updated 3 years ago
- ☆38Jul 30, 2025Updated 6 months ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- Verifiable and confidential computation based on ZKP and FHE, powered by risc0 zkVM.☆86Apr 20, 2023Updated 2 years ago
- Snapshot of unlisted Runestones and The Wizards of Ord holders☆11Jun 30, 2024Updated last year
- ZK Erdos Numbers using recursive SNARKs☆78Sep 24, 2022Updated 3 years ago
- ☆10Apr 9, 2024Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- Trust-minimized commitment pools with zkSNARKs☆38Apr 10, 2023Updated 2 years ago
- Home of the Skyro compiler☆44Dec 12, 2022Updated 3 years ago
- ZK-based engine for self-sovereign SQL queries☆90Jul 28, 2022Updated 3 years ago
- LLM-powered tool that enhances OpenAPI specifications by extracting machine-readable constraints from human-readable descriptions.☆14Nov 6, 2024Updated last year
- look up ethereum proposals and read them in raycast☆38Aug 5, 2024Updated last year