Skip to content

My contribution to the Certora aave-toke-v3 formal verification project.

License

Notifications You must be signed in to change notification settings

vnmrtz/aave-token-v3

 
 

Repository files navigation

$AAVE V3

Next iteration of the AAVE token, optimized for its usage on the upcoming new iteration of the Aave Governance.

More detailed description and specification HERE

Setup

This repository requires having Foundry installed in the running machine. Instructions on how to do it HERE.

After having installed Foundry:

  1. Add a .env file with properly configured ETH_RPC_URL and FORK_BLOCK, following the example on .env.example
  2. make test to run the simulation tests.

Copyright

2022 BGD Labs

About

My contribution to the Certora aave-toke-v3 formal verification project.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • JavaScript 51.3%
  • Solidity 45.6%
  • Ruby 2.2%
  • Other 0.9%