From 8849ccde2524163c943e87bafdbad44ba3a4b816 Mon Sep 17 00:00:00 2001 From: Anna Shaleva Date: Wed, 4 Oct 2023 18:00:28 +0300 Subject: [PATCH] zkpbinding: format formulae in Verifier template Signed-off-by: Anna Shaleva --- pkg/smartcontract/zkpbinding/binding.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkg/smartcontract/zkpbinding/binding.go b/pkg/smartcontract/zkpbinding/binding.go index 254095da89..a8b07b6a68 100644 --- a/pkg/smartcontract/zkpbinding/binding.go +++ b/pkg/smartcontract/zkpbinding/binding.go @@ -107,7 +107,7 @@ var ( // follows the Groth-16 proving system and is taken from the // https://github.com/neo-project/neo/issues/2647#issuecomment-1002893109 without // any changes. Verification process checks the following equality: -// A*B = alpha*beta + sum(pub_input[i]*(beta*u_i(x)+alpha*v_i(x)+w_i(x))/gamma)*gamma + C*delta +// A * B = alpha * beta + sum(pub_input[i] * (beta * u_i(x) + alpha * v_i(x) + w_i(x)) / gamma) * gamma + C * delta func VerifyProof(a []byte, b []byte, c []byte, publicInput [][]byte) bool { alphaPoint := crypto.Bls12381Deserialize(alpha) betaPoint := crypto.Bls12381Deserialize(beta)