LayerXcom / verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
☆55Updated 3 years ago
Related projects: ⓘ
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 5 years ago
- ☆50Updated this week
- Trace runtime failures for solidity☆29Updated 5 years ago
- M O N O R E P O☆69Updated last year
- More Minimal Plasma☆45Updated 5 years ago
- ERC721 in Vyper☆40Updated 6 years ago
- OVM specs & contracts☆36Updated last year
- Cordage: the blockchain interoperability project!☆52Updated 11 months ago
- Remix Vyper Plugin☆17Updated 4 years ago
- ☆90Updated this week
- Ethereum plasma implementation☆49Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆98Updated last year
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆47Updated 3 years ago
- Implementation of Minimal Viable Plasma in Vyper☆51Updated 4 years ago
- Ethereum meta-transaction concept☆32Updated 2 years ago
- All In One stateful Plasma-Cash client, browser compatible☆42Updated last year
- protobuf3 compiler plugin for solidity and protobufjs integration support☆27Updated 6 years ago
- Simple bonding curve contract based on bancor formula☆73Updated 5 years ago
- Collection of research papers written within Gnosis☆90Updated 2 years ago
- Misc repo for draft Solidity contracts.☆11Updated 6 years ago
- ☆25Updated 5 years ago
- ☆61Updated 2 years ago
- Random research and simulations☆16Updated 5 years ago
- A force-move protocol implementation☆55Updated last year
- Generate & verify Merkle-Patricia-proofs for Ethereum☆106Updated last year
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆26Updated 5 years ago
- Testnet planning & documentation☆64Updated 5 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 4 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated last year
- Relay Tx Service for Gnosis Safe☆59Updated last year