refactor: rename sigma-rs to sigma-proofs.

Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "sigma-rs"
+name = "sigma-proofs"
 version = "0.1.0"
 authors = [
     "Nugzari Uzoevi <[email protected]>",

README.md

@@ -12,7 +12,7 @@ This library provides a flexible framework for creating zero-knowledge proofs fo
 use curve25519_dalek::ristretto::RistrettoPoint;
 use curve25519_dalek::scalar::Scalar;
 use group::Group;
-let mut instance = sigma_rs::LinearRelation::new();
+let mut instance = sigma_proofs::LinearRelation::new();
 let mut rng = rand::thread_rng();
 
 // Define the statement:

examples/schnorr.rs

@@ -11,8 +11,8 @@ use curve25519_dalek::RistrettoPoint;
 use group::Group;
 use rand::rngs::OsRng;
 
-use sigma_rs::errors::Error;
-use sigma_rs::LinearRelation;
+use sigma_proofs::errors::Error;
+use sigma_proofs::LinearRelation;
 
 type ProofResult<T> = Result<T, Error>;
 

examples/simple_composition.rs

@@ -4,7 +4,7 @@ use curve25519_dalek::ristretto::RistrettoPoint;
 use curve25519_dalek::scalar::Scalar;
 use group::Group;
 use rand::rngs::OsRng;
-use sigma_rs::{
+use sigma_proofs::{
     codec::Shake128DuplexSponge,
     composition::{ComposedRelation, ComposedWitness},
     errors::Error,

src/errors.rs

@@ -83,7 +83,7 @@ impl fmt::Display for Error {
 
 pub type Result<T> = core::result::Result<T, Error>;
 
-/// Construct an `Ok` value of type `Result<T, sigma_rs::errors::Error>`.
+/// Construct an `Ok` value of type `Result<T, sigma_proofs::errors::Error>`.
 pub const fn Ok<T>(value: T) -> Result<T> {
     Result::Ok(value)
 }

src/lib.rs

@@ -19,7 +19,7 @@
 //! # use curve25519_dalek::ristretto::RistrettoPoint;
 //! # use curve25519_dalek::scalar::Scalar;
 //! # use group::Group;
-//! let mut instance = sigma_rs::LinearRelation::new();
+//! let mut instance = sigma_proofs::LinearRelation::new();
 //! let mut rng = rand::thread_rng();
 //!
 //! // Define the statement:
@@ -86,5 +86,5 @@ pub mod tests;
 pub use fiat_shamir::Nizk;
 pub use linear_relation::LinearRelation;
 
-#[deprecated = "Use sigma_rs::group::serialization instead"]
+#[deprecated = "Use sigma_proofs::group::serialization instead"]
 pub use group::serialization;

src/linear_relation/canonical.rs

@@ -265,7 +265,7 @@ impl<G: PrimeGroup> CanonicalLinearRelation<G> {
     ///
     /// ```
     /// use hex_literal::hex;
-    /// use sigma_rs::linear_relation::CanonicalLinearRelation;
+    /// use sigma_proofs::linear_relation::CanonicalLinearRelation;
     /// type G = bls12_381::G1Projective;
     ///
     /// let dlog_instance_label = hex!("01000000000000000100000000000000010000009823a3def60a6e07fb25feb35f211ee2cbc9c130c1959514f5df6b5021a2b21a4c973630ec2090c733c1fe791834ce1197f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb");

src/linear_relation/mod.rs

@@ -392,7 +392,7 @@ impl<G: PrimeGroup> LinearRelation<G> {
     ///
     /// # Example
     /// ```
-    /// # use sigma_rs::LinearRelation;
+    /// # use sigma_proofs::LinearRelation;
     /// use curve25519_dalek::RistrettoPoint as G;
     ///
     /// let mut relation = LinearRelation::<G>::new();
@@ -427,7 +427,7 @@ impl<G: PrimeGroup> LinearRelation<G> {
     ///
     /// # Example
     /// ```
-    /// # use sigma_rs::LinearRelation;
+    /// # use sigma_proofs::LinearRelation;
     /// use curve25519_dalek::RistrettoPoint as G;
     ///
     /// let mut relation = LinearRelation::<G>::new();
@@ -531,7 +531,7 @@ impl<G: PrimeGroup> LinearRelation<G> {
     ///
     /// # Example
     /// ```
-    /// # use sigma_rs::{LinearRelation, Nizk};
+    /// # use sigma_proofs::{LinearRelation, Nizk};
     /// # use curve25519_dalek::RistrettoPoint as G;
     /// # use curve25519_dalek::scalar::Scalar;
     /// # use rand::rngs::OsRng;