LayerXcom / verified-vyper-contracts
FVyper: A collection of useful Vyper contracts developed with formal methods
☆55Updated 3 years ago
Alternatives and similar repositories for verified-vyper-contracts:
Users that are interested in verified-vyper-contracts are comparing it to the libraries listed below
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Implementation of Minimal Viable Plasma in Vyper☆51Updated 4 years ago
- OVM specs & contracts☆36Updated 2 years ago
- ERC721 in Vyper☆42Updated 6 years ago
- Remix Vyper Plugin☆18Updated 4 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆108Updated 2 years ago
- 🛡️ Authereum smart contracts☆55Updated 2 years ago
- Cordage: the blockchain interoperability project!☆52Updated last year
- M O N O R E P O☆69Updated 2 years ago
- protobuf3 compiler plugin for solidity and protobufjs integration support☆27Updated 6 years ago
- More Minimal Plasma☆46Updated 6 years ago
- ☆25Updated 5 years ago
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆47Updated 3 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆99Updated 2 years ago
- Ethereum meta-transaction concept☆32Updated 3 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Trace runtime failures for solidity☆31Updated 5 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- ☆61Updated 2 years ago
- All In One stateful Plasma-Cash client, browser compatible☆42Updated 2 years ago
- Random research and simulations☆16Updated 5 years ago
- A force-move protocol implementation☆55Updated 2 years ago
- This library is deprecated. ethPM python tooling is now located in web3.py☆24Updated 4 years ago
- This is a repo which serves to design and develop the website which contains ETHSecurity resources.☆25Updated 6 years ago
- Automatic market maker with batched buy & sell orders☆32Updated 2 years ago
- Digital Securities (DS) protocol interfaces☆36Updated 2 years ago
- Research documents related to our implementation☆43Updated 6 years ago
- ☆10Updated 5 years ago
- Blocknative Assist widget for blockchain usability☆55Updated 2 years ago