feat: modify/add verifier tests #36
Merged
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
Member
kashishshah
commented
Nov 22, 2023
kashishshah
commented
- Added tests for verifier logic
- Added tests for encoding
cool-develope
approved these changes
Nov 22, 2023
cool-develope
added a commit
that referenced
this pull request
Jan 12, 2024
* snapshot of relevant changes (#24) * snapshot of relevant changes * cleanup triage/verifier interfacing/wrappers * add verifier metadata, update triage contracts/interfaces, introduce verifier hardhat tests, update contracts for new verifier dimensions * snapshot of present state - triage, signature checking/validation updates, lagrangeservice cleanup, test deployment flow * add verifier triage contracts to deploy script * triage evidence proof input * move json files, fix verifier deployment test, snapshot of verifier test state, introduce docs for deployments * checkout relevant updates from scaling branch * add updated deploy addrs, generate-accounts w/ alternate mnemonic and bls private key preservation * verifier triage related refactoring snapshot * slashing single triage - snapshot before refactoring * snapshot of verifier triage before cleanup and scale testing * checkout relevant changes from demo-privnet branch * add new verifier, introduce chainheader hairs instead of bytes, snapshot of stable 56-bit slicing before conversion to 55-bit * snapshot, 55-bit slicing * stable reverse slicing, single slashing triage * snapshot before 55-bit conversion * cleanup slashing single triage * snapshot of updates, verifiers test * update inputs for slashing single triage contract, add earlier bugfixes * update proof/public json, slashing agg 16 * update proof/public in slashing_single, minor makefile cleanup * verifiers tests snapshot * resolve breaking changes from merge * remove circom files * add message to slashing single triage length check * update slashing_single input/proof * snapshot of verifiers.test.js with test updates * snapshot before single/aggregate submission test merger * snapshot of tests before cleanup * minor test cleanup * make format sol/js files * remove redundant makefile commands * update deployment checklist * rollback raw block header field name * remove slashing_single cpp * relocate verifier contracts, add interface * checkout old version of slashing_single verifier * snapshot before reversion for diagnostics * revert evidence field name * breakout common chainheader implementation, initialize single signature verifier address, update tests * move computerouteindex to evidenceverifier * partition evidenceverifier from lagrangeservice * add zk-utils index and math libs * add package-lock.json * refactoring, removal of slashing single triage --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * Verifier deployment fix (#29) * add distributor to deployment flow, fix deploy verifiers script * format relevant non-verifier files --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * Verifier contract updates (#30) * add distributor to deployment flow, fix deploy verifiers script * format relevant non-verifier files * import new agg verfiers from zk circuits repo, update deployment script --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * deploy flow fix (#32) * fix the eigenlayer deployment flow (#33) * fix the eigenlayer deploy * fix tests * add register one operator flow * implement test for verifier 256 (#34) * fix: refactor the evidence verifier (#35) * cleaning * fix test failings * format * feat: modify/add verifier tests (#36) * fix: refactor deployment scripts (#37) * fix test failings * format * deploy scripts * fix tests * fix the deployment script * fix the evidence checking logic (#38) * feat: sync the Eigen core smart contracts updates (#43) * update the lib deps * remappings * refactor the submodule * feat: refactor the deployment script for Eigen updates (#44) * update the lib deps * remappings * refactor the submodule * update the deployment script * create the docker image * l1Blocknumber naming conversion (#45) * fix: clean helper contracts (#46) * clean hermezhelper * clean unnecessray imports * small fix * Add auto tag and create release workflow (#49) --------- Co-authored-by: Michael LeSane <[email protected]> Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> Co-authored-by: Kashish Shah <[email protected]>
cool-develope
added a commit
that referenced
this pull request
Jan 12, 2024
* snapshot of relevant changes (#24) * snapshot of relevant changes * cleanup triage/verifier interfacing/wrappers * add verifier metadata, update triage contracts/interfaces, introduce verifier hardhat tests, update contracts for new verifier dimensions * snapshot of present state - triage, signature checking/validation updates, lagrangeservice cleanup, test deployment flow * add verifier triage contracts to deploy script * triage evidence proof input * move json files, fix verifier deployment test, snapshot of verifier test state, introduce docs for deployments * checkout relevant updates from scaling branch * add updated deploy addrs, generate-accounts w/ alternate mnemonic and bls private key preservation * verifier triage related refactoring snapshot * slashing single triage - snapshot before refactoring * snapshot of verifier triage before cleanup and scale testing * checkout relevant changes from demo-privnet branch * add new verifier, introduce chainheader hairs instead of bytes, snapshot of stable 56-bit slicing before conversion to 55-bit * snapshot, 55-bit slicing * stable reverse slicing, single slashing triage * snapshot before 55-bit conversion * cleanup slashing single triage * snapshot of updates, verifiers test * update inputs for slashing single triage contract, add earlier bugfixes * update proof/public json, slashing agg 16 * update proof/public in slashing_single, minor makefile cleanup * verifiers tests snapshot * resolve breaking changes from merge * remove circom files * add message to slashing single triage length check * update slashing_single input/proof * snapshot of verifiers.test.js with test updates * snapshot before single/aggregate submission test merger * snapshot of tests before cleanup * minor test cleanup * make format sol/js files * remove redundant makefile commands * update deployment checklist * rollback raw block header field name * remove slashing_single cpp * relocate verifier contracts, add interface * checkout old version of slashing_single verifier * snapshot before reversion for diagnostics * revert evidence field name * breakout common chainheader implementation, initialize single signature verifier address, update tests * move computerouteindex to evidenceverifier * partition evidenceverifier from lagrangeservice * add zk-utils index and math libs * add package-lock.json * refactoring, removal of slashing single triage --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * Verifier deployment fix (#29) * add distributor to deployment flow, fix deploy verifiers script * format relevant non-verifier files --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * Verifier contract updates (#30) * add distributor to deployment flow, fix deploy verifiers script * format relevant non-verifier files * import new agg verfiers from zk circuits repo, update deployment script --------- Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> * deploy flow fix (#32) * fix the eigenlayer deployment flow (#33) * fix the eigenlayer deploy * fix tests * add register one operator flow * implement test for verifier 256 (#34) * fix: refactor the evidence verifier (#35) * cleaning * fix test failings * format * feat: modify/add verifier tests (#36) * fix: refactor deployment scripts (#37) * fix test failings * format * deploy scripts * fix tests * fix the deployment script * fix the evidence checking logic (#38) * feat: sync the Eigen core smart contracts updates (#43) * update the lib deps * remappings * refactor the submodule * feat: refactor the deployment script for Eigen updates (#44) * update the lib deps * remappings * refactor the submodule * update the deployment script * create the docker image * l1Blocknumber naming conversion (#45) * fix: clean helper contracts (#46) * clean hermezhelper * clean unnecessray imports * small fix * Add auto tag and create release workflow (#49) * update release workflow --------- Co-authored-by: Michael LeSane <[email protected]> Co-authored-by: root <root@debian-BULLSEYE-live-builder-AMD64> Co-authored-by: Kashish Shah <[email protected]>
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.