Smart contract audit skills roadmap for beginners, auditors, engineers, etc.

File formats explanations, logos redrawing...

Warp is a blazingly-fast modern Rust based GPU-accelerated terminal built to make you and your team more productive.

This repository contains current and historical builds of the Solidity Compiler.

SoliDetector: Detect Security Defects of Solidity Smart Contract Based on Knowledge Graph

This repository contains 50,000 smart contracts extracted from the Ethereum network.

Blockchain Threat Intelligence Sharing Platform（区块链威胁情报共享平台）

Ontology Triones Service Node security checklist（本体北斗共识集群安全执行指南）

加密资产安全解决方案 Cryptocurrency Security Solution

A curated list of Awesome Security Challenges.

🦀 Small exercises to get you used to reading and writing Rust code!

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Rust bindings for the Z3 solver.

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

Safe interop between Rust and C++

Applied offensive security with Rust - Early access - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB

Balancer on the EVM

Directory of security contacts for blockchain companies

Ethereum smart contract fuzzer

Publications from Trail of Bits

Symbolic execution tool

Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain

Compile-time type-checked builder derive

Static Analyzer for Solidity

Guidelines and training material to write secure smart contracts

The Z3 Theorem Prover

Secure and fast microVMs for serverless computing.

Substrate: The platform for blockchain innovators

Abstraction layer for smart contract build systems