Veridise / zk-language-comparisonView external linksLinks
Examples of Mastermind implemented in different ZK languages and frameworks.
☆16Mar 26, 2025Updated 10 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☆27Jan 28, 2026Updated 2 weeks ago
- A parallel proving service for ZKM.☆22Dec 18, 2025Updated last month
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 2 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
- Rust implementation of KZG point evaluation☆35Feb 5, 2026Updated last week
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆25Nov 25, 2025Updated 2 months ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 4 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
- Indexer for validating SLP transactions. Uses LevelDB.☆11Dec 6, 2025Updated 2 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- ☆13May 24, 2025Updated 8 months ago
- Cairo-VM STONE STARK Verifier Rust implementation☆43Feb 4, 2025Updated last year
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Prove Cairo programs with the blazing-fast S-two prover, powered by the cryptographic breakthrough of Circle STARKs.☆271Updated this week
- Bitcoin payment channel library☆11Jul 12, 2017Updated 8 years ago
- 🐶 very lightweight dogecoin library, wow ✨ only 20kb gzipped， such node and browser support☆17Mar 8, 2025Updated 11 months ago
- Bidirectional transformation between Yao IR and QASM.☆11Dec 6, 2020Updated 5 years ago
- NYU's Introduction to Deep Learning Research☆39Updated this week
- ☆10Sep 25, 2019Updated 6 years ago
- A clean and minimal template for your CV or résumé.☆12Apr 2, 2025Updated 10 months ago
- ☆41Jan 7, 2024Updated 2 years ago
- ☆10Jun 5, 2022Updated 3 years ago
- ☆10Nov 20, 2024Updated last year
- Set up a forge testing env instantly w/ ds-test, solmate + openzeppelin preinstalled.☆10Sep 17, 2022Updated 3 years ago
- Official Bitcoin BIP-110 Activation Client (forked from Bitcoin Knots v29.2.knots20251110)☆30Updated this week
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Suite of generic Linked Data/SPARQL as well as LinkedDataHub-specific MCP tools☆37Jan 26, 2026Updated 2 weeks ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 6 years ago
- Node compatible web3 provider for App Wallets☆10Jan 7, 2023Updated 3 years ago
- NearAI integration for LangChain☆12Apr 12, 2025Updated 10 months ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- AYY LMAO☆12Aug 27, 2015Updated 10 years ago
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 6 months ago
- 👾 monitor web server's log files against CSRF attacks (a modification of apache's mod_security to log these attacks)☆14Oct 15, 2024Updated last year
- ☆14Mar 21, 2025Updated 10 months ago