fix: bootstrap build circuits #108
Closed
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
iAmMichaelConnor
changed the title
spalladino
reviewed
Mar 29, 2023
Co-authored-by: Santiago Palladino <[email protected]>
|
Superseded by #146 |
ludamad
pushed a commit
that referenced
this pull request
Apr 14, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * feat(base): nullifier tree impl (#119) * chore(bb): update branch * feat: impl nullifier logic * fix(base): naming and miscalculations * fix: update subtree sibling path depth constants * fix: more nits --------- Co-authored-by: cheethas <[email protected]> --------- Co-authored-by: dbanks12 <[email protected]> Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: David Banks <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Apr 14, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
added a commit
that referenced
this pull request
Apr 14, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks * better dummy kernel * fix: enable asan, fix bug * cbind for dummy kernel * print cleanup --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]> Co-authored-by: ludamad <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * feat(base): nullifier tree impl (#119) * chore(bb): update branch * feat: impl nullifier logic * fix(base): naming and miscalculations * fix: update subtree sibling path depth constants * fix: more nits --------- Co-authored-by: cheethas <[email protected]> --------- Co-authored-by: dbanks12 <[email protected]> Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: David Banks <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
added a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks * better dummy kernel * fix: enable asan, fix bug * cbind for dummy kernel * print cleanup --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]> Co-authored-by: ludamad <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * feat(base): nullifier tree impl (#119) * chore(bb): update branch * feat: impl nullifier logic * fix(base): naming and miscalculations * fix: update subtree sibling path depth constants * fix: more nits --------- Co-authored-by: cheethas <[email protected]> --------- Co-authored-by: dbanks12 <[email protected]> Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: David Banks <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]>
ludamad
added a commit
that referenced
this pull request
Apr 17, 2023
* add basic contract deployment test for private kernel * chore(base_rollup): scaffold * feat(base_rollup): scaffold * fix(base_rollup): var name changes * feat(base_rollup): historical subtree membership checks * feat(merge_rollup) merge rollup types * clean(merge): clean types and scaffold * refactor(merge): seperate merge and base rollup * fix(base): rename messup * clean(merge): pr review * initial test setup * fix: paths and prints * deleted deps * minor tweaks * fix(merge|base): aggregation object naming issue * fix: change interface of base rollup * fix witness init * fix(ts): update bindings (#108) * refactor(merge): seperate merge and base rollup * initial test setup * fix(ts-bindings): reduce roots to calldatahash * fix: remove prover id * fix: base rollup pub inputs ts tests * remove deps * rm gtest * fix: scuffed rebase * fix: scuffed rebase cont. * fix: update tests --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> * fix(ts): update incorrect constant parity * minor fixes * fix(base): update vk pointer handling (#111) * fix: bb update * fix: update head * fix:(base): remove subtrees from interface (#110) * update inputs and outputs of base per new miro dg * update types and bindings * fix ts bindings for base * update kernel interfaces with sim * fix new kernel interface * fix circuit cbind * Adding tests for base rollup + sha256 (#114) * tests: tiny tests added * fix: insert zero-leaf in contract + use sha256 + change calldata hash -> 2 fields * fix: run tests in ci + remove log * fix: fix tests * fix: fix comments * fix: better comment * private kernel test doing actual proving * feat(base): insert commitments and contracts into end trees (#116) * insert commitments and contracts into end trees * fix merkle membership refactoring * add new root to snapshot * fix per pr comments * update ts constants * fix per pr comments * fixing base rollup test * fix: Update rollup sha256 input + add test with "meaningful" input (#118) * base test cbind fixed * remove old comment * add cbind tests to base rollup * fix unintentional changes * cbind tests for base rollup with some commented out checks * better dummy kernel * fix: enable asan, fix bug * cbind for dummy kernel * print cleanup --------- Co-authored-by: cheethas <[email protected]> Co-authored-by: LHerskind <[email protected]> Co-authored-by: Maddiaa <[email protected]> Co-authored-by: Rahul Kothari <[email protected]> Co-authored-by: Lasse Herskind <[email protected]> Co-authored-by: ludamad <[email protected]>
ludamad
pushed a commit
that referenced
this pull request
Jul 14, 2023
* rebasing after PR 179 parent 71bdb62 author arijitdutta67 <[email protected]> 1675079130 +0000 committer arijitdutta67 <[email protected]> 1676621191 +0000 parent 71bdb62 author arijitdutta67 <[email protected]> 1675079130 +0000 committer arijitdutta67 <[email protected]> 1676621123 +0000 normalize poly test is modified relation tests are modified manual sumcheck round computation working round_univariate all zero, debug wip sumcheck round tests are modified fixing error minor fixes relation tests are modified sumcheck round tests are modified sumcheck test modification (wip) Adrian suggestions are adopted minor fixes debug after rebase (wip) minor fixes changing relation test (wip) relation tests are fixed sumcheck round tests are modified sumcheck tests are added rebase debug (wip) Fixing rebase issue, poly index commenting out relation tests as lambda function can not capture this * fixing rebase bugs and typos * all relation tests are passing except gpc for rand values * fixing bug in the test * minor cleanup
codygunton
pushed a commit
that referenced
this pull request
Jan 23, 2024
* rebasing after PR 179 parent 55e85aa author arijitdutta67 <[email protected]> 1675079130 +0000 committer arijitdutta67 <[email protected]> 1676621191 +0000 parent 55e85aa author arijitdutta67 <[email protected]> 1675079130 +0000 committer arijitdutta67 <[email protected]> 1676621123 +0000 normalize poly test is modified relation tests are modified manual sumcheck round computation working round_univariate all zero, debug wip sumcheck round tests are modified fixing error minor fixes relation tests are modified sumcheck round tests are modified sumcheck test modification (wip) Adrian suggestions are adopted minor fixes debug after rebase (wip) minor fixes changing relation test (wip) relation tests are fixed sumcheck round tests are modified sumcheck tests are added rebase debug (wip) Fixing rebase issue, poly index commenting out relation tests as lambda function can not capture this * fixing rebase bugs and typos * all relation tests are passing except gpc for rand values * fixing bug in the test * minor cleanup
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Bootstrap wasn't checking for the wasm file, so the symlink was silently not pointing to anything, causing the tests to fail.
Checklist: