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

Protogalaxy based IVC #123

Merged
merged 32 commits into from
Sep 12, 2024
Merged

Protogalaxy based IVC #123

merged 32 commits into from
Sep 12, 2024

Commits on Sep 12, 2024

  1. Parallelize vector and matrix operations

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

  2. Implement convenient methods for NonNativeAffineVar

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    9f9d5f8 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 12, 2024
    Configuration menu
    Copy the full SHA
    9b8edc7 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 12, 2024
    Configuration menu
    Copy the full SHA
    e7858d9 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 12, 2024
    Configuration menu
    Copy the full SHA
    fcba338 View commit details
    Browse the repository at this point in the history

  6. Improve prover's performance

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

  7. Make prepare_inputs generic

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

  8. Remove redundant parameters in verifier

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

  9. Move eval_f to arith

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

  10. u is unnecessary in ProtoGalaxy

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    c936b2f 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 12, 2024
    Configuration menu
    Copy the full SHA
    92ed264 View commit details
    Browse the repository at this point in the history

  12. Implement several traits for ProtoGalaxy

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    29e9641 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 12, 2024
    Configuration menu
    Copy the full SHA
    5bb3231 View commit details
    Browse the repository at this point in the history

  14. AugmentedFCircuit and ProtoGalaxy-based IVC

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    6e5d5e6 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 12, 2024
    Configuration menu
    Copy the full SHA
    0945a58 View commit details
    Browse the repository at this point in the history

  16. Avoid using unstable features

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    05712a4 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 12, 2024
    Configuration menu
    Copy the full SHA
    963234c View commit details
    Browse the repository at this point in the history

  18. Fix merge conflicts in RelaxedR1CS::sample

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

  19. Fix merge conflicts in CycleFoldCircuit

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

  20. Swap m and n for protogalaxy

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    b01a789 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 12, 2024
    Configuration menu
    Copy the full SHA
    6c4b1eb View commit details
    Browse the repository at this point in the history

  22. Prefer unit struct over empty struct

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

  23. Add documents to AugmentedFCircuit for ProtoGalaxy

    @winderica
    winderica committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    f79fcba 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 12, 2024
    Configuration menu
    Copy the full SHA
    0ab0332 View commit details
    Browse the repository at this point in the history

  25. Fix usize conversion when targeting wasm

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

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

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

  27. Make CycleFold circuits and configs public

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

  28. Add docs for ProverParams and VerifierParams

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

  29. Refactor pow_i

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

  30. Fix imports

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

  31. Remove lint reasons

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

  32. Fix type inference

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