muellerberndt / awesome-zk-proofsView external linksLinks
Resources for learning zero knowledge proof systems
☆49Updated this 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
Sorting:
- This repository holds public audits performed by the statemind team.☆24Oct 14, 2025Updated 4 months ago
- Audit portfolio of 0xSimao☆49Dec 17, 2025Updated 2 months ago
- A End-to-end encryption library for React and browser based JavaScript frameworks☆10Jan 31, 2024Updated 2 years ago
- ☆24Updated this week
- ☆97Dec 22, 2025Updated last month
- ☆23Oct 18, 2025Updated 3 months ago
- Generalized RISC-V based state transition function for the ZKsync protocol☆28Updated this week
- Plonky2 implementation of Ed25519☆11Apr 5, 2024Updated last year
- 🧩 Liquidator for the Vesu protocol.☆14Oct 1, 2025Updated 4 months ago
- ☆27Jul 23, 2025Updated 6 months ago
- Guvenkaya Public Security Assessment Reports☆12Jan 26, 2026Updated 3 weeks ago
- ☆14Updated this week
- ☆21Nov 8, 2024Updated last year
- This repository comprises of everything you need to know about Solidity proxies, upgradeable smart contracts and their security.☆19Jun 3, 2024Updated last year
- A Toolkit to help dApps Chain Abtract their user flows.☆16Mar 27, 2024Updated last year
- ☆26Nov 26, 2025Updated 2 months ago
- An ultra-lightweight Solana Python interpreter ported from PikaPython☆24Dec 19, 2025Updated last month
- ☆17Jun 1, 2024Updated last year
- Camp Mamo Demo Repositories☆39Aug 18, 2025Updated 5 months ago
- Reference implementation of Jetton (fungible token) smart contract for TON☆43Aug 21, 2025Updated 5 months ago
- tpiliposian audit portfolio☆14Nov 13, 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
- TypeScript SDK for agent portability, discovery and trust based on ERC-8004.☆49Feb 9, 2026Updated last week
- Email signature☆11Oct 18, 2021Updated 4 years ago
- Smart contracts that let you play a game of 2048 entirely onchain on Monad testnet.☆19May 14, 2025Updated 9 months ago
- Cutting edge on-chain dark pool☆19Sep 26, 2025Updated 4 months ago
- ☆15May 26, 2022Updated 3 years ago
- Reserve Folio — A protocol for creating permissionless Index Assets☆30Updated this week
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆75Dec 11, 2025Updated 2 months ago
- WalletConnect AppKit: a single Web3 provider solution for all Wallets☆17Sep 17, 2024Updated last year
- Low latency pricing oracle for ephemeral rollups☆23Jan 20, 2026Updated 3 weeks ago
- An SDK for all things Balmy (and more)☆22May 19, 2025Updated 8 months ago
- ☆18Oct 9, 2025Updated 4 months ago
- Francis is a GenAI RAG ChatBot reference architecture provided by AWS, designed to help developers quickly prototype, deploy, and launch …☆24Updated this week
- Resources for Starknet MEV☆16Oct 25, 2024Updated last year
- A monorepo of reusable crates for zero-knowledge technologies.☆19Feb 8, 2026Updated last week
- Verify Cairo contracts in Lean 4☆20May 22, 2025Updated 8 months ago
- ☆28Jan 27, 2026Updated 3 weeks ago
- Oh that snake is eating my contributions! 🐍☆14Sep 9, 2025Updated 5 months ago