Skip to content

Commit 85ae0f6

Browse files
committed
debug: assert digest match
1 parent c57229a commit 85ae0f6

File tree

4 files changed

+7
-4
lines changed

4 files changed

+7
-4
lines changed

contracts/scripts/anvil/state/alignedlayer-deployed-anvil-state.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

contracts/scripts/anvil/state/risc0-deployed-anvil-state.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

contracts/scripts/anvil/state/sp1-deployed-anvil-state.json

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

contracts/src/core/AlignedProofAggregationService.sol

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -82,7 +82,10 @@ contract AlignedProofAggregationService is
8282

8383
// In dev mode, poofs are mocked, so we skip the verification part
8484
if (_isRisc0VerificationEnabled()) {
85-
//bytes32 risc0JournalDigest = sha256(risc0JournalBytes);
85+
bytes32 myDigest = sha256(risc0JournalBytes);
86+
if (myDigest != risc0JournalDigest) {
87+
revert("Digest did not matc");
88+
}
8689
IRiscZeroVerifier(risc0VerifierAddress).verify(risc0ReceiptSeal, risc0ImageId, risc0JournalDigest);
8790
}
8891

0 commit comments

Comments
 (0)