formal-snarks-project
formal-snarks-project copied to clipboard
A formal verification of Linear PCP SNARKs.