swap proof b vector
invocamanman jesus.ligero@yahoo.es
Wed, 03 Feb 2021 12:18:50 +0100
1 files changed,
3 insertions(+),
2 deletions(-)
jump to
M
coordinator/pipeline.go
→
coordinator/pipeline.go
@@ -425,9 +425,10 @@ // Circuit selector
VerifierIdx: batchInfo.VerifierIdx, L1Batch: batchInfo.L1Batch, ProofA: [2]*big.Int{proof.PiA[0], proof.PiA[1]}, + // Implementation of the verifier need a swap on the proofB vector ProofB: [2][2]*big.Int{ - {proof.PiB[0][0], proof.PiB[0][1]}, - {proof.PiB[1][0], proof.PiB[1][1]}, + {proof.PiB[0][1], proof.PiB[0][0]}, + {proof.PiB[1][1], proof.PiB[1][0]}, }, ProofC: [2]*big.Int{proof.PiC[0], proof.PiC[1]}, }