chore: Update Plonk contract according to 'e48c01ec' tag of Sphinx

argumentcomputer · Jun 18, 2024 · 72cfd1b · 72cfd1b
1 parent c2d6908
commit 72cfd1b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/aptos/solidity/contracts/src/plonk/PlonkVerifier.sol b/aptos/solidity/contracts/src/plonk/PlonkVerifier.sol
@@ -55,8 +55,8 @@ contract PlonkVerifier {
     uint256 private constant VK_QM_COM_Y = 5345542319716290612762422434959528912635502292626234402933058385633964347549;
     uint256 private constant VK_QO_COM_X = 18014979952384567403919168968189231706227326297377482789091451813310066870667;
     uint256 private constant VK_QO_COM_Y = 3708432301267678677786506706811217632085917639583680393547668223045541307479;
-    uint256 private constant VK_QK_COM_X = 957785607877057913661659123305671740810921873228019553579395036070012099380;
-    uint256 private constant VK_QK_COM_Y = 1821672264312643762123946960551585171783545126512758690400324408416365570300;
+    uint256 private constant VK_QK_COM_X = 1397183743556989746101646706314002138517176079913954974160741396952739184235;
+    uint256 private constant VK_QK_COM_Y = 9324587132558795126558533083169776309056283058741120271473617469690278308628;
 
     uint256 private constant VK_S1_COM_X = 15838704022916757697514152719576664453825928657894015885754578605399919756856;
     uint256 private constant VK_S1_COM_Y = 13387218978462600937448147418911963779105027838559913842027032523066810277894;

diff --git a/aptos/solidity/contracts/src/plonk/SP1Verifier.sol b/aptos/solidity/contracts/src/plonk/SP1Verifier.sol
@@ -24,7 +24,6 @@ contract SP1Verifier is PlonkVerifier {
     /// @param proofBytes The proof of the program execution the SP1 zkVM encoded as bytes.
     function verifyProof(bytes32 vkey, bytes memory publicValues, bytes memory proofBytes) public view {
         bytes32 publicValuesDigest = hashPublicValues(publicValues);
-
         uint256[] memory inputs = new uint256[](2);
         inputs[0] = uint256(vkey);
         inputs[1] = uint256(publicValuesDigest);