From adba2889d691d90b72412ed060f8f8994d44a12c Mon Sep 17 00:00:00 2001 From: anupsv Date: Thu, 15 Aug 2024 11:22:02 -0700 Subject: [PATCH] adding alpha-z comment --- src/osp/OneStepProverHostIo.sol | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/osp/OneStepProverHostIo.sol b/src/osp/OneStepProverHostIo.sol index 56329e56..cf6ca2e2 100644 --- a/src/osp/OneStepProverHostIo.sol +++ b/src/osp/OneStepProverHostIo.sol @@ -47,7 +47,8 @@ contract OneStepProverHostIo is IOneStepProver { return uint256(hash) % BN254.FR_MODULUS; } - // e((P - y) + gamma . (alpha - z), G2) = e((Q + gamma), (alpha - z)) + // e((P - y) + gamma . (alpha - z), G2) = e((Q + gamma), (alpha - z)) + // The last term, i.e (alpha - z) is passed into the contract. function VerifyKzgProofWithG1Equivalence( uint256[2] memory commitment, uint256 y,