LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

FVyper roadmap

nrryuya opened this issue · comments

v0.3

Phase 1

Standards

  • ERC20
    • Impl, Test & FV: DONE
  • ERC721

Basic functions

Phase 2

Basic contracts

Phase 3

Composable widgets

NOTE: "composable widgets" is not fixed yet, see the discussion in gitter

Ref

Phase 4

  • Integration with popular tools and frameworks (e.g. ethPM, truffle, vyper-remix)
  • Develop Vyper stdlib feature

Future work

  • Standards of Plasma and state channels after any standardization progress e.g. “Plasma Prime standard”)
  • S[NT]ARKs contracts
  • Other token standards
  • Built-in functions (docs)
Type Priority Name Impl Test FV
Standards 1 ERC20 DONE DONE Completely verified
  1 ERC721 DONE DONE Partially verified
Basic functions 2 MerkleTree DONE DONE Not yet
  2 ECDSA DONE DONE Not yet
  3 MultiSend      
  3 Array      
Basic contracts 2 Proxy Pending Pending Pending
  3 Executor      
  3 Multi-sig wallet      
  4 Crowd sale      
Composable widgets(New feature) 2 Ownership Pending Pending Pending
  2 Pausable Pending Pending Pending
  3 State machine Pending Pending Pending
  2 ReentrancyGuard Pending Pending Pending

Pending means we need a new feature of Vyper to add it.

spreadsheet