ConsenSysDiligence / mythx-playgroundLinks
Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence
☆39Updated 4 years ago
Alternatives and similar repositories for mythx-playground
Users that are interested in mythx-playground are comparing it to the libraries listed below
Sorting:
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- MythX smart contract security verification plugin for Truffle Framework☆127Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- [Not actively maintained] One-line setup for blazing-fast smart contracts tests☆90Updated 4 years ago
- Fork of MetaMask that supports plugins! Read the Wiki!☆141Updated 3 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆60Updated 5 years ago
- A library for oracles on Ethereum☆51Updated 2 years ago
- ERC20 wrapper over the Dai Savings Rate☆148Updated 5 years ago
- Smart contract mocking tool☆59Updated 5 years ago
- Compound v1 Protocol [Copyright 2018 Compound]☆103Updated last year
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51Updated 7 years ago
- 🤘 Radspec is a safe interpreter for Ethereum's NatSpec☆142Updated last year
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated last year
- 👾 A mutation testing tool for Solidity contracts☆47Updated 7 years ago
- This repository tests the upgradeable proxy pattern.☆52Updated 7 years ago
- Solidity Contract Function Profiler☆82Updated 6 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated last year
- Smart contracts for the Gnosis Protocol v1☆100Updated 2 years ago
- Dapp Development framework based on ethers.js☆187Updated 4 years ago
- The information of the Fellowship of Ethereum Magicians☆92Updated 5 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Bonding Curves For DAOs☆76Updated 4 years ago
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆50Updated 2 years ago
- 🛡️ Authereum smart contracts☆56Updated 3 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆111Updated 2 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Updated 4 years ago
- Relevant Bonding Curve and Token Contracts☆77Updated 7 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆86Updated 6 years ago
- CLI for creating and publishing Aragon apps☆91Updated last year
- 🧿 A subjective oracle secured by cryptoeconomics☆113Updated 2 years ago