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

Docs: Nexus IVC Prover - Nova + CycleFold #101

Closed
4 of 5 tasks
danielmarinq opened this issue Feb 29, 2024 · 0 comments
Closed
4 of 5 tasks

Docs: Nexus IVC Prover - Nova + CycleFold #101

danielmarinq opened this issue Feb 29, 2024 · 0 comments
Assignees
@tess-eract @JensNexus @michel-nexus
Labels
documentation Improvements or additions to documentation
Milestone
v1

Comments

@danielmarinq
Copy link
Contributor

danielmarinq commented Feb 29, 2024 •
edited by govereau
Loading

A full description of the Nexus IVC Prover

IVC:

  • A description of Nova IVC and CycleFold
  • A comparison of Nexus-Nova vs Microsoft Nova (recursion overhead, benchmarks)
  • Asymptotic and concrete prover and verifier costs
  • A reference link to Microsoft Nova
  • Docs: Benchmark results #137

With relevant diagrams of the IVC chain and how it interleaves with CycleFold and the 2-cycle of curves.
@govereau govereau removed their assignment Feb 29, 2024
@govereau govereau added the documentation Improvements or additions to documentation label Mar 13, 2024
@govereau govereau added this to the v1 milestone Mar 13, 2024
@govereau govereau closed this as completed Apr 2, 2024
@solotop999 solotop999 mentioned this issue Dec 10, 2024
Closed
@Stralis777 Stralis777 mentioned this issue Dec 11, 2024
Closed
sjudson pushed a commit that referenced this issue Feb 5, 2025
@duc-nx @sjudson
Fix pretty print (#101)
56d2d1e 
Summary:

Pretty print print out the fn3 and fn7 information for built in opcode, which should only print for custom compile instruction.

Test Plan:

Co-authored-by: duc-nx <>
sjudson pushed a commit that referenced this issue Feb 12, 2025
@duc-nx @sjudson
Fix pretty print (#101)
fedeb02 
Summary:

Pretty print print out the fn3 and fn7 information for built in opcode, which should only print for custom compile instruction.

Test Plan:

Co-authored-by: duc-nx <>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tess-eract tess-eract

@JensNexus JensNexus

@michel-nexus michel-nexus

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
v1
Development

No branches or pull requests
5 participants
@govereau @tess-eract @danielmarinq @JensNexus @michel-nexus