feat(protocol): validate instance the old way (#14639)

Co-authored-by: Daniel Wang <99078276+dantaik@users.noreply.github.com>
taikoxyz · Sep 3, 2023 · 8e8601b · 8e8601b
1 parent d44fc39
commit 8e8601b
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 18 deletions.
diff --git a/packages/protocol/contracts/L1/ProofVerifier.sol b/packages/protocol/contracts/L1/ProofVerifier.sol
@@ -42,24 +42,23 @@ contract ProofVerifier is EssentialContract, IProofVerifier {
         if (instance == 0) return;
 
         // Validate the instance using bytes utilities.
-        // TODO(david & yue): we need to fix the code below
-        // if (
-        //     !LibBytesUtils.equal(
-        //         LibBytesUtils.slice(blockProofs, 2, 32),
-        //         bytes.concat(bytes16(0), bytes16(instance))
-        //     )
-        // ) {
-        //     revert L1_INVALID_PROOF();
-        // }
+        if (
+            !LibBytesUtils.equal(
+                LibBytesUtils.slice(blockProofs, 2, 32),
+                bytes.concat(bytes16(0), bytes16(instance))
+            )
+        ) {
+            revert L1_INVALID_PROOF();
+        }
 
-        // if (
-        //     !LibBytesUtils.equal(
-        //         LibBytesUtils.slice(blockProofs, 34, 32),
-        //         bytes.concat(bytes16(0), bytes16(uint128(uint256(instance))))
-        //     )
-        // ) {
-        //     revert L1_INVALID_PROOF();
-        // }
+        if (
+            !LibBytesUtils.equal(
+                LibBytesUtils.slice(blockProofs, 34, 32),
+                bytes.concat(bytes16(0), bytes16(uint128(uint256(instance))))
+            )
+        ) {
+            revert L1_INVALID_PROOF();
+        }
 
         // Extract verifier ID from the proof.
         uint16 verifierId = uint16(bytes2(blockProofs[0:2]));

diff --git a/packages/protocol/test/L1/TaikoL1TestBase.sol b/packages/protocol/test/L1/TaikoL1TestBase.sol
@@ -166,7 +166,6 @@ abstract contract TaikoL1TestBase is TestBase {
         bytes32 instance = LibProving.getInstance(evidence);
         uint16 verifierId = 100;
 
-        // TODO(daniel & yue): we need to fix here
         evidence.proofs = bytes.concat(
             bytes2(verifierId),
             bytes16(0),