Issues

• [ECDSA] Add toEthSignedMessageHash

  enhancement
  LayerXcom/verified-vyper-contracts#82 · Filter by author nrryuya opened on Jan 28, 2019
  1

• [RSA Accumulator] Use Fermat Primality Test for verifying prime number

  Prioritized
  LayerXcom/verified-vyper-contracts#73 · Filter by author hskang9 opened on Jan 21, 2019
  3

• [RSA Accumulator] Reduce code size

  Prioritized
  LayerXcom/verified-vyper-contracts#71 · Filter by author nrryuya opened on Jan 6, 2019

• Beta release

  Prioritized
  LayerXcom/verified-vyper-contracts#69 · Filter by author nrryuya opened on Jan 3, 2019

• [MerkleTree] Other implementations

  enhancement
  LayerXcom/verified-vyper-contracts#66 · Filter by author nrryuya opened on Dec 31, 2018
  4

• [K] Use CONSTANTINOPLE

  bugPending
  LayerXcom/verified-vyper-contracts#63 · Filter by author nrryuya opened on Dec 26, 2018

• [ERC721] Spec transferFrom don't pass

  Prioritized
  LayerXcom/verified-vyper-contracts#62 · Filter by author nrryuya opened on Dec 26, 2018

• [Multisig] Implement multisig wallet

  Prioritized
  LayerXcom/verified-vyper-contracts#56 · Filter by author nrryuya opened on Dec 13, 2018
  1

  

• [Proxy] Implement proxy contract

  PendingPrioritized
  LayerXcom/verified-vyper-contracts#55 · Filter by author nrryuya opened on Dec 13, 2018
  7

  

• [K] kprove depends on Python version?

  bug
  LayerXcom/verified-vyper-contracts#45 · Filter by author nrryuya opened on Dec 4, 2018
  2

• Post VIP: composable widgets

  LayerXcom/verified-vyper-contracts#38 · Filter by author nrryuya opened on Nov 28, 2018
  

• [ERC721] gas bench mark

  enhancement
  LayerXcom/verified-vyper-contracts#33 · Filter by author nrryuya opened on Nov 28, 2018

• Add script to compile Vyper code and add bytecode to .ini spec file

  enhancement
  LayerXcom/verified-vyper-contracts#30 · Filter by author nrryuya opened on Nov 23, 2018

• [ERC721] Prohibit approve to zero address?

  question
  LayerXcom/verified-vyper-contracts#27 · Filter by author nrryuya opened on Nov 23, 2018

• [ERC721] Double SSTORE because of _removeTokenFrom in transfer

  enhancement
  LayerXcom/verified-vyper-contracts#25 · Filter by author nrryuya opened on Nov 23, 2018

• [ERC721] Formal verification

  Prioritized
  LayerXcom/verified-vyper-contracts#19 · Filter by author nrryuya opened on Nov 21, 2018

• [ERC721] Deploy to mainnet and testnet

  LayerXcom/verified-vyper-contracts#11 · Filter by author fulldecent opened on Nov 21, 2018

• FVyper roadmap

  LayerXcom/verified-vyper-contracts#5 · Filter by author nrryuya opened on Nov 14, 2018
  1

• [K] Update KEVM modified in #hashedLocation of Vyper

  Pending
  LayerXcom/verified-vyper-contracts#4 · Filter by author nrryuya opened on Nov 14, 2018