Skip to content

Files

Latest commit

3cb4fbe · Sep 10, 2021

History

History
11 lines (8 loc) · 232 Bytes

README.md

File metadata and controls

11 lines (8 loc) · 232 Bytes

nova-invariants

Formal verification and fuzzing of Nova with DappTools.

Getting Started

git clone https://github.com/Rari-Capital/nova-invariants.git
cd nova-invariants
make