Consensys / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
☆86Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for bytecode-verifier
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- MythX smart contract security verification plugin for Truffle Framework☆124Updated 2 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 8 months ago
- Compound v1 Protocol [Copyright 2018 Compound]☆104Updated 5 months ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- Raiden Network Smart Contracts☆53Updated last year
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 4 years ago
- M O N O R E P O☆69Updated last year
- Solidity implementation of a delegate proxy☆92Updated 2 years ago
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆108Updated last year
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 8 months ago
- Smart contracts for the Gnosis Protocol v1☆98Updated last year
- Example code leveraging a simple one-way payment channel☆34Updated 6 years ago
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- POA <-> Ethereum bridge for self transfers of POA native token to POA20 (ERC20 representation). Not supported. Use TokenBridge instead☆80Updated 2 years ago
- ☆124Updated 6 years ago
- Send Ethereum to Multiple Addresses in one Function☆64Updated 6 years ago
- Command line stats collector for Eth2Stats Ethereum 2 Network Monitor☆32Updated 2 years ago
- ☆74Updated 4 years ago
- This repository tests the upgradeable proxy pattern.☆52Updated 6 years ago
- Dai Stablecoin System☆120Updated 4 years ago
- ☆61Updated 2 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Updated 2 years ago
- Relevant Bonding Curve and Token Contracts☆76Updated 6 years ago
- utilities for Bitcoin SPV proof verification on (many!) other chains☆171Updated last year
- 🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs☆93Updated 6 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- ERC20 wrapper over the Dai Savings Rate☆147Updated 4 years ago
- Eth2Dai is a fully on-chain marketplace for Ether and Dai☆48Updated 5 years ago