Skip to content

Soundness and completeness of FFA

Latest
Latest
Compare
Choose a tag to compare
@dfirsov dfirsov released this 15 Apr 11:48
· 31 commits to main since this release
sound-and-complete-ffa
57a9141
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

We demonstrate correctness of our approach by proving soundness and completeness of the FFA multiplication gate.

Assets 2
Loading