feat(light-client): Update contract to trusted setup

metacraft-labs · Oct 28, 2024 · fe8688d · fe8688d
1 parent 2f65ced
commit fe8688d
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol b/beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol
@@ -37,10 +37,10 @@ contract Groth16Verifier {
     uint256 constant gammax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
     uint256 constant gammay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
     uint256 constant gammay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
-    uint256 constant deltax1 = 11559732032986387107991004021392285783925812861821192530917403151452391805634;
-    uint256 constant deltax2 = 10857046999023057135944570762232829481370756359578518086990519993285655852781;
-    uint256 constant deltay1 = 4082367875863433681332203403145435568316851327593401208105741076214120093531;
-    uint256 constant deltay2 = 8495653923123431417604973247489272438418190587263600148770280649306958101930;
+    uint256 constant deltax1 = 2343236923834963358037492110423434801285275176030641534786585479610777991492;
+    uint256 constant deltax2 = 7354734418275536777818704753730665460248350105717340249623478132690757632061;
+    uint256 constant deltay1 = 14156031723817663434631995261455976608108837842676842217057543351737739467454;
+    uint256 constant deltay2 = 20646074624478348418892142743169842075310032726102859617297640617605155938039;
 
 
     uint256 constant IC0x = 15885245864077738868080438953982725331851392259561989715709451737775650751499;

diff --git a/beacon-light-client/solidity/extract_proof_and_public_from_redis.sh b/beacon-light-client/solidity/extract_proof_and_public_from_redis.sh
@@ -45,7 +45,7 @@ for key in ${keys}; do
 
     # Use jq to extract pi_a, pi_b, pi_c, and public
     extracted_proof=$(echo "${json_data}" | jq '.proof | {pi_a, pi_b, pi_c}')
-    extracted_public=$(echo "${json_data}" | jq '.public')
+    extracted_public=$(echo "${json_data}" | jq '.proof.public')
 
     # Extract update data from proofInput
     nextHeaderHash_bin=$(echo "${json_data}" | jq -r '.proofInput.nextHeaderHash // empty | map(.) | join("")')

diff --git a/relay/process-compose-scripts/download-zk-and-dat-files.sh b/relay/process-compose-scripts/download-zk-and-dat-files.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-ZKEY_B3SUM_SUM='7bd1baf6e4aa1bb97933df06f68b26f8aa034e6743ff52c4dd7f6097d6e7d104'
+ZKEY_B3SUM_SUM='e5cb635fd494414d599fb22fc132f8ff9ecbc811d7cfc2557b1d8af55165fdad'
 DAT_B3SUM_SUM='c94eb86af7c0451a4277a7bdfc90232a9db75c192d6852ad18baa9a46e1e52e5'
 
 source "${GIT_ROOT}/.env"