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

WIP: Arrabiata/Fiat-Shamir is fun #2720

Draft
wants to merge 23 commits into
base: dw/arrabiata-curve-trait
Choose a base branch
from
Draft

WIP: Arrabiata/Fiat-Shamir is fun #2720

wants to merge 23 commits into from

Commits on Oct 16, 2024

  1. Arrabiata/main: add more future tasks to remind

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7652d7c View commit details
    Browse the repository at this point in the history

  2. Arrabiata/Column: implement column to usize

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    a481621 View commit details
    Browse the repository at this point in the history

  3. Arrabiata/Column: support conversion of public inputs into usize 

    We do suppose evaluations of the public inputs will be given after the witness.
    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    3c2569e View commit details
    Browse the repository at this point in the history

  4. MVPoly: method to compute the cross terms of a list of polynomials

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    f91fa63 View commit details
    Browse the repository at this point in the history

  5. Arrabiata/Constraints: integrate mvpoly to compute cross-terms

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    f26503f View commit details
    Browse the repository at this point in the history

  6. Arrabiata/tests: remove old comment

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    33c8b22 View commit details
    Browse the repository at this point in the history

  7. MVPoly/monomials: improve generation of random generation

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    63437a0 View commit details
    Browse the repository at this point in the history

  8. MVPoly/PBT: remove a flaky test for multilinearity 

    It does depend on maximum degree given in parameter. The probability is not
negligible if 2 is given.
    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    de80dd9 View commit details
    Browse the repository at this point in the history

  9. MVPoly/utils: compute nested loop indices with an upper bound 

    And use it to generate random monomials.
    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    1b900cd View commit details
    Browse the repository at this point in the history

  10. MVPoly/Cross-terms: add PBT

    @dannywillems
    dannywillems committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4b0fd17 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Arrabiata/Witness: implement TODO regarding small check

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    c9bc988 View commit details
    Browse the repository at this point in the history

  2. Arrabiata: introduce the notion of ArrabiataCurve 

    Replicating the idea of KimchiCurve.
    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    9a71cc8 View commit details
    Browse the repository at this point in the history

  3. Arrabiata: instantiate constraints environment with ArrabiataCurve

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    a3591cb View commit details
    Browse the repository at this point in the history

  4. Arrabiata/Constraints: use poseidon params from curve trait

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    a346f6d View commit details
    Browse the repository at this point in the history

  5. Arrabiata/Witness: use curve for poseidon parameters

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    27a26a4 View commit details
    Browse the repository at this point in the history

  6. Arrabiata/Sponge: define PlonkSpongeConstants in curve and use it

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    784af65 View commit details
    Browse the repository at this point in the history

  7. Arrabiata/curve: define SPONGE_CONSTANTS for ArrabiataCurve

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    effddcd View commit details
    Browse the repository at this point in the history

  8. Arrabiata: get rid of the a parameter in the constraints env

    @dannywillems
    dannywillems committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    bc7eeb2 View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. WIP: sponges

    @dannywillems
    dannywillems committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    f64019d View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2024

  1. WIP

    @dannywillems
    dannywillems committed Oct 20, 2024
    Configuration menu
    Copy the full SHA
    1f3ec9f View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. WIP

    @dannywillems
    dannywillems committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    cf6429e View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2024

  1. WIP

    @dannywillems
    dannywillems committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    7d0e898 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. WIP

    @dannywillems
    dannywillems committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    a644dfa View commit details
    Browse the repository at this point in the history