Tutorial and Workshops
Tutorial
The Certora Tutorial is a series of guided lessons that covers installation and basic usage of the Certora Prover.
It is available here.
The Tutorial is organized as a series of lessons and exercises. You are encouraged to clone the git repository and work through the exercises yourself.
Examples
A set of examples featuring CVL are available on github.
Stanford DeFi Security Summit
The Stanford DeFi Security Summit, August 2022 is a recorded 2-day workshop that covers basic Prover usage with several hands-on examples. It covers the following topics:
Video |
Slides |
|---|---|
( |
|
( |
|
( |
|
( |
|
( |
|
( |
|
( |
|
( |
|
( |
The covered examples are available in the CVL examples repository.
EthCC Paris
EthCC Paris, July 2022 is an earlier 3-day workshop in a similar style that covers the same material and a few additional topics:
Video |
Notes |
|---|---|
Not covered in Stanford workshop |
|
Not covered in Stanford workshop |
|
Not covered in Stanford workshop |
|
The last day of the workshop was devoted to an extended exercise verifying the version 3 of the Aave Token:
Video |
|---|
Aave Community Day
Aave Community Day, April 2022 is a condensed 3-hour workshop with fewer exercises.