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

Improve the design of circuit, config, and instances for CycleFold #158

Draft
wants to merge 29 commits into
base: main
Choose a base branch
from
Draft

Improve the design of circuit, config, and instances for CycleFold #158

wants to merge 29 commits into from

Commits on Sep 7, 2024

  1. Parallelize vector and matrix operations

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    aa89847 View commit details
    Browse the repository at this point in the history

  2. Implement convenient methods for NonNativeAffineVar

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    82d472b View commit details
    Browse the repository at this point in the history

  3. Return L_X_evals and intermediate phi_stars from ProtoGalaxy prover. 

    These values will be used as hints to the augmented circuit
    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    73cd5d7 View commit details
    Browse the repository at this point in the history

  4. Correctly use number of variables, number of constraints, and t

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b5c2c47 View commit details
    Browse the repository at this point in the history

  5. Fix the size of F_coeffs and K_coeffs for in-circuit consistency

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    f46430f View commit details
    Browse the repository at this point in the history

  6. Improve prover's performance

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b2b7ae8 View commit details
    Browse the repository at this point in the history

  7. Make prepare_inputs generic

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    972a035 View commit details
    Browse the repository at this point in the history

  8. Remove redundant parameters in verifier

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    4977885 View commit details
    Browse the repository at this point in the history

  9. Move eval_f to arith

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    b6593e7 View commit details
    Browse the repository at this point in the history

  10. u is unnecessary in ProtoGalaxy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0cdcfa3 View commit details
    Browse the repository at this point in the history

  11. Convert RelaxedR1CS to a trait that can be used in both Nova and Pr… 

    …otoGalaxy
    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    ea47553 View commit details
    Browse the repository at this point in the history

  12. Implement several traits for ProtoGalaxy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0a83094 View commit details
    Browse the repository at this point in the history

  13. Move FCircuit impls to utils.rs and add DummyCircuit

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    df191a9 View commit details
    Browse the repository at this point in the history

  14. AugmentedFCircuit and ProtoGalaxy-based IVC

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    cc7b5bc View commit details
    Browse the repository at this point in the history

  15. Add explanations about IVC prover and in-circuit operations

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    03ae498 View commit details
    Browse the repository at this point in the history

  16. Avoid using unstable features

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    243907c View commit details
    Browse the repository at this point in the history

  17. Rename PROTOGALAXY to PG to make clippy happy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3be7683 View commit details
    Browse the repository at this point in the history

  18. Fix merge conflicts in RelaxedR1CS::sample

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    0980f41 View commit details
    Browse the repository at this point in the history

  19. Fix merge conflicts in CycleFoldCircuit

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    c230f0a View commit details
    Browse the repository at this point in the history

  20. Swap m and n for protogalaxy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    1c9257b View commit details
    Browse the repository at this point in the history

  21. Add #[cfg(test)] to test-only util circuits

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    f83054e View commit details
    Browse the repository at this point in the history

  22. Prefer unit struct over empty struct

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    5ee5490 View commit details
    Browse the repository at this point in the history

  23. Add documents to AugmentedFCircuit for ProtoGalaxy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    7f543ab View commit details
    Browse the repository at this point in the history

  24. Fix the names for CycleFold cricuits in ProtoGalaxy

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    3191a92 View commit details
    Browse the repository at this point in the history

  25. Fix usize conversion when targeting wasm

    @winderica
    winderica committed Sep 7, 2024
    Configuration menu
    Copy the full SHA
    eca4849 View commit details
    Browse the repository at this point in the history

Commits on Sep 8, 2024

  1. Restrict the visibility of fields in AugmentedFCircuit to pub(super)

    @winderica
    winderica committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    5483ad0 View commit details
    Browse the repository at this point in the history

  2. Make CycleFold circuits and configs public

    @winderica
    winderica committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    82f473a View commit details
    Browse the repository at this point in the history

  3. Add docs for ProverParams and VerifierParams

    @winderica
    winderica committed Sep 8, 2024
    Configuration menu
    Copy the full SHA
    d779889 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Add CycleFoldCommittedInstanceVar::new_incoming_from_components to … 

    …simplify the construction of incoming CF instances
    @winderica
    winderica committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    bb0dd4f View commit details
    Browse the repository at this point in the history