LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods
Apache License 2.0
55 stars 16 forks source link

FVyper roadmap #5

Open nrryuya opened 5 years ago

nrryuya commented 5 years ago

v0.3

Phase 1

Standards

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

Future work

nrryuya commented 5 years ago
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