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.

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

Adapt preparecalldata #2

Closed
wants to merge 10 commits into from

Conversation

arnaucube
Copy link

My bad, at the previous PR (#1) I've run locally the tests but not the examples, which the GitHub CI revealed that they were failing. This PR updates the method that was causing the error, and adapts the examples to work with the updated version of it.

NiDimi and others added 10 commits September 19, 2024 17:18
Co-Authored-By: Togzhan Barakbayeva <[email protected]>
Co-Authored-By: Ilia Vlasov <[email protected]>
Co-Authored-By: matthew-a-klein <[email protected]>
* refactor NIFSTrait interface to fit Nova variants (Nova,Mova,Ova)

  Refactor NIFSTrait interface to fit Nova variants (Nova,Mova,Ova). The relevant
  change is instead of passing the challenge as input, now it passes the
  transcript and computes the challenges internally (Nova & Ova still compute a
  single challenge, but Mova computes multiple while absorbing at different
  steps).

* port Mova impl to the NIFSTrait

* remove unnecessary wrappers in the nova/zk.rs

* remove Nova NIFS methods that are no longer needed after the refactor

* put together the different NIFS implementations (Nova, Mova, Ova) so
  that they can interchanged at usage.

The idea is that Nova and its variants (Ova & Mova) share most of the
logic for the circuits & IVC & Deciders, so with the abstracted NIFS
interface we will be able to reuse most of the already existing Nova
code for having the Mova & Ova circuits, IVC, and Decider.
Refactor NIFSTrait & port Mova impl to it
@arnaucube arnaucube closed this Oct 22, 2024
@arnaucube
Copy link
Author

(closed this PR bcs it was pointing at the main branch instead of introducing_mova, and didn't found a way to change it)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants