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

feat: update honk ultra_recursive_verifier to do aggregation #7582

Merged
merged 43 commits into from
Aug 13, 2024
Merged

feat: update honk ultra_recursive_verifier to do aggregation #7582

merged 43 commits into from
Aug 13, 2024

Commits on Jul 12, 2024

  1. honk recursion constraint tests in dsl_tests pass

    @lucasxia01
    lucasxia01 committed Jul 12, 2024
    Configuration menu
    Copy the full SHA
    d024c54 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2024

  1. fix verify_honk_proof inputs to take in agg obj

    @lucasxia01
    lucasxia01 committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    8a2a33e View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into lx/reinstate-aggregation

    @lucasxia01
    lucasxia01 authored Jul 15, 2024
    Configuration menu
    Copy the full SHA
    47d2806 View commit details
    Browse the repository at this point in the history

  3. change to 409 in rollup, renable agg obj in a couple ts files

    @lucasxia01
    lucasxia01 committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    83cfed3 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'lx/reinstate-aggregation' of github.com:AztecProtocol/a… 

    …ztec-packages into lx/reinstate-aggregation
    @lucasxia01
    lucasxia01 committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    dd7daea View commit details
    Browse the repository at this point in the history

  5. forgot to fix the tube function

    @lucasxia01
    lucasxia01 committed Jul 15, 2024
    Configuration menu
    Copy the full SHA
    ae4ccd7 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2024

  1. bb prover fix

    @lucasxia01
    lucasxia01 committed Jul 18, 2024
    Configuration menu
    Copy the full SHA
    2153d8b View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2024

  1. added fake agg obj to tube circuit to pass full test

    @lucasxia01
    lucasxia01 committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    f67f529 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. initialize interface change

    @lucasxia01
    lucasxia01 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    ab0b2bb View commit details
    Browse the repository at this point in the history

  2. updated function interfaces, bb compilies

    @lucasxia01
    lucasxia01 committed Jul 23, 2024
    Configuration menu
    Copy the full SHA
    c3be434 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2024

  1. remove public_inputs and proof_witness_indices fields of aggregation_… 

    …state_ct to see their use (pretty much none)
    @lucasxia01
    lucasxia01 committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    010062b View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2024

  1. Merge remote-tracking branch 'origin/master' into lx/update-honk-agg-… 

    …obj-handling
    @lucasxia01
    lucasxia01 committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    25df38f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into lx/update-honk-agg-… 

    …obj-handling
    @lucasxia01
    lucasxia01 committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    e1116ce View commit details
    Browse the repository at this point in the history

  3. fix weird merge changes

    @lucasxia01
    lucasxia01 committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    ea47e7a View commit details
    Browse the repository at this point in the history

  4. redo something merge erased

    @lucasxia01
    lucasxia01 committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    2c07750 View commit details
    Browse the repository at this point in the history

  5. fix write_vk flow to have default agg obj for dummy key

    @lucasxia01
    lucasxia01 committed Jul 29, 2024
    Configuration menu
    Copy the full SHA
    ff25f3c View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2024

  1. do aggregation in ultra_recursive_verifier

    @lucasxia01
    lucasxia01 committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    70c414d View commit details
    Browse the repository at this point in the history

  2. enabling/refactoring honk_recursion_constraint to use agg objs

    @lucasxia01
    lucasxia01 committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    f074801 View commit details
    Browse the repository at this point in the history

  3. fixed write_vk flow to correctly set the vk recursive_proof_public_in… 

    …put_indices and the agg obj in public inputs
    @lucasxia01
    lucasxia01 committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    603ecd1 View commit details
    Browse the repository at this point in the history

  4. refactor to use shared functionality in aggregation_state.hpp

    @lucasxia01
    lucasxia01 committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    11231d3 View commit details
    Browse the repository at this point in the history

  5. update tests to pass in a default or handle an agg obj

    @lucasxia01
    lucasxia01 committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    20f254f View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2024

  1. added a normalize call and fixed constructing a biggroup in aggregati… 

    …on_state
    @lucasxia01
    lucasxia01 committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    5c626b1 View commit details
    Browse the repository at this point in the history

  2. just wildly add aggregation objects everywhere

    @lucasxia01
    lucasxia01 committed Jul 31, 2024
    Configuration menu
    Copy the full SHA
    4f2a80b View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2024

  1. add simulator function to agg state

    @lucasxia01
    lucasxia01 committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    6ce1558 View commit details
    Browse the repository at this point in the history

  2. try increasing some client ivc gate numbers

    @lucasxia01
    lucasxia01 committed Aug 1, 2024
    Configuration menu
    Copy the full SHA
    674bcca View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2024

  1. clean up PR

    @lucasxia01
    lucasxia01 committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    9c4e62b View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2024

  1. fix tests

    @lucasxia01
    lucasxia01 committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    553fb2d View commit details
    Browse the repository at this point in the history

  2. fixed problems?

    @lucasxia01
    lucasxia01 committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    aed087e View commit details
    Browse the repository at this point in the history

  3. try reverting change to ultra rec verifier

    @lucasxia01
    lucasxia01 committed Aug 7, 2024
    Configuration menu
    Copy the full SHA
    5b9920f View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2024

  1. undo moving add_recursive_proof change

    @lucasxia01
    lucasxia01 committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    02e17ac View commit details
    Browse the repository at this point in the history

  2. oops, fix to previous commit

    @lucasxia01
    lucasxia01 committed Aug 8, 2024
    Configuration menu
    Copy the full SHA
    3305c90 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2024

  1. try running CI with debug statements

    @lucasxia01
    lucasxia01 committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    32a11ac View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2024

  1. try a fix for prove_tube (there's two agg objs)

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    3ff3fb2 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into lx/update-honk-agg-… 

    …obj-handling
    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    e9479a5 View commit details
    Browse the repository at this point in the history

  3. add agg obj to aztec ivc

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    fe46e5f View commit details
    Browse the repository at this point in the history

  4. remove extra agg object in client ivc test

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    cea4738 View commit details
    Browse the repository at this point in the history

  5. just throw an error when you try to add multiple agg objs

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    156aba5 View commit details
    Browse the repository at this point in the history

  6. refactor honk recursion constraint (moved dummy stuff to a function)

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    4c50c74 View commit details
    Browse the repository at this point in the history

  7. added assert_is_in_field to agg_obj function to properly constrain it

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    45f0329 View commit details
    Browse the repository at this point in the history

  8. undo full test change

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    37c8392 View commit details
    Browse the repository at this point in the history

  9. removing some print statements DISABLE_CI

    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    9245975 View commit details
    Browse the repository at this point in the history

  10. Merge remote-tracking branch 'origin/master' into lx/update-honk-agg-… 

    …obj-handling
    @lucasxia01
    lucasxia01 committed Aug 12, 2024
    Configuration menu
    Copy the full SHA
    e9035dd View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. remove throw error and replace with assert

    @lucasxia01
    lucasxia01 committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    eeda4a1 View commit details
    Browse the repository at this point in the history