X's repositories
awesome-sec-challenges
A curated list of Awesome Security Challenges.
awesome-solidity
⟠ A curated list of awesome Solidity resources, libraries, tools and more
balancer-core
Balancer on the EVM
black-hat-rust
Applied offensive security with Rust - Early access - https://academy.kerkour.com/black-hat-rust?coupon=GITHUB
blockchain-security-contacts
Directory of security contacts for blockchain companies
blockchain-threat-intelligence
Blockchain Threat Intelligence Sharing Platform（区块链威胁情报共享平台）
building-secure-contracts
Guidelines and training material to write secure smart contracts
cargo-binutils
Cargo subcommands to invoke the LLVM tools shipped with the Rust toolchain
crossbeam
Tools for concurrent programming in Rust
cryptocurrency-security
加密资产安全解决方案 Cryptocurrency Security Solution
crytic-compile
Abstraction layer for smart contract build systems
cxx
Safe interop between Rust and C++
echidna
Ethereum smart contract fuzzer
firecracker
Secure and fast microVMs for serverless computing.
manticore
Symbolic execution tool
Ontology-Triones-Service-Node-security-checklist
Ontology Triones Service Node security checklist（本体北斗共识集群安全执行指南）
publications
Publications from Trail of Bits
ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
rust-typed-builder
Compile-time type-checked builder derive
rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
slither
Static Analyzer for Solidity
SmartScan-Dataset
This repository contains 50,000 smart contracts extracted from the Ethereum network.
solc-bin
This repository contains current and historical builds of the Solidity Compiler.
SoliDetector
SoliDetector: Detect Security Defects of Solidity Smart Contract Based on Knowledge Graph
souffle
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.
substrate
Substrate: The platform for blockchain innovators
Warp
Warp is a blazingly-fast modern Rust based GPU-accelerated terminal built to make you and your team more productive.
z3
The Z3 Theorem Prover
z3.rs
Rust bindings for the Z3 solver.