From ca71bd51d374634f70e2008b34407eb1ef6ed0e1 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 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkg/smartcontract/zkpbinding/binding.go b/pkg/smartcontract/zkpbinding/binding.go index 6586e4fb9..b976a0bf1 100644 --- a/pkg/smartcontract/zkpbinding/binding.go +++ b/pkg/smartcontract/zkpbinding/binding.go @@ -107,7 +107,8 @@ 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)