ConsenSysDiligence / bytecode-verifierLinks
Compile Solidity source code and verify its bytecode matches the blockchain
☆87Updated last year
Alternatives and similar repositories for bytecode-verifier
Users that are interested in bytecode-verifier are comparing it to the libraries listed below
Sorting:
- Get a merkle-proof from the blockchain. Verify it locally.☆195Updated last year
- MythX smart contract security verification plugin for Truffle Framework☆126Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆102Updated 3 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆110Updated 3 years ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆109Updated 3 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆85Updated 6 years ago
- ☆129Updated 7 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- 👮🏻🛰 Ethereum identity proxy contract that bounces meta transactions of etherless accounts.☆186Updated 7 years ago
- Compound v1 Protocol [Copyright 2018 Compound]☆103Updated last year
- Simple multisig for Ethereum using detached signatures☆246Updated 3 years ago
- Solidity implementation of a delegate proxy☆92Updated 3 years ago
- The OasisDEX protocol - Simple on-chain market for ERC20 tokens☆104Updated 3 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆120Updated 4 years ago
- Proof of concept of basic math operation with Solidity☆57Updated 7 years ago
- This repository tests the upgradeable proxy pattern.☆52Updated 7 years ago
- A simple tool and library to deploy and manage a Merkle Air-Drop.☆93Updated 7 years ago
- 🛡️ Authereum smart contracts☆54Updated 3 years ago
- Single Collateral Dai☆165Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 7 years ago
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆39Updated 5 years ago
- Elliptic Curve Implementation in Solidity☆80Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆46Updated 7 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆110Updated last year
- ☆74Updated 5 years ago
- Example project for EthSnarks - Miximus coin mixer☆85Updated 6 years ago
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆96Updated 7 years ago
- A force-move protocol implementation☆55Updated 3 years ago
- Fixidity: A fixed point mathematics library for Solidity☆101Updated 3 years ago
- Seriality is a library for serializing and de-serializing all the Solidity types in a very efficient way which mostly written in solidity…☆155Updated 2 years ago