Code

L2 bridges audit#63

Code

Merged

miguelmtzinf merged 5 commits intomasteraave/governance-crosschain-bridges:masterfrom l2-bridges-auditaave/governance-crosschain-bridges:l2-bridges-auditCopy head branch name to clipboardSep 19, 2022

+3,963-2

Commits

Commits on Jul 29, 2022

• Certora Formal Verification for aave L2 bridges (#56)

  Show description for 6898619
  

  MichaelMorami

  and

  Roy-Certora

  authored
  6898619

  Copy full SHA for 6898619

Commits on Sep 13, 2022

• Merge branch 'master' into l2-bridges-audit

  miguelmtzinf

  committed
  2b96b40

  Copy full SHA for 2b96b40

• fix: Update certora scripts

  miguelmtzinf

  committed
  df1b3d1

  Copy full SHA for df1b3d1

• L2 bridges audit - adding CI Integration for Certora's Formal Verification (#61)

  Show description for 53da9a1
  

  3 peopleauthored
  53da9a1

  Copy full SHA for 53da9a1

Commits on Sep 19, 2022

• docs: Add audit report for L2 bridge contracts

  miguelmtzinf

  committed
  db56f29

  Copy full SHA for db56f29