LayerXcom / verified-vyper-contractsLinks
FVyper: A collection of useful Vyper contracts developed with formal methods
☆56Updated 4 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
Sorting:
- Implementation of Minimal Viable Plasma in Vyper☆52Updated 4 years ago
- Remix Vyper Plugin☆18Updated 4 years ago
- OVM specs & contracts☆36Updated 2 years ago
- M O N O R E P O☆69Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Trace runtime failures for solidity☆31Updated 6 years ago
- ERC721 in Vyper☆44Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆103Updated 2 years ago
- More Minimal Plasma☆45Updated 6 years ago
- An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications☆47Updated 4 years ago
- 🛡️ Authereum smart contracts☆55Updated 3 years ago
- protobuf3 compiler plugin for solidity and protobufjs integration support☆27Updated 6 years ago
- Generate & verify Merkle-Patricia-proofs for Ethereum☆109Updated 2 years ago
- 🦄🐷☆39Updated 3 years ago
- Digital Securities (DS) protocol interfaces☆37Updated 2 years ago
- Cordage: the blockchain interoperability project!☆53Updated last year
- Ethereum meta-transaction concept☆33Updated 3 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 5 years ago
- Relay Tx Service for Gnosis Safe☆59Updated last year
- Ethereum plasma implementation☆49Updated 7 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- This library is deprecated. ethPM python tooling is now located in web3.py☆24Updated 4 years ago
- Random research and simulations☆16Updated 6 years ago
- ZCash like private DAI transactions on ethereum using ZkSnarks. MakerDAO API prize winner.☆52Updated 6 years ago
- Relevant Bonding Curve and Token Contracts☆77Updated 6 years ago
- This repository tests the upgradeable proxy pattern.☆52Updated 6 years ago
- A minimal meta-transaction library. It supports proxy accounts & the msgSender() solution.☆45Updated last year
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Updated 6 years ago
- 💰🕰️📋[EIP 1337 POC] Recurring subscriptions on the Ethereum blockchain powered by meta transactions.☆77Updated 3 years ago