Skip to content

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

License

Notifications You must be signed in to change notification settings

vyperlang/verified-vyper-contracts

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

FVyper

CircleCI
A collection of useful Vyper contracts developed with formal methods

WARNING: These contracts are not audited and formal verification is WIP. Take care when you use them for production.

Directory structure

The /contracts directory contains vyper contracts we use in formal verification (/k directory) and unit testing ( /tests directory).

The /k directory contains files to do formal verification with K Framework.

The /tests directory contains unit tests.

Progress

See roadmap.

References

This project is based on K Framework and Runtime Verification's works. See their resources for the details of KEVM and background knowledge.

Acknowledgements

FVyper is supported by KEVM and Vyper teams. We’d like to express thanks to them and their great work.

About

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

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 93.4%
  • Makefile 4.6%
  • Shell 1.2%
  • Lua 0.8%