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☆40Updated 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
- The information of the Fellowship of Ethereum Magicians☆92Updated 4 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆88Updated 9 months ago
- ☆112Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆107Updated 2 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 6 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago
- 🛡️ Authereum smart contracts☆55Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Smart contract mocking tool☆59Updated 4 years ago
- Useful sample code for various Ethereum smart contracts☆132Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Landscape of blockchain-based end-user applications and platforms☆50Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- 🤘 Radspec is a safe interpreter for Ethereum's NatSpec☆143Updated 8 months 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
- Bonding Curves For DAOs☆76Updated 3 years ago
- ☆50Updated 5 years ago
- Pie balancer smart pool controllers☆55Updated 2 years ago
- Tiramisu is a "Layer Two" system for scalable token transfers that prioritizes simplicity.☆74Updated 2 years ago
- HomeWork is an autonomous utility for finding, sharing and reusing home addresses for contracts.☆124Updated last year
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated last year
- Documentation for the any.sender transaction relaying service☆57Updated 4 years ago
- ERC20 merkle proof snapshot. Does not require a server. Gas costs minimal.☆16Updated 6 years ago
- Updatable, unobtrusive Solidity authorization pattern☆140Updated 2 years ago
- [Not actively maintained] One-line setup for blazing-fast smart contracts tests☆90Updated 3 years ago
- 311 byte EIP712 Signing Compliant Delegate-Call Enabled MultiSignature Wallet for the Ethereum Virtual Machine☆60Updated last year