ZKSecurity's open-source AI-skills for pre-auditing ZK circuits
☆15Aug 3, 2026Updated 2 months ago
Alternatives and similar repositories for zk-skills
Users that are interested in zk-skills are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Performant post-quantum client-side ZK-SNARK☆17Oct 22, 2026Updated last week
- ☆19Sep 12, 2026Updated last month
- SpeakUp zkVM Website☆15Jul 3, 2026Updated 3 months ago
- Starknet privacy protocol☆32Updated this week
- awesome-fhenix is a curated collection of resources for building with Fhenix and the CoFHE coprocessor☆16Feb 23, 2026Updated 8 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Host-side gauntlet for untrusted code☆22Oct 22, 2026Updated last week
- ☆14Jul 31, 2025Updated last year
- For practice to using halo2☆22Jun 7, 2023Updated 3 years ago
- ☆12Sep 29, 2020Updated 6 years ago
- Transfer X ETH with A account, withdraw Y ETH with B account.☆10Aug 13, 2025Updated last year
- hold your coins☆12Aug 21, 2021Updated 5 years ago
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- Lean circuit DSL☆207Updated this week
- This repository contains the code for the paper "Botometer 101: Social bot practicum for computational social scientists."☆11Oct 6, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆11Sep 22, 2023Updated 3 years ago
- Next.js and Sign-In with Ethereum example app☆15Feb 20, 2022Updated 4 years ago
- ☆10Jul 17, 2024Updated 2 years ago
- SMT 2023 Submission; license pending☆61Jan 28, 2026Updated 9 months ago
- A practically efficient hash-based succinct argument that bypasses the arithmetization overheads☆14Sep 20, 2025Updated last year
- DEPRECATED. interstellar-client is a reference client for the new Stellar network and is part of the Interstellar Module System.☆13Oct 16, 2015Updated 11 years ago
- ☆12Sep 8, 2025Updated last year
- Wallet ENvironment for Ethereum☆17Nov 20, 2024Updated last year
- IPlug "Tale" Edition example (tremolo effect).☆12Jul 8, 2026Updated 3 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Compiling Noir to R1CS with witness generation and automatic differentiation binaries☆25Updated this week
- Accept Bitcoin payments (ckBTC) on the Internet Computer using this simple Point of Sale (POS) application.☆11Oct 2, 2023Updated 3 years ago
- ☆12Feb 6, 2025Updated last year
- ☆12Mar 26, 2026Updated 7 months ago
- Script to pin files via ipns and keep them updated. Feedback appreciated : )☆16Apr 8, 2021Updated 5 years ago
- Library for parsing, generating, and analyzing LLZK code.☆46Updated this week
- Bot Detection Algorithm for Reddit☆13Oct 26, 2017Updated 9 years ago
- 👁🗨 Rare and exotic sats☆12Jan 8, 2025Updated last year
- ☆14Jan 16, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Twitter bot detection using deep learning.☆10Dec 8, 2022Updated 3 years ago
- Mobile side benchmarking for zkvms☆21Oct 3, 2026Updated 3 weeks ago
- Solidity smart contract that serves as an on-chain ACL (Access Control List) for Lit Protocol☆17Mar 20, 2022Updated 4 years ago
- A pure Java implementation of Bulletproofs using Ristretto. Bulletproofs: short non-interactive zero-knowledge proofs that require no tru…☆23Dec 4, 2024Updated last year
- Starknet Tokenbound Explorer☆12Jun 2, 2025Updated last year
- A course on Halo2 in collaboration with Zircuit☆37Mar 30, 2026Updated 7 months ago
- zk-autoresearch — autonomous LLM agent optimizing a production ZK prover via benchmark feedback loop. First known application of Karpathy…☆27Sep 15, 2026Updated last month