exfinen / zk-toolkitView external linksLinks
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☆14Updated this 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
- Zero Knowledge based Ethereum Virtual Machine in Circom language☆17Jun 3, 2025Updated 8 months ago
- Circom circuits of Ethereum arithmetic and bitwise operators☆20Feb 1, 2025Updated last year
- ☆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☆33Apr 3, 2025Updated 10 months ago
- Utility to work with Lightning network with .NET☆40Sep 3, 2024Updated last year
- Unified zkVM Interface & Toolkit☆74Updated this week
- A BIP174 compatible partial Transaction encoding library.☆36Oct 2, 2025Updated 4 months ago
- A template for creating new SBTs inheriting from the Masa SBT smart contracts, using ZKP.☆11Nov 25, 2024Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- A Python framework that uses machine learning algorithms to implement the metadata recovery attack against obfuscated programs.☆11Jul 25, 2016Updated 9 years ago
- ☆10Jan 4, 2023Updated 3 years ago
- hyrax-pcs-commit repository☆14Dec 16, 2025Updated last month
- Python client of SteemConnect☆10Jan 8, 2019Updated 7 years ago
- Extensive benchmarks of various zero-knowledge proof systems for Fully Homomorphic Encryption☆47May 7, 2025Updated 9 months ago
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- File system implementation for the Internet Computer☆11Nov 28, 2025Updated 2 months ago
- Playlist creator and manager app using Spotify API☆11Dec 10, 2022Updated 3 years ago
- Circom Circuits Library for Machine Learning☆181Jun 19, 2024Updated last year
- ☆12Nov 26, 2019Updated 6 years ago
- ☆15Sep 5, 2023Updated 2 years ago
- ☆11Jan 28, 2023Updated 3 years ago
- Artemis Academy capstone project☆10Sep 10, 2022Updated 3 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- My framework for Ruby. Just stuff I use myself and want to share with others.☆12May 23, 2024Updated last year
- Faraday middleware to support bitcoin lightning paywalls. (pay per request)☆10Jun 2, 2019Updated 6 years ago
- A self-hosted, multi-user, nostr credential vault, with cross-browser NIP-07 extension☆12Aug 31, 2025Updated 5 months ago
- nuMicro is a light micro-services framework to help design a full fledge event driven distributed systems - not gRPC, rather it's somethi…☆10May 15, 2020Updated 5 years ago
- ☆11Sep 10, 2024Updated last year
- ☆11Aug 10, 2020Updated 5 years ago
- Semaphore Protocol with Noir.☆11Mar 14, 2025Updated 10 months ago
- ☆10Mar 31, 2023Updated 2 years ago