ConsenSysDiligence / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
☆88Updated 10 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☆107Updated 2 years ago
- MythX smart contract security verification plugin for Truffle Framework☆125Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 2 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆87Updated 6 years ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆110Updated 2 years ago
- Solidity implementation of a delegate proxy☆91Updated 3 years ago
- Example on Solidity and web3.js to store IPFS hash☆99Updated 4 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated last year
- Compound v1 Protocol [Copyright 2018 Compound]☆103Updated 10 months ago
- M O N O R E P O☆69Updated 2 years ago
- An example script finding self-destructs in Eveem sources published on BigQuery☆44Updated last year
- This repository tests the upgradeable proxy pattern.☆52Updated 6 years ago
- 🛡️ Authereum smart contracts☆55Updated 3 years ago
- Proof of concept of basic math operation with Solidity☆56Updated 7 years ago
- 👮🏻🛰 Ethereum identity proxy contract that bounces meta transactions of etherless accounts.☆187Updated 6 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated last year
- Solidity Contract Function Profiler☆82Updated 6 years ago
- A simple tool and library to deploy and manage a Merkle Air-Drop.☆94Updated 6 years ago
- Smart contracts for the Gnosis Protocol v1☆100Updated 2 years ago
- The OasisDEX protocol - Simple on-chain market for ERC20 tokens☆102Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.☆59Updated 4 years ago
- Dai Stablecoin System☆122Updated 5 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 7 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆120Updated 3 years ago
- Fixidity: A fixed point mathematics library for Solidity☆98Updated 2 years ago
- Solidity standard library (Array, random, math, string)☆66Updated 6 years ago
- A Solidity linter written in JS☆32Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago