fix(docs)

Author: mmaker

src/errors.rs

@@ -1,6 +1,6 @@
 //! # ProofError: Error Types for Zero-Knowledge Proofs
 //!
-//! This module defines the [`ProofError`] enum, which encapsulates possible errors that may occur
+//! This module defines the [`Error`] enum, which encapsulates possible errors that may occur
 //! during the execution of Sigma protocols or their non-interactive variants.
 //!
 //! These errors include:

src/fiat_shamir.rs

@@ -26,14 +26,14 @@ use rand::{CryptoRng, RngCore};
 /// - `get_challenge`: extracts the challenge from the codec
 ///
 /// # Type Parameters
-/// - `C`: the codec used for the underlying determenitis function.
+/// - `C`: the codec used for encoding/decoding messages to/from the IP space.
 pub trait FiatShamir<C: Codec>: SigmaProtocol {
     fn push_commitment(&self, codec: &mut C, commitment: &Self::Commitment);
 
     fn get_challenge(&self, codec: &mut C) -> Result<Self::Challenge, Error>;
 }
 
-/// Structures implementing this trait must implicitly have one or more underlying [`GroupMorphism`] elements.
+/// Structures implementing this trait must implicitly have an associated linear relation.
 ///
 /// This trait allows the data of the morphisms underlying the structure to be absorbed into a codec.
 pub trait HasGroupMorphism {

src/group_morphism.rs

@@ -146,7 +146,7 @@ impl<G: Group> GroupMap<G> {
 
     /// Get the element value assigned to the given point var.
     ///
-    /// Returns [Error::UninitializedGroupVar] if a value is not assigned.
+    /// Returns [`Error::UnassignedGroupVar`] if a value is not assigned.
     pub fn get(&self, var: GroupVar) -> Result<G, Error> {
         self.0[var.0].ok_or(Error::UnassignedGroupVar { var })
     }