vietlq / smart-contract-auditView external linksLinks
Guide to auditing EVM smart contracts using tools
☆22Apr 2, 2023Updated 2 years ago
Alternatives and similar repositories for smart-contract-audit
Users that are interested in smart-contract-audit are comparing it to the libraries listed below
Sorting:
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- Liquidity manager for Uniswap V3 where a GEB stable asset is part of a pair☆16Jul 12, 2021Updated 4 years ago
- Smart contract auditing assistant tool for Truffle Framework.☆17Dec 9, 2022Updated 3 years ago
- One consensus test generator☆11Dec 8, 2018Updated 7 years ago
- Decentralized Domain Name System (DDNS) on the Ethereum blockchain. The project utilizes a set of Solidity smart contracts in order to pr…☆20Dec 9, 2022Updated 3 years ago
- Ethereum disassembler. Binary bytecode -> Opcodes☆15Jul 16, 2023Updated 2 years ago
- Complete examples of solidity exploits☆13Oct 17, 2017Updated 8 years ago
- Yearn Vault wrapper for Lido St. Ether☆27Dec 25, 2020Updated 5 years ago
- Presentations about R1CS☆18May 1, 2019Updated 6 years ago
- A libsnark's tutorial on sudoku☆17Nov 8, 2018Updated 7 years ago
- Profile Solidity gas consumption line-wise.☆23Jun 1, 2021Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆25Apr 10, 2023Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Jan 22, 2023Updated 3 years ago
- SolidityCheck is a static code problem detection tool based on regular expressions and program instrumentation, which is developed for Et…☆24Jun 28, 2021Updated 4 years ago
- Create sites with base44 and use as standalone☆17Jan 18, 2026Updated 3 weeks ago
- EVM ByteCode To Opcode Disassembler☆62Nov 11, 2024Updated last year
- TRACER Symbolic Execution Tool☆28Jun 16, 2020Updated 5 years ago
- A quick online tool to abi-encode and abi-decode constructor arguments used in ethereum's solidity. https://adibas03.github.io/online-eth…☆56Jan 22, 2025Updated last year
- Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited☆25Oct 31, 2020Updated 5 years ago
- A curated list of resources and tools for the MythX smart contract security API☆254Jun 15, 2020Updated 5 years ago
- Semantics of Solidity in K☆29Oct 11, 2019Updated 6 years ago
- An Exploit on the AAVE v2 Contract Vulnerability☆29Mar 11, 2021Updated 4 years ago
- ☆10Sep 2, 2021Updated 4 years ago
- White-box analytic framework based on LLVM☆39Jun 10, 2019Updated 6 years ago
- EVM Bytecode Super Optimizer☆36Jan 3, 2021Updated 5 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- XYFI Swap Contract Source Code☆10Nov 11, 2020Updated 5 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- This repository contains the RAW results of the vulnerability analysis of 9 tools on 47,587 smart contracts. These results are presented …☆78Jul 24, 2020Updated 5 years ago
- Ethereum scaling diagram☆38Mar 29, 2021Updated 4 years ago
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆88Jan 5, 2024Updated 2 years ago
- JiuZhou is a data set of Ethereum bug smart contracts (ICSME 2020).☆232Nov 11, 2020Updated 5 years ago
- ☆11Jul 21, 2023Updated 2 years ago
- Download, install, and set up the Double Key Encryption service for Microsoft 365.☆16Jan 27, 2025Updated last year
- 文件上传，图片上传(后缀名验证，文件类型验证)，大文件分片上传，“秒传”，断点续传，传输失败自动重试，手动重试☆10Apr 14, 2018Updated 7 years ago
- A compatibility guide for Bitcoin wallets☆11Mar 28, 2023Updated 2 years ago
- CrawlAI is a project where the developers can get a hands-on experience with genetic algorithms and neural network. The objection is to l…☆15Nov 14, 2024Updated last year
- ☆12Jun 17, 2017Updated 8 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago