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

Onchain decider circuit for Protogalaxy #145

Merged
merged 17 commits into from
Nov 4, 2024
Merged

Onchain decider circuit for Protogalaxy #145

merged 17 commits into from
Nov 4, 2024

Commits on Oct 23, 2024

  1. Move r1cs and ccs to standalone folders

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    320f8d2 View commit details
    Browse the repository at this point in the history

  2. Simplify type bounds of SparseMatrixVar

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    0bf3285 View commit details
    Browse the repository at this point in the history

  3. Implement EquivalenceGadget trait for FpVar and NonNativeUintVar. 

    Together with the existing `MatrixGadget` and `VectorGadget`, we can now use the same logic for checking R1CS satisfiability of `R1CSVar` both natively and non-natively.
    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    191c7a2 View commit details
    Browse the repository at this point in the history

  4. Simplify trait bounds

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    f9d2c69 View commit details
    Browse the repository at this point in the history

  5. Implement ArithGadget for R1CSMatricesVar and CCSMatricesVar

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    6018447 View commit details
    Browse the repository at this point in the history

  6. PedersenGadget::commit now takes slices as input

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    b11300a View commit details
    Browse the repository at this point in the history

  7. Structs for proofs and auxiliary values in protogalaxy

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    dc8b40f View commit details
    Browse the repository at this point in the history

  8. u in LCCCS should be z[0]

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    ef50c66 View commit details
    Browse the repository at this point in the history

  9. Inputize trait

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    aea317c View commit details
    Browse the repository at this point in the history

  10. Generic decider circuits

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    ee0c4b4 View commit details
    Browse the repository at this point in the history

  11. Verifier should check the commitments in committed instances

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    b3859f8 View commit details
    Browse the repository at this point in the history

  12. Update the comments according to the new docs

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    fce659a View commit details
    Browse the repository at this point in the history

  13. Fix examples

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    8065e7b View commit details
    Browse the repository at this point in the history

  14. Add DeciderEnabledNIFS::fold_group_elements_native to wrap code for… 

    … folding commitments
    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    0c701f1 View commit details
    Browse the repository at this point in the history

  15. Fix incorrect endian

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    96b09af View commit details
    Browse the repository at this point in the history

  16. Format

    @winderica
    winderica committed Oct 23, 2024
    Configuration menu
    Copy the full SHA
    74a08d5 View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. Get rid of unwrap when possible

    @winderica
    winderica committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    5c6e3c5 View commit details
    Browse the repository at this point in the history