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:
- More Minimal Plasma☆45Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Trace runtime failures for solidity☆31Updated 6 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Updated 3 years ago
- Ethereum plasma implementation☆49Updated 7 years ago
- M O N O R E P O☆69Updated 2 years ago
- Root chain contracts for Plasma☆116Updated 2 years ago
- All In One stateful Plasma-Cash client, browser compatible☆43Updated 2 years ago
- Ethereum meta-transaction concept☆33Updated 3 years ago
- Golang implementation and extension of the Minimum Viable Plasma specification☆70Updated 3 years ago
- Research documents related to our implementation☆43Updated 6 years ago
- Implementation of Minimal Viable Plasma in Vyper☆52Updated 4 years ago
- OVM specs & contracts☆36Updated 2 years ago
- ☆14Updated 6 years ago
- 💰🕰️📋[EIP 1337 POC] Recurring subscriptions on the Ethereum blockchain powered by meta transactions.☆77Updated 3 years ago
- Remix Vyper Plugin☆18Updated 4 years ago
- Deprecated repo in favour of https://github.com/zeppelinos/zos☆62Updated 6 years ago
- Proof of concept for the contracts implementing TPL☆74Updated 3 years ago
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆48Updated 2 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆103Updated 2 years ago
- Main chain smart contract for Bankex Plasma implementation☆47Updated 7 years ago
- A library for oracles on Ethereum☆51Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- Compile Solidity source code and verify its bytecode matches the blockchain☆89Updated last year
- ☆76Updated 6 years ago
- Cosmos SDK (Tendermint consensus) side-chain implementation for plasma☆112Updated 2 years ago
- ☆64Updated 3 years ago
- JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.☆111Updated last year
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago