Certora

gambit

Using mutations to improve specs and test suites

vscode-certora-prover

rust-evm

ERC4626_Workshop

Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023.

ethGatheringBarcelona_worksop

Source code for Certora workshop at ETH Gathering in Barcelona

LiquidityPoolExample

Example Certora verification for a simple multi-contract system

vim-setup

Vim setup for using Certora Verification Language

aave-token-v3

2023-08-cooler

2023-08-dopex

2023-08-shell

aave-governance-v3

Aave Governance V3

aave-proof-of-reserve

Integration with Chainlink's proof of reserve

aave-stk-gov-v3

Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects

aave-stk-v1-5

Next iteration of Aave stk tokens (Safety Module), improving slashing management, cooldown and other technical aspects

aave-v3-core

This repository contains the core smart contracts of the Aave V3 protocol.

aave-verification-projects-TOC

A table of content referring to all the repositories certora has reviewed to some extent related to the Aave ecosystem

anchor

⚓ Solana Sealevel Framework

curve-crypto-contract

Guess what

delegate

englishAuctionWorkshop

gmx-synthetics_all

kinto-core

KYC Of KInto

lido-dao

Lido DAO smart contracts

makerTraining

Dai Stablecoin System

mimic-v3-core

Mimic Core V3

minime

A modern Minime token. Forked from Giveth/minime

optimism-bridge-snt

Creates a bridge of SNT into Optimism

rwa-toolkit

SW Repo; Content Manager: CES-001; MIP21 Toolkit: Equipment for Off-chain Asset Backed Lending in MakerDAO

stake-token