/F0Verifier

A program that verifies proofs in the F0 proof system

Primary LanguagePython

Stargazers