Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
- security-analysis
- ethereum
- blockchain
- smart-contracts
Repository Index
60,121 visible repositories in the index
1–7 of 7 · Most stars
Sharing Updatable Models (SUM) on Blockchain
- blockchain
- ml
- ai
- economics
Algorand Smart Contracts in Python
Python-based EOS smart-contract development & testing framework
- eos
- smart-contracts
- python
- unit-testing
A framework for writing Smart Contracts on Algorand
The application allows you to trade on the outcomes of events, and follow the odds to garner accurate insights about the future. Users buy or sell Voting Shares, which can be redeemed for 1 unit of the stable asset if the outcome is resolved as correct, and become worthless if it’s incorrect.
Unit test your 🐍 smart contracts