adding alpha-z comment

Layr-Labs · Aug 15, 2024 · adba288 · adba288
1 parent 71e4491
commit adba288
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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,