zzzihao-li's Stars
dafny-lang/dafny
Dafny is a verification-aware programming language
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
ethereum/research
Consensys/gnark
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
naddison36/sol2uml
Solidity contract visualisation tool
kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
scroll-tech/zkevm-circuits
a16z/halmos
A symbolic testing tool for EVM smart contracts
0xPARC/zk-bug-tracker
A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
huff-language/huff-rs
A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
iamhyc/Overleaf-Workshop
Open Overleaf/ShareLaTex projects in vscode, with full collaboration support.
agiletechvn/go-ethereum-code-analysis
English version
spearbit/armory
A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities, or find-the-bug content. This is for the real researchooors.
NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
microsoft/verisol
A formal verifier and analysis tool for Solidity Smart Contracts
FuzzingLabs/thoth
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
NomicFoundation/slang
Solidity compiler tooling by @NomicFoundation
AztecProtocol/huff
Repository for Huff - an EVM programming language
Psycoy/EasyLiterature
EasyLiterature is an open-sourced, Python-based command line tool for automatic literature management.
Certora/gambit
Using mutations to improve specs and test suites
Consensys/evm-dafny
An EVM interpreter in Dafny
crate-crypto/rust-verkle
hzysvilla/Academic_LLM_Sec_Papers
Academic Papers about LLM Application on Security
scroll-tech/zktrie
Binary storage trie
Veridise/Medjai
A Symbolic Execution Tool for Cairo
jsign/verkle-crypto
Cryptography for Ethereum Verkle Trees
crate-crypto/go-ipa
A Go implementation of cryptographic primitives for Verkle Trees
gballet/go-ethereum
Official Go implementation of the Ethereum protocol
gsalzer/skelcodes
smart contracts deployed on Ethereum, one per skeleton
palinatolmach/DeFi-csp-models