Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Refactor: fix asymmetries between Nova and SuperNova APIs #993

Merged
merged 1 commit into from
Dec 21, 2023
Merged

Refactor: fix asymmetries between Nova and SuperNova APIs #993

merged 1 commit into from
Dec 21, 2023

Commits on Dec 21, 2023

  1. Refactor: fix asymmetries between Nova and SuperNova APIs 

    * Include the number of steps in the Nova proof type so it can be used for verification

* Remove the need to pass an extra input for `RecursiveSNARKTrait::verify`

* `RecursiveSNARKTrait` no longer needs an arbitrary `ProofOutput` since the index of the last circuit
  is no longer needed for SuperNova proof verification
    @arthurpaulino
    arthurpaulino committed Dec 21, 2023
    Configuration menu
    Copy the full SHA
    d217d43 View commit details
    Browse the repository at this point in the history