diff --git a/beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol b/beacon-light-client/solidity/contracts/bridge/src/utils/Verifier.sol index 0f0c5ae4e..8e61417a4 100644 --- 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 index 76321adf8..ea78718ce 100755 --- 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 index 5d2e3072b..9863c32a4 100755 --- 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"