chore: flip comment

Author: HrikB

src/OpenVmHalo2Verifier.sol

@@ -47,10 +47,10 @@ contract OpenVmHalo2Verifier is Halo2Verifier, IOpenVmHalo2Verifier {
     /// proof[14 * 32..(14 + GUEST_PVS_LENGTH) * 32]: guestPvs[0..GUEST_PVS_LENGTH]
     /// proof[(14 + GUEST_PVS_LENGTH) * 32..]: Guest PVs Suffix
     ///
+    /// @param guestPvs The PVs revealed by the OpenVM guest program.
     /// @param partialProof All components of the proof except the Guest PVs,
     /// leaf and app exe commits. The expected format is:
     /// `abi.encodePacked(kzgAccumulators, proofSuffix)`
-    /// @param guestPvs The PVs revealed by the OpenVM guest program.
     /// @param appExeCommit The commitment to the OpenVM application executable whose execution
     /// is being verified.
     function verify(bytes calldata guestPvs, bytes calldata partialProof, bytes32 appExeCommit) external view {
@@ -89,13 +89,6 @@ contract OpenVmHalo2Verifier is Halo2Verifier, IOpenVmHalo2Verifier {
     /// only memory allocation that occurs in the call frame, we know that the
     /// memory was not written to before.
     ///
-    /// @param guestPvs The PVs revealed by the OpenVM guest program.
-    /// @param partialProof All components of the proof except the Guest PVs,
-    /// leaf and app exe commits. The expected format is:
-    /// `abi.encodePacked(kzgAccumulators, proofSuffix)`
-    /// @param appExeCommit The commitment to the OpenVM application executable
-    /// whose execution is being verified.
-    ///
     /// @return proofPtr Memory pointer to the beginning of the constructed
     /// proof.
     function _constructProof(bytes calldata guestPvs, bytes calldata partialProof, bytes32 appExeCommit)