Closed 0xHansLee closed 1 month ago
The recent updates encompass various improvements and adjustments across multiple files. Significant changes include introducing hexutil imports and debug loops in challenger.go
, refining hash values and logic in challenge test data files, and modifying initialization parameters in CommonTest.t.sol
. Furthermore, the version in ZKVerifier.sol
was incremented, and certain internal functions were fine-tuned. These alterations aim to enhance debugging capabilities, ensure precise test data, and align with the latest contract specifications.
File Path | Change Summary |
---|---|
kroma-validator/challenger.go |
Added hexutil import and debug loops in ProveFault function. |
op-e2e/testdata/challenge_test_data.go |
Updated merkleProof slice, parentBeaconRoot , NextHeader fields, and logic in SetPrevOutputResponse and SetTargetOutputResponse functions. |
packages/contracts/contracts/L1/ZKVerifier.sol |
Incremented version to 0.1.5 and adjusted several internal functions. |
packages/contracts/contracts/test/CommonTest.t.sol |
Updated zkVerifierImpl initialization values in Colosseum_Initializer contract. |
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?
In kroma-prover v0.1.5,
PUSH0
is supported which is required to update ZKVerifier contract.