Consensys / security-workshop-for-devs
Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
☆70Updated 5 years ago
Alternatives and similar repositories for security-workshop-for-devs:
Users that are interested in security-workshop-for-devs are comparing it to the libraries listed below
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆41Updated 4 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- Collection of articles about the Solidity language and compiler☆64Updated last year
- ☆111Updated 2 years ago
- Simple Solidity contract to mock dependent contracts in truffle tests.☆94Updated 3 years ago
- Smart contract mocking tool☆59Updated 4 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆100Updated 2 years ago
- The information of the Fellowship of Ethereum Magicians☆93Updated 4 years ago
- Bonding Curves For DAOs☆76Updated 3 years ago
- Smart-contracts for continuous organizations☆67Updated this week
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- Ethereum smart contract manager for the Diamond Standard☆41Updated 2 years ago
- Useful sample code for various Ethereum smart contracts☆132Updated 2 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
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated last year
- A simple GUI for compiling and interacting with Vyper contracts.☆43Updated 2 years ago
- 🤘 Radspec is a safe interpreter for Ethereum's NatSpec☆144Updated 7 months ago
- ERC20 wrapper over the Dai Savings Rate☆149Updated 4 years ago
- Relevant Bonding Curve and Token Contracts☆76Updated 6 years ago
- ☆49Updated last year
- A library for oracles on Ethereum☆51Updated 2 years ago
- Generate Solidity Source Code Metrics, Complexity and Risk profile reports for your project.☆49Updated 3 months ago
- A command line interface for the MythX smart contract security analysis API☆89Updated 11 months ago
- Dai Stablecoin System☆122Updated 5 years ago
- ☆34Updated 4 years ago