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: add recursive example #4969

Closed
wants to merge 46 commits into from
Closed

chore: add recursive example #4969

wants to merge 46 commits into from

Commits on Apr 5, 2024

  1. Add 'how-to/recursive-proofs/' from commit '6ede541281290dcff86ca37d4… 

    …8bdfa1cd17ef69e'

git-subtree-dir: how-to/recursive-proofs
git-subtree-mainline: ae3bcde966dd2f1f52835ea83086c31f3046d812
git-subtree-split: 6ede541281290dcff86ca37d48bdfa1cd17ef69e
    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    5763e3d View commit details
    Browse the repository at this point in the history

  2. Ignore circuit exports

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    7c2c4cb View commit details
    Browse the repository at this point in the history

  3. add usage instructions

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    5300045 View commit details
    Browse the repository at this point in the history

  4. User intermediate proof in circuit

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    20da2c1 View commit details
    Browse the repository at this point in the history

  5. Test altered proof

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    61e732b View commit details
    Browse the repository at this point in the history

  6. verify outer proof

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    29a714f View commit details
    Browse the repository at this point in the history

  7. Verify two inner proofs (exception)

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    5e036fc View commit details
    Browse the repository at this point in the history

  8. minor updates to recursive howto script (exception)

    @jzaki
    jzaki committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    dfbdbea View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Single recursive function (WIP)

    @jzaki
    jzaki committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    39d20c0 View commit details
    Browse the repository at this point in the history

  2. Revert "Single recursive function (WIP)" 

    This reverts commit 8120d965b61323a56b16b8531cc342fb48d49cee.
    @jzaki
    jzaki committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    f02851a View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Modify for single nested recursion

    @jzaki
    jzaki committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    112f83d View commit details
    Browse the repository at this point in the history

  2. Add verification before failing recursive generation

    @jzaki
    jzaki committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    fad7e64 View commit details
    Browse the repository at this point in the history

  3. fix public input length with hidden size

    @jzaki
    jzaki committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    2ce50c5 View commit details
    Browse the repository at this point in the history

  4. WIP outer proof

    @jzaki
    jzaki committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    d33f7ff View commit details
    Browse the repository at this point in the history

  5. Fix execution errors with outer recursive proof

    @jzaki
    jzaki committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    9c3d5af View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Document recursive verification example

    @jzaki
    jzaki committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    13a9ecf View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Add 'examples/' from commit '13a9ecf375be0b85bdd6cbfc0e93a530b839f5d5' 

    git-subtree-dir: examples
git-subtree-mainline: f7fa696
git-subtree-split: 13a9ecf
    @jzaki
    jzaki committed May 3, 2024
    Configuration menu
    Copy the full SHA
    ba904f4 View commit details
    Browse the repository at this point in the history

  2. Update examples/recursive-proofs/package.json 

    Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
    @jzaki @TomAFrench
    jzaki and TomAFrench authored May 3, 2024
    Configuration menu
    Copy the full SHA
    23e43eb View commit details
    Browse the repository at this point in the history

  3. Update examples/recursive-proofs/package.json 

    Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
    @jzaki @TomAFrench
    jzaki and TomAFrench authored May 3, 2024
    Configuration menu
    Copy the full SHA
    96b8a22 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki committed May 13, 2024
    Configuration menu
    Copy the full SHA
    b8b2a50 View commit details
    Browse the repository at this point in the history

  2. Remove use of codegen

    @jzaki
    jzaki committed May 13, 2024
    Configuration menu
    Copy the full SHA
    0ee3085 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. Update example to match tooling packages (WIP)

    @jzaki
    jzaki committed May 14, 2024
    Configuration menu
    Copy the full SHA
    88cb5a9 View commit details
    Browse the repository at this point in the history

  2. minor clarifications

    @jzaki
    jzaki committed May 14, 2024
    Configuration menu
    Copy the full SHA
    fbd850f View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. Fix indices from removed public param

    @jzaki
    jzaki committed May 16, 2024
    Configuration menu
    Copy the full SHA
    b5805af View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki committed May 21, 2024
    Configuration menu
    Copy the full SHA
    f7b2e74 View commit details
    Browse the repository at this point in the history

  2. Update dir to match bb script example (in AP)

    @jzaki
    jzaki committed May 21, 2024
    Configuration menu
    Copy the full SHA
    e1a6b94 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki committed Jun 12, 2024
    Configuration menu
    Copy the full SHA
    406616c View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Update example recursion js against script (wip)

    @jzaki
    jzaki committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    0b793fc View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    66fb7b5 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Pass through artifacts for passing nested recursion test

    @jzaki
    jzaki committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ab76f35 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. Merge branch 'master' into jz/add-recursive-example

    @TomAFrench
    TomAFrench authored Jul 2, 2024
    Configuration menu
    Copy the full SHA
    cb4283f View commit details
    Browse the repository at this point in the history

  2. chore nits

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

  3. chore: add to CI

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

  4. .

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

  5. chore: remove unnecessary before block

    @TomAFrench
    TomAFrench committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    9a2202d View commit details
    Browse the repository at this point in the history

  6. .

    @TomAFrench
    TomAFrench committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    1ee2315 View commit details
    Browse the repository at this point in the history

Commits on Jul 16, 2024

  1. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    05a2da2 View commit details
    Browse the repository at this point in the history

  2. Consolidate test command

    @jzaki
    jzaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    1a427c4 View commit details
    Browse the repository at this point in the history

  3. Add noir_js and types to test-js workflow

    @jzaki
    jzaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    6d7d53a View commit details
    Browse the repository at this point in the history

  4. Add build of packages to CI js tests

    @jzaki
    jzaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    3c50d5f View commit details
    Browse the repository at this point in the history

  5. Update .github/workflows/test-js-packages.yml 

    Co-authored-by: Tom French <15848336+TomAFrench@users.noreply.github.com>
    @jzaki @TomAFrench
    jzaki and TomAFrench authored Jul 16, 2024
    Configuration menu
    Copy the full SHA
    636b139 View commit details
    Browse the repository at this point in the history

  6. Skip recursive test due like other recursive test

    @jzaki
    jzaki committed Jul 16, 2024
    Configuration menu
    Copy the full SHA
    65ce6f8 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2024

  1. Adding tests around gate boundry benchmarks

    @jzaki
    jzaki committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    ccf5e3a View commit details
    Browse the repository at this point in the history

  2. Enable expected failing test at circuit limit

    @jzaki
    jzaki committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    b7dd587 View commit details
    Browse the repository at this point in the history

  3. Increase recursion test timeout

    @jzaki
    jzaki committed Jul 17, 2024
    Configuration menu
    Copy the full SHA
    20ea3e6 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into jz/add-recursive-example

    @jzaki
    jzaki authored Jul 17, 2024
    Configuration menu
    Copy the full SHA
    55002cd View commit details
    Browse the repository at this point in the history