fix(docstring): use correct sizes (#74)

Author: prajwolrg

adapters/sp1/groth16-verifier/src/types/constant.rs

@@ -47,7 +47,7 @@ pub(crate) const G2_COMPRESSED_SIZE: usize = FQ_SIZE * 2;
 pub(crate) const G2_UNCOMPRESSED_SIZE: usize = G2_COMPRESSED_SIZE * 2;
 
 // Groth16 Proof size constants
-/// Size of a GNARK-compressed Groth16 proof in bytes (32 + 64 + 64)
+/// Size of a GNARK-compressed Groth16 proof in bytes (32 + 64 + 32)
 pub const GROTH16_PROOF_COMPRESSED_SIZE: usize =
     G1_COMPRESSED_SIZE + G2_COMPRESSED_SIZE + G1_COMPRESSED_SIZE;
 

adapters/sp1/groth16-verifier/src/types/proof.rs

@@ -51,7 +51,7 @@ impl Groth16Proof {
         Ok(Groth16Proof { ar, bs, krs })
     }
 
-    /// Deserialize from GNARK-compressed bytes (160 bytes).
+    /// Deserialize from GNARK-compressed bytes (128 bytes).
     pub fn from_gnark_compressed_bytes(bytes: &[u8]) -> Result<Self, Groth16Error> {
         if bytes.len() != GROTH16_PROOF_COMPRESSED_SIZE {
             return Err(Groth16Error::Serialization(
@@ -75,14 +75,14 @@ impl Groth16Proof {
         Ok(Groth16Proof { ar, bs, krs })
     }
 
-    /// Serialize to GNARK-compressed bytes (160 bytes: 32 + 64 + 64).
+    /// Serialize to GNARK-compressed bytes (128 bytes: 32 + 64 + 32).
     ///
     /// Uses the GNARK compression scheme.
     ///
     /// Layout:
     /// - bytes 0..32:    GNARK-compressed G1 point `A·R`
     /// - bytes 32..96:   GNARK-compressed G2 point `B·S`
-    /// - bytes 96..160:  GNARK-compressed G1 point `K·R·S`
+    /// - bytes 96..128:  GNARK-compressed G1 point `K·R·S`
     ///
     /// Note: This is more compact than GNARK's uncompressed format (256 bytes).
     pub fn to_gnark_compressed_bytes(&self) -> [u8; GROTH16_PROOF_COMPRESSED_SIZE] {