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

Circuit constraint refinements to reduce proof size #169

Merged
merged 12 commits into from
Sep 14, 2021
Merged

Circuit constraint refinements to reduce proof size #169

merged 12 commits into from
Sep 14, 2021

Commits on Jul 29, 2021

  1. Add names to some nameless constraints

    @str4d
    str4d committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    16e9076 View commit details
    Browse the repository at this point in the history

  2. circuit: Rotateq_mul_lsb selector up by one row 

    This ensures the "LSB check" gate only queries `cur` and `next` rows.
    @str4d
    str4d committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    0009070 View commit details
    Browse the repository at this point in the history

  3. circuit: Rotate q_commit_ivk selector up by one row 

    This ensures the Commit^ivk gate only queries `cur` and `next` rows.
    @str4d
    str4d committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    2198675 View commit details
    Browse the repository at this point in the history

  4. circuit: Refactor NoteCommit input processing into multiple regions 

    The new regions take up more cells overall, but across fewer columns,
and the gates now only query `cur` and `next` rows.
    @str4d
    str4d committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    6aa85fc View commit details
    Browse the repository at this point in the history

  5. circuit: Add region layout diagrams for y_switch constraint 

    Helps to see why we can't optimise it to remove the `prev` query.
    @str4d
    str4d committed Jul 29, 2021
    Configuration menu
    Copy the full SHA
    9af22a8 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2021

  1. Fix typo in gate documentation 

    Co-authored-by: ying tong <yingtong@z.cash>
    @str4d @therealyingtong
    str4d and therealyingtong committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    ac90014 View commit details
    Browse the repository at this point in the history

  2. clippy: Remove redundant clones 

    Co-authored-by: ying tong <yingtong@z.cash>
    @str4d @therealyingtong
    str4d and therealyingtong committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    bac22d9 View commit details
    Browse the repository at this point in the history

  3. Improve NoteCommit input value gate doc 

    Brings it in line with the other gate docs.

Co-authored-by: ying tong <yingtong@z.cash>
    @str4d @therealyingtong
    str4d and therealyingtong committed Aug 19, 2021
    Configuration menu
    Copy the full SHA
    f2400ba View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2021

  1. cargo fmt 

    Signed-off-by: Daira Hopwood <daira@jacaranda.org>
    @daira
    daira committed Sep 1, 2021
    Configuration menu
    Copy the full SHA
    c24c67d View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2021

  1. note_commit.rs: make two_pow_* definitions more consistent. 

    Signed-off-by: Daira Hopwood <daira@jacaranda.org>
    @daira
    daira committed Sep 6, 2021
    Configuration menu
    Copy the full SHA
    faddaf9 View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review

    @daira
    daira committed Sep 6, 2021
    Configuration menu
    Copy the full SHA
    97e18a8 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2021

  1. Apply suggestions from code review

    @daira
    daira committed Sep 7, 2021
    Configuration menu
    Copy the full SHA
    ee44d2c View commit details
    Browse the repository at this point in the history