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

chore!: cleanup recursion interface #3528

Merged
merged 18 commits into from
Dec 18, 2023
Merged

chore!: cleanup recursion interface #3528

merged 18 commits into from
Dec 18, 2023

Commits on Dec 3, 2023

  1. add comment about add_recursive_proof being suspicious

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    b4d82ff View commit details
    Browse the repository at this point in the history

  2. create and process input_aggregation object and output_aggregation_ob… 

    …ject while building the circuit
    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    ac146a4 View commit details
    Browse the repository at this point in the history

  3. create_recursion_constraints now takes in the input and nested aggr… 

    …egation object
    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    92e247d View commit details
    Browse the repository at this point in the history

  4. add comment on removing the is_recursive flag

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    f36661d View commit details
    Browse the repository at this point in the history

  5. modify create_recursion_constraints to append the public inputs to … 

    …proof fields
    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    738fb17 View commit details
    Browse the repository at this point in the history

  6. update double_verify_proof program

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    cab6ef6 View commit details
    Browse the repository at this point in the history

  7. update double_verify_proof

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    7a4e9be View commit details
    Browse the repository at this point in the history

  8. fix: set input_aggregation for next iteration

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    7acd611 View commit details
    Browse the repository at this point in the history

  9. fix: remove public inputs from proof

    @kevaundray
    kevaundray committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    a85ba41 View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. set the public input values for the inner circuit in tests

    @kevaundray
    kevaundray committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    c11d812 View commit details
    Browse the repository at this point in the history

  2. fix: remove output aggregation being set as public input twice

    @kevaundray
    kevaundray committed Dec 4, 2023
    Configuration menu
    Copy the full SHA
    c589331 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    40eaf29 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 5, 2023
    Configuration menu
    Copy the full SHA
    19ae424 View commit details
    Browse the repository at this point in the history

Commits on Dec 7, 2023

  1. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 7, 2023
    Configuration menu
    Copy the full SHA
    d0065a3 View commit details
    Browse the repository at this point in the history

Commits on Dec 9, 2023

  1. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 9, 2023
    Configuration menu
    Copy the full SHA
    12baf28 View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2023

  1. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 16, 2023
    Configuration menu
    Copy the full SHA
    50666b8 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Update noir/test_programs/execution_success/double_verify_proof/src/m… 

    …ain.nr

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>
    @kevaundray @vezenovm
    kevaundray and vezenovm authored Dec 18, 2023
    Configuration menu
    Copy the full SHA
    ebcdc29 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into kw/modify-recursion-interface

    @kevaundray
    kevaundray authored Dec 18, 2023
    Configuration menu
    Copy the full SHA
    e8aec35 View commit details
    Browse the repository at this point in the history