Consensys / bytecode-verifier
Compile Solidity source code and verify its bytecode matches the blockchain
☆86Updated 2 months ago
Related projects: ⓘ
- MythX smart contract security verification plugin for Truffle Framework☆124Updated 2 years ago
- Solidity implementation of a delegate proxy☆92Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- Heiswap Dapp - Mix and Mask your Ethereum Transactions!☆108Updated last year
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated 5 months ago
- This repository tests the upgradeable proxy pattern.☆52Updated 6 years ago
- Compound v1 Protocol [Copyright 2018 Compound]☆103Updated 3 months ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- ☆61Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 4 years ago
- A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum.☆88Updated 5 years ago
- Get a merkle-proof from the blockchain. Verify it locally.☆191Updated 6 months ago
- M O N O R E P O☆69Updated last year
- Exercises to go along with smart contract security workshops by MythX and ConsenSys Diligence☆41Updated 3 years ago
- Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross…☆109Updated 2 years ago
- Framework for cryptoeconomic contract security, decentralized security bounties. Live on Ethereum.☆73Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 5 years ago
- 👮🏻🛰 Ethereum identity proxy contract that bounces meta transactions of etherless accounts.☆187Updated 5 years ago
- Solidity standard library (Array, random, math, string)☆66Updated 6 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
- CLI Tool to List & Store Solidity Smart Contract Methods Attributes☆28Updated 2 years ago
- ☆79Updated this week
- Single Collateral Dai☆162Updated 2 years ago
- 🔍Wireshark dissectors for Ethereum devp2p protocols☆114Updated 2 years ago
- Updatable, unobtrusive Solidity authorization pattern☆138Updated 2 years ago
- Raiden Network Smart Contracts☆52Updated last year
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- Elliptic Curve Implementation in Solidity☆80Updated 6 years ago
- Fixidity: A fixed point mathematics library for Solidity☆99Updated last year
- Example code leveraging a simple one-way payment channel☆34Updated 6 years ago