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

fix(dsl): Add full recursive verification test #4658

Merged
merged 7 commits into from
Feb 19, 2024
Merged

fix(dsl): Add full recursive verification test #4658

merged 7 commits into from
Feb 19, 2024

Commits on Feb 16, 2024

  1. add full recursive verification test

    @vezenovm
    vezenovm committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    229ab76 View commit details
    Browse the repository at this point in the history

  2. imrpove backend err message with throw_or_abort for agg object size

    @vezenovm
    vezenovm committed Feb 16, 2024
    Configuration menu
    Copy the full SHA
    9765eae View commit details
    Browse the repository at this point in the history

Commits on Feb 19, 2024

  1. account for copy constraints on public inputs after separate proof fr… 

    …om pub inputs in recursion_constraint
    @vezenovm
    vezenovm committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    5f01708 View commit details
    Browse the repository at this point in the history

  2. use prove_and_verify for script

    @vezenovm
    vezenovm committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    8c1b56a View commit details
    Browse the repository at this point in the history

  3. expand comment

    @vezenovm
    vezenovm committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    ddf43d5 View commit details
    Browse the repository at this point in the history

  4. use format method

    @vezenovm
    vezenovm committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    1a99134 View commit details
    Browse the repository at this point in the history

  5. reduce empty line and add back comment

    @vezenovm
    vezenovm committed Feb 19, 2024
    Configuration menu
    Copy the full SHA
    8ff9e5b View commit details
    Browse the repository at this point in the history