Consensys / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
☆88Updated 9 months ago
Alternatives and similar repositories for bytecode-verifier:
Users that are interested in bytecode-verifier are comparing it to the libraries listed below
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Compound v1 Protocol [Copyright 2018 Compound]☆103Updated 9 months ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆109Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated last year
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- 🛡️ Authereum smart contracts☆55Updated 3 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- Proof of concept of basic math operation with Solidity☆56Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Solidity standard library (Array, random, math, string)☆65Updated 6 years ago
- Trustlessly prove a past storage value in a contract to other contracts☆146Updated 2 years ago
- Solidity implementation of a delegate proxy☆91Updated 3 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆40Updated 4 years ago
- M O N O R E P O☆69Updated 2 years ago
- Example of how to use the CREATE2 opcode released in the Constantinople update for Ethereum☆121Updated 4 years ago
- 👮🏻🛰 Ethereum identity proxy contract that bounces meta transactions of etherless accounts.☆187Updated 6 years ago
- Lightweight Javascript utility for decoding function parameters from Ethereum transactions.☆31Updated last year
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A simple tool and library to deploy and manage a Merkle Air-Drop.☆95Updated 6 years ago
- Single Collateral Dai☆162Updated 3 years ago
- The OasisDEX protocol - Simple on-chain market for ERC20 tokens☆102Updated 2 years ago
- Eth2Dai is a fully on-chain marketplace for Ether and Dai☆48Updated 5 years ago
- CLI Tool to List & Store Solidity Smart Contract Methods Attributes☆31Updated 3 years ago
- The information of the Fellowship of Ethereum Magicians☆92Updated 4 years ago
- Landscape of blockchain-based end-user applications and platforms☆50Updated 6 years ago
- Proof of concept for the contracts implementing TPL☆73Updated 3 years ago
- ☆74Updated 4 years ago