adding leaf contents check

Layr-Labs · Aug 14, 2024 · 71e4491 · 71e4491
1 parent 1e19130
commit 71e4491
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/osp/OneStepProverHostIo.sol b/src/osp/OneStepProverHostIo.sol
@@ -330,7 +330,7 @@ contract OneStepProverHostIo is IOneStepProver {
                 require(z < BN254.FR_MODULUS, "Z_LARGER_THAN_FIELD");
                 require(y < BN254.FR_MODULUS, "Y_LARGER_THAN_FIELD");
 
-                require((keccak256(kzgProof[224:288]) == bytes32(kzgProof[:32])), "KZG_PROOF_WRONG_HASH");
+                require((keccak256(kzgProof[224:288]) == bytes32(kzgProof[:32])) && (bytes32(kzgProof[:32]) == leafContents), "KZG_PROOF_WRONG_HASH");
 
                 // must be valid proof
                 require(VerifyKzgProofWithG1Equivalence(kzgCommitment, y, proofUint256, z, alphaMinusG2), "INVALID_KZG_PROOF_EIGENDA");