Examples of Mastermind implemented in different ZK languages and frameworks.
☆16Mar 26, 2025Updated 11 months ago
Alternatives and similar repositories for zk-language-comparison
Users that are interested in zk-language-comparison are comparing it to the libraries listed below
Sorting:
- ☆33Mar 27, 2024Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Apr 17, 2023Updated 2 years ago
- SimpleSerialize (SSZ) implementation optimised for speed and security☆28Jan 28, 2026Updated last month
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated 2 months ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- A tool to help programmers learn Bitcoin Script.☆29May 11, 2014Updated 11 years ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 months ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Indexer for validating SLP transactions. Uses LevelDB.☆11Feb 12, 2026Updated 3 weeks ago
- ☆12May 24, 2025Updated 9 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆35Feb 20, 2026Updated 2 weeks ago
- Re-targets virtual machine (VM) limits to enable more advanced Bitcoin Cash contracts, reduce transaction sizes, and reduce full node com…☆15May 8, 2025Updated 10 months ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆273Updated this week
- A Rust library for reading a user's Docker credentials from config.☆10Sep 30, 2025Updated 5 months ago
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆26Nov 15, 2025Updated 3 months ago
- Unsafe 3-round MuSig in Python for experimentation☆11Jan 12, 2023Updated 3 years ago
- A lightweight tool to generate projects from Git repositories or local templates with ease.☆12Mar 26, 2025Updated 11 months ago
- Naehrig, Niederhagen and Schwabe's pairings code, massaged into a shared library.☆18Apr 19, 2016Updated 9 years ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- A Hubot script to take screenshots with BrowserStack☆12Jun 13, 2014Updated 11 years ago
- ☆10Nov 20, 2024Updated last year
- Integrating Stone Prover's generated proofs with the Cairo0 verifier☆10Mar 8, 2024Updated 2 years ago
- ☆10Dec 11, 2020Updated 5 years ago
- Unofficial Couple CLI and node library (incomplete)☆10Nov 11, 2016Updated 9 years ago
- Universal zero knowledge game engine based on PLONK☆13Feb 7, 2025Updated last year
- A library for training crosscoders☆16May 28, 2025Updated 9 months ago
- Syntax highlighting for Ogre Scripts in Atom/ VSCode☆13Dec 10, 2025Updated 2 months ago
- ☆13Jul 19, 2025Updated 7 months ago
- ☆13May 3, 2012Updated 13 years ago
- Collection of example code for learning OpenGL in Rust.☆13May 26, 2024Updated last year
- Bitcoin payment channel library☆11Jul 12, 2017Updated 8 years ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated last month
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated 2 months ago
- PancakeSwap Prediction Bot 🔮☆15Jan 3, 2023Updated 3 years ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 6 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆23Jul 28, 2025Updated 7 months ago