Intensive co-learning for ZK. 残酷 ZK 共学小组，一起学习 ZK 知识。
☆27Updated this week
Alternatives and similar repositories for ZK
Users that are interested in ZK are comparing it to the libraries listed below
Sorting:
- Intensive co-learning for Web3 URL. 残酷 Web3 URL 开源共学小组，一起 Buidl。☆41Updated this week
- TON&Tact课程学习☆11Jan 25, 2024Updated 2 years ago
- Intensive co-learning for Ethereum Protocol. 残酷以太坊协议共学小组。☆36May 11, 2024Updated last year
- Hashing circuits implemented in circom☆28Jan 24, 2025Updated last year
- Automated verification of uniqueness property for ZKP circuits☆94Mar 13, 2024Updated last year
- r1cs file format parser☆23May 6, 2024Updated last year
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Material of my talk/workshop "Smart contracts and Hacking 101"☆10Mar 31, 2025Updated 11 months ago
- Web3 CTF Intensive CoLearning☆157Jan 8, 2026Updated last month
- Move Vulnerability Database☆19Nov 18, 2025Updated 3 months ago
- A tool for design pattern recognition on blockchain through static code analysis☆10Jun 8, 2024Updated last year
- ☆12Mar 8, 2024Updated last year
- Ethereum Portal Network Client written in Go☆14Nov 24, 2025Updated 3 months ago
- Solidity gas optimization notes☆10Apr 27, 2023Updated 2 years ago
- ⚡A curated list of awesome resources related to the Optimism ecosystem ⛓☆11Jul 9, 2024Updated last year
- A solution to hats.finance's first CTF challenge☆10May 7, 2022Updated 3 years ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- ☆10Sep 22, 2022Updated 3 years ago
- ☆13Aug 15, 2024Updated last year
- My attempt at learning Solana program (smart contract) development through RareSkill's Solana course.☆15Aug 21, 2024Updated last year
- 收集一些好用的AI/ChatGPT相关工具。原则是基于它开发的工具使我们更加轻松地完成工作 / A collection of some good AI/ChatGPT related tools. The principle is that the tools devel…☆16Apr 5, 2023Updated 2 years ago
- An "Awesome List" for the Bitcoin Dev Kit Project☆11Jul 30, 2024Updated last year
- ☆10Mar 21, 2023Updated 2 years ago
- specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification☆10Oct 9, 2023Updated 2 years ago
- Implementing Bendersnatch curve using Arkwork's framework in Rust.☆14Oct 28, 2021Updated 4 years ago
- ☆11Sep 10, 2024Updated last year
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Dec 2, 2024Updated last year
- ♨️ Highest Throughput EVM L2 PoC, ThreadSafe Execution ♨️☆16Mar 18, 2024Updated last year
- A tutorial on creating a Groth16 proof and verifying it on-chain in a Solana☆19Oct 10, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 18, 2026Updated last week
- Repository housing all the content for the Senior Track at LearnWeb3☆14Jun 29, 2023Updated 2 years ago
- 一个记录跨性别相关网站的库☆12Nov 12, 2024Updated last year
- Common contracts for foundry projects.☆10Jan 12, 2025Updated last year
- ☆14Aug 28, 2023Updated 2 years ago
- The repo contains publicly available malware analysis and reversing resources.☆12Oct 13, 2025Updated 4 months ago
- 本科学习资料备份☆12Mar 23, 2020Updated 5 years ago
- ☆15Jul 14, 2024Updated last year
- Detect or infer the Anchor, Solana, and Rust versions needed for an Anchor project.☆16Feb 4, 2026Updated 3 weeks ago