/formal-snarks-project

A formal verification of Linear PCP SNARKs.

Primary LanguageLeanMIT LicenseMIT

Stargazers