repos
79
ecosystems
20
languages
10
commits
18,297
─── top repos · by commits
─── repositories
79 totalStatic Analyzer for Solidity and Vyper
CertiK fork of Slither Analyzer
Static Analyzer for Solidity and Vyper
Research on Vulnerability Detection Using Intermediate Representations of Solidity
Static Analyzer for Solidity
Static Analyzer for Solidity
Abstraction layer for smart contract build systems
Guidelines and training material to write secure smart contracts
Static Analyzer for Teal
Guidelines and training material to write secure smart contracts
EVM CFG recovery
EVM dissassembler
Publications from Trail of Bits
embark-contract-info
Pre-built security properties for common Ethereum operations
Directory of security contacts for blockchain companies
Symbolic execution tool
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Symbolic execution tool
Examples of Solidity security issues
Directory of security contacts for blockchain companies
Directory of security contacts for blockchain companies
Amarna is a static-analyzer and linter for the Cairo programming language.
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
Visual Studio Code integration for Slither, a Solidity static analysis framework
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Experimental tool to ease the review of smart contracts upgrades
Ethereum Virtual Machine (EVM) disassembler and assembler
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Node module for scanning and visualize Solana accounts
Ethereum smart contract fuzzer
Smart Contract Weakness Classification and Test Cases
Manage and switch between Solidity compiler versions
Simplify Ethereum security analysis and testing
Slither workshop (secureum)
Experimental Echidna Builds
Manage and switch between Solidity compiler versions
Ethereum Security Tool Workshop by TrailOfBits
Manage and switch between Solidity compiler versions
Balancer on the EVM
StarkNet smart contract fuzzer
GitHub Action to run Echidna, the Ethereum smart contract fuzzer
A collection of helpful contracts and libraries for use with Forge and Foundry
evm binary static analysis
CTF Challenges
Modified version of nightfall, based on https://github.com/EYBlockchain/nightfall
Balancer on the EVM
Decentralised exchange core and proxy contracts for supporting high quality pools and index funds.
Balancer on the EVM
Standalone Repo for the Sticker Market Dapp for Status
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
EY Nightfall protocols for private transactions on the Ethereum blockchain using zk-snarks
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
Protocols for private transactions on the Smilo blockchain using zk-snarks
Forge Standard Library is a collection of helpful contracts for use with forge and foundry. It leverages forge's cheatcodes to make writing tests easier and faster, while improving the UX of cheatcodes. For more in-depth usage examples checkout the tests.
Balancer on the EVM
Overview of the formal verification projects in the Ethereum ecosystem.
这是一个对 永安所的隐私交易项目 nightfall 做了中文注释分析
Modification of Nightfall to support tokenisation of Bill of Ladings
Balancer on the EVM
Overview of the formal verification projects in the Ethereum ecosystem.
Balancer on the EVM
─── peer developers
─── ecosystems
─── languages
- Python23
- Solidity22
- JavaScript6
- Shell5
- Dockerfile2
- Haskell2
- Rust1
- TypeScript1
- Go1
- HTML1
─── subscriber view
Unlock the full view of montyly
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.