Consensys / security-workshop-for-devs
Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.
☆70Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for security-workshop-for-devs
- 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 2 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- ☆110Updated last year
- Smart contract mocking tool☆59Updated 4 years ago
- Blocknative Assist widget for blockchain usability☆55Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- Simple bonding curve contract based on bancor formula☆77Updated 5 years ago
- The information of the Fellowship of Ethereum Magicians☆93Updated 4 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 5 years ago
- 🤘 Radspec is a safe interpreter for Ethereum's NatSpec☆141Updated 3 months ago
- Smart-contracts for continuous organizations☆67Updated last week
- A library for oracles on Ethereum☆51Updated last year
- Verify Solidity smart contracts on Etherscan☆30Updated last year
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Relevant Bonding Curve and Token Contracts☆76Updated 6 years ago
- ERC20 merkle proof snapshot. Does not require a server. Gas costs minimal.☆16Updated 5 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Pools DAI, converts it into Compound DAI, and sends interests to a beneficiary. Users putting DAI into the pool receives Pooled cDAI (pcD…☆50Updated last year
- Bonding Curves For DAOs☆76Updated 3 years ago
- Automatic market maker with batched buy & sell orders☆32Updated last year
- This repository tests the upgradeable proxy pattern.☆52Updated 6 years ago
- Compound v1 Protocol [Copyright 2018 Compound]☆104Updated 5 months ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated last year
- A force-move protocol implementation☆55Updated last year