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 PCD Prover - Binary-Tree Parallel Nova + CycleFold #102

Open

3 of 4 tasks

danielmarinq opened this issue Feb 29, 2024 · 0 comments

Open

3 of 4 tasks

Docs: Nexus PCD Prover - Binary-Tree Parallel Nova + CycleFold #102

danielmarinq opened this issue Feb 29, 2024 · 0 comments

Assignees

Labels

Milestone

Contributor

danielmarinq commented Feb 29, 2024 •

edited by govereau

Loading

A full description of the Nexus PCD Prover

PDC:

A description of Binary-Tree Parallel Nova PDC with CycleFold
Recursion overhead and benchmark results
Asymptotic and concrete prover and verifier costs
Links to the code implementation of Parallel Nova

Diagrams of the PCD tree and how it interleaves with CycleFold with the 2-cycle of curves.

danielmarinq assigned govereau, tess-eract, JensNexus and michel-nexus

govereau removed their assignment

govereau added the documentation label

govereau added this to the v1 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment