| OpenZeppelin/openzeppelin-contracts |
23,543 |
|
51 |
2,941 |
about 2 years ago |
81 |
December 08, 2023 |
217 |
mit |
JavaScript |
| OpenZeppelin Contracts is a library for secure smart contract development. |
| trailofbits/manticore |
3,535 |
|
1 |
1 |
over 2 years ago |
1,137 |
December 09, 2023 |
264 |
agpl-3.0 |
Python |
| Symbolic execution tool |
| crytic/echidna |
2,461 |
|
0 |
0 |
about 2 years ago |
1 |
September 07, 2022 |
142 |
agpl-3.0 |
Solidity |
| Ethereum smart contract fuzzer |
| FISCO-BCOS/FISCO-BCOS |
2,245 |
|
0 |
0 |
about 2 years ago |
1 |
October 13, 2023 |
218 |
apache-2.0 |
Shell |
| FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有4000多家企事业单位，300多个行业数字标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications. |
| x676f64/secureum-mind_map |
1,385 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
mit |
Shell |
| Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked. |
| crytic/awesome-ethereum-security |
1,219 |
|
0 |
0 |
almost 3 years ago |
0 |
|
20 |
cc-by-4.0 |
|
| A curated list of awesome Ethereum security references |
| Jon-Becker/heimdall-rs |
982 |
|
0 |
0 |
about 2 years ago |
0 |
|
37 |
mit |
Rust |
| Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts. |
| pcaversaccio/snekmate |
451 |
|
0 |
0 |
about 2 years ago |
5 |
October 13, 2023 |
9 |
agpl-3.0 |
Solidity |
| State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks. |
| harendra-shakya/smart-contract-attack-vectors |
419 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
|
| A curated list of smart contract attack vectors |
| Quillhash/QuillAudit_Auditor_Roadmap |
414 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
|
|
| This repository contains a mindmap and stepwise resource to get started with Smart Contract Auditing. If you find anything missing or want to update existing resources, feel free to create a pull request. |
