soohoio / sooho
Toolbox for auditing and patching vulnerabilities in smart contracts.
☆38Updated last year
Related projects ⓘ
Alternatives and complementary repositories for sooho
- Plasma EVM contracts for Tokamak Network☆21Updated 9 months ago
- A Smart Way to Operate Smart Contracts on EVM Based Blockchains like Ethereum☆85Updated 4 years ago
- Plasma EVM client☆24Updated last year
- 플라즈마 백서 한글번역본(Plasma Whitepaper Korean version)☆34Updated 6 years ago
- Merklux is a framework for general state plasma with economic incentives☆8Updated last year
- ☆15Updated 3 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated last year
- 이더리움 주석 번역 프로젝트☆21Updated 5 years ago
- Website for blockchain-related tools☆44Updated last year
- Istanbul BFT configuration tools☆21Updated last year
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆30Updated last year
- A library for interacting with Ethereum smart contracts based on RxJS streams.☆43Updated last year
- Guide to auditing EVM smart contracts using tools☆22Updated last year
- A program that annotates a vm trace with dataflow information☆35Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- ☆17Updated last year
- Blockchain developed from MediBloc, using Go language.☆57Updated 5 years ago
- ☆16Updated 2 years ago
- The koa is a high-level language that has more expressions than the bitcoin script and is simpler and easy to analyze☆74Updated last year
- ☆11Updated 3 years ago
- Devcon4 Vyper Workshop☆25Updated 3 years ago
- Autocomplete+ provider for Solidity☆9Updated 6 years ago
- Test gas cost of multiple solidity contracts☆9Updated 2 years ago
- Block storage(Blockchain) library that supports custom blocks and transactions☆11Updated 5 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- National Treasure DAO☆18Updated 2 years ago
- Execution environment for managing shard ether☆24Updated 4 years ago
- Papers of smart contract security analysis (and tools)☆35Updated 5 years ago
- CLI Tool to List & Store Solidity Smart Contract Methods Attributes☆30Updated 2 years ago