fix(docs): fix documentation warnings.

Author: mmaker

src/lib.rs

@@ -29,7 +29,7 @@
 //! - **[`traits::SigmaProtocol`]**: The fundamental three-move protocol interface
 //! - **[`linear_relation::LinearRelation`]**: Express mathematical relations over groups
 //! - **[`fiat_shamir::NISigmaProtocol`]**: Convert interactive proofs to standalone proofs
-//! - **[`composition::CompositionProof`]**: Combine multiple proofs together
+//! - **[`composition::Protocol`]**: Combine multiple proofs together
 //! - **[`codec`]**: Hash function backends for proof generation
 
 #![allow(non_snake_case)]

src/schnorr_protocol.rs

@@ -1,8 +1,8 @@
-//! Implementation of the generic Schnorr Sigma Protocol over a group `G`.
+//! Implementation of the generic Schnorr Sigma Protocol over a [`Group`].
 //!
 //! This module defines the [`SchnorrProof`] structure, which implements
 //! a Sigma protocol proving different types of discrete logarithm relations (eg. Schnorr, Pedersen's commitments)
-//! through a group morphism abstraction (see Maurer09).
+//! through a group morphism abstraction (see [Maurer09](https://crypto-test.ethz.ch/publications/files/Maurer09.pdf)).
 
 use crate::errors::Error;
 use crate::linear_relation::LinearRelation;
@@ -258,7 +258,7 @@ where
     /// - `response`: The prover's response vector.
     ///
     /// # Returns
-    /// - A vector of group elements representing the recomputed commitment (one per linear constraint).
+    /// - A vector of group elements representing the simulated commitment (one per linear constraint).
     ///
     /// # Errors
     /// - [`Error::ProofSizeMismatch`] if the response length does not match the expected number of scalars.