Resources for learning zero knowledge proof systems
☆51Mar 20, 2026Updated last week
Alternatives and similar repositories for awesome-zk-proofs
Users that are interested in awesome-zk-proofs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository holds public audits performed by the statemind team.☆24Oct 14, 2025Updated 5 months ago
- Audit portfolio of 0xSimao☆51Dec 17, 2025Updated 3 months ago
- CTF solve scripts. Some writeups on my blog, others on my gist. Check the challenge directories for links.☆10Feb 3, 2024Updated 2 years ago
- A monorepo of reusable crates for zero-knowledge technologies.☆22Feb 8, 2026Updated last month
- A End-to-end encryption library for React and browser based JavaScript frameworks☆11Jan 31, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆95Dec 22, 2025Updated 3 months ago
- An ultra-lightweight Solana Python interpreter ported from PikaPython☆24Dec 19, 2025Updated 3 months ago
- This is my personal NeoVim config.☆14Jul 18, 2025Updated 8 months ago
- A repo to for sharing information on Substrate security☆20Feb 19, 2024Updated 2 years ago
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆75Dec 11, 2025Updated 3 months ago
- 💧 Drips Protocol Smart Contracts☆71Mar 17, 2026Updated last week
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- ☆12May 2, 2022Updated 3 years ago
- A Toolkit to help dApps Chain Abtract their user flows.☆16Mar 27, 2024Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆26Nov 26, 2025Updated 4 months ago
- tpiliposian audit portfolio☆14Nov 13, 2025Updated 4 months ago
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆199Jan 5, 2026Updated 2 months ago
- Generalized RISC-V based state transition function for the ZKsync protocol☆28Updated this week
- ☆22Oct 18, 2025Updated 5 months ago
- ☆19Updated this week
- ☆18Mar 13, 2026Updated 2 weeks ago
- ☆88Sep 3, 2025Updated 6 months ago
- WalletConnect AppKit: a single Web3 provider solution for all Wallets☆17Sep 17, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆21Nov 8, 2024Updated last year
- 🧩 Liquidator for the Vesu protocol.☆14Mar 20, 2026Updated last week
- Oh that snake is eating my contributions! 🐍☆14Sep 9, 2025Updated 6 months ago
- ☆14Feb 25, 2026Updated last month
- An SDK for all things Balmy (and more)☆22May 19, 2025Updated 10 months ago
- Email signature☆11Oct 18, 2021Updated 4 years ago
- ☆21Apr 24, 2024Updated last year
- Axelar cross-chain contracts for Sui Move☆22Nov 5, 2025Updated 4 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆32Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- TypeScript SDK for agent portability, discovery and trust based on ERC-8004.☆61Mar 16, 2026Updated 2 weeks ago
- ☆15May 26, 2022Updated 3 years ago
- Guvenkaya Public Security Assessment Reports☆12Jan 26, 2026Updated 2 months ago
- Cutting edge on-chain dark pool☆20Sep 26, 2025Updated 6 months ago
- Arkhyp Kuindzhi's painting recreated with GitHub avatars pixels☆17Nov 28, 2025Updated 4 months ago
- Reserve Folio — A protocol for creating permissionless Index Assets☆33Mar 10, 2026Updated 2 weeks ago
- ☆31Mar 3, 2023Updated 3 years ago