Library built from scratch to implement zk-protocols
☆13Dec 13, 2023Updated 2 years ago
Alternatives and similar repositories for zk-toolkit
Users that are interested in zk-toolkit are comparing it to the libraries listed below
Sorting:
- ☆27Apr 11, 2025Updated 10 months ago
- The Valida execution engine, prover, and verifier☆29Oct 6, 2025Updated 4 months ago
- Categories and subcategories of contents☆14Feb 25, 2026Updated last week
- Electrum Mnemonics (electrum v2 and greater)☆16May 4, 2020Updated 5 years ago
- ☆21Aug 23, 2024Updated last year
- The first CHIP-8 zkvm☆21Jun 4, 2024Updated last year
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Jun 3, 2025Updated 9 months ago
- ☆12Sep 6, 2023Updated 2 years ago
- Private authentic photo sharing using ZKP☆25Apr 17, 2023Updated 2 years ago
- Extracting the semantics of Noir to Lean for formal verification☆36Updated this week
- A ZK-VM for the Brainfuck language, based on Stwo☆34Apr 3, 2025Updated 11 months ago
- Utility to work with Lightning network with .NET☆40Sep 3, 2024Updated last year
- Unified zkVM Interface & Toolkit☆79Feb 26, 2026Updated last week
- A BIP174 compatible partial Transaction encoding library.☆36Updated this week
- ☆10Jan 4, 2023Updated 3 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated 2 months ago
- Python client of SteemConnect☆10Jan 8, 2019Updated 7 years ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- SDK for Passkey-Derived Nostr Identity a.k.a. Nosskey☆14Feb 20, 2026Updated last week
- Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"☆11Aug 29, 2022Updated 3 years ago
- Ethereum DEVnet - one node, automatic address generation, genesis block setup + mining script ~160MB☆12Mar 6, 2021Updated 4 years ago
- Sample React application with added GSN support☆12Sep 25, 2023Updated 2 years ago
- ☆14Jan 20, 2026Updated last month
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- A reference implementation of a web5 wallet in react native☆15Dec 14, 2024Updated last year
- Links on various subjects and topics I find interesting☆13Jun 6, 2021Updated 4 years ago
- A library that enables to create provable play-by-email games, leveraging Zero-Knowledge proofs.☆11Dec 5, 2024Updated last year
- Typescript gateway for simple static websites on nostr☆15Feb 19, 2026Updated 2 weeks ago
- Monorepo epic with batteries included☆14Feb 9, 2026Updated 3 weeks ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 6 months ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 3 months ago
- ☆11Aug 10, 2020Updated 5 years ago
- ☆11Mar 31, 2023Updated 2 years ago
- A sample ansible script to provision a server with ruby and postgres☆14Jun 23, 2013Updated 12 years ago
- A-Frame GLTF Exporter component☆13Apr 13, 2018Updated 7 years ago