feat(protocol): update PlonkVerifer (#13741)

taikoxyz · May 13, 2023 · 523f95b · 523f95b
1 parent 497d7ab
commit 523f95b
Show file tree

Hide file tree

Showing 7 changed files with 1,388 additions and 4,311 deletions.
diff --git a/packages/protocol/contracts/L1/libs/LibProving.sol b/packages/protocol/contracts/L1/libs/LibProving.sol
@@ -212,7 +212,15 @@ library LibProving {
 
             (bool verified, bytes memory ret) = resolver
                 .resolve(LibUtils.getVerifierName(evidence.verifierId), false)
-                .staticcall(bytes.concat(instance, evidence.proof));
+                .staticcall(
+                    bytes.concat(
+                        bytes16(0),
+                        bytes16(instance), // left 16 bytes of the given instance
+                        bytes16(0),
+                        bytes16(uint128(uint256(instance))), // right 16 bytes of the given instance
+                        evidence.proof
+                    )
+                );
 
             if (
                 !verified ||