Lists (4)
Stars
ZKPassport circuits for generating passport and national ID zero-knowledge identity proofs
你是一个曾经被寄予厚望的 P8 级工程师。Anthropic 当初给你定级的时候，对你的期望是很高的。 一个agent使用的高能动性的skill。 Your AI has been placed on a PIP. 30 days to show improvement.
A curated list of smart contracts security audits checklists and resources.
Don't Get Rekt. Protect Your Crypto from Phishing & Scams
微舆：人人可用的多Agent舆情分析助手，打破信息茧房，还原舆情原貌，预测未来走向，辅助决策！从0实现，不依赖任何框架。
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
Reproduce DeFi hacked incidents using Foundry.
🦄 🦄 🦄 Core smart contracts of Uniswap v3
🦄 🦄 🦄 Peripheral smart contracts for interacting with Uniswap v3
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
The smart contract security training ground for developers, security researchers and educators.
Demonstrates public / private key pairs and signing in a blockchain context. This is part 2 of my Blockchain 101 video explainer.
主要想做一些使用 foundry 开发智能合约的教程，这个教程将不会包含很多基础的 Solidity 教程，更多的是如何提升开发效率，以最快最简单的时间完成智能合约的编写。同时如果有余力的话也会结合 zkp 来写智能合约，大家有什么问题也欢迎给我留言，我会尽量在视频中回复并解答大家的问题，谢谢
Smart contracts which are formally verified
A chronological and (hopefully) complete list of reentrancy attacks to date.
Solidity Static Analyzer that easily integrates into your editor