rename gadgets, remove unused files

compiler/src/value/field/mod.rs

@@ -4,5 +4,3 @@ pub mod input;
 
 pub mod field_type;
 pub use self::field_type::*;
-
-pub mod to_string;

compiler/src/value/field/to_string.rs

@@ -1,5 +0,0 @@
-// use snarkos_utilities::BigInteger;
-//
-// pub fn format_bigint(int: &BigInteger) -> String {
-//
-// }

gadgets/src/arithmetic/add.rs

@@ -7,7 +7,7 @@ use snarkos_models::{
     },
 };
 
-/// Returns addition of two gadgets in the constraint system
+/// Returns addition of `self` + `other` in the constraint system.
 pub trait Add<F: Field, Rhs = Self>
 where
     Self: std::marker::Sized,

gadgets/src/arithmetic/div.rs

@@ -1,6 +1,6 @@
 use snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
 
-/// Returns division of two gadgets in the constraint system
+/// Returns division of `self` / `other` in the constraint system.
 pub trait Div<F: Field, Rhs = Self>
 where
     Self: std::marker::Sized,

gadgets/src/arithmetic/mul.rs

@@ -1,6 +1,6 @@
 use snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
 
-/// Returns multiplication of two gadgets in the constraint system
+/// Returns multiplication of `self` * `other` in the constraint system.
 pub trait Mul<F: Field, Rhs = Self>
 where
     Self: std::marker::Sized,

gadgets/src/arithmetic/neg.rs

@@ -6,7 +6,7 @@ use snarkos_models::{
     gadgets::{r1cs::ConstraintSystem, utilities::boolean::Boolean},
 };
 
-/// Returns a negated representation of the given signed integer.
+/// Returns a negated representation of `self` in the constraint system.
 pub trait Neg<F: Field>
 where
     Self: std::marker::Sized,

gadgets/src/arithmetic/pow.rs

@@ -1,6 +1,6 @@
 use snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
 
-/// Exponentiation for a signed integer gadget
+/// Returns exponentiation of `self` ** `other` in the constraint system.
 pub trait Pow<F: Field, Rhs = Self>
 where
     Self: std::marker::Sized,

gadgets/src/arithmetic/sub.rs

@@ -1,6 +1,6 @@
 use snarkos_models::{curves::Field, gadgets::r1cs::ConstraintSystem};
 
-/// Subtraction for a signed integer gadget
+/// Returns subtraction of `self` - `other` in the constraint system.
 pub trait Sub<F: Field, Rhs = Self>
 where
     Self: std::marker::Sized,

gadgets/src/big_integer/mod.rs

@@ -1 +0,0 @@
-pub mod to_decimal;

gadgets/src/big_integer/to_decimal.rs

@@ -1 +0,0 @@
-// (12AB655E9A2CA55660B44D1E5C37B00159AA76FED00000010A11800000000000)₁₆ = (1 × 16⁶³) + (2 × 16⁶²) + (10 × 16⁶¹) + (11 × 16⁶⁰) + (6 × 16⁵⁹) + (5 × 16⁵⁸) + (5 × 16⁵⁷) + (14 × 16⁵⁶) + (9 × 16⁵⁵) + (10 × 16⁵⁴) + (2 × 16⁵³) + (12 × 16⁵²) + (10 × 16⁵¹) + (5 × 16⁵⁰) + (5 × 16⁴⁹) + (6 × 16⁴⁸) + (6 × 16⁴⁷) + (0 × 16⁴⁶) + (11 × 16⁴⁵) + (4 × 16⁴⁴) + (4 × 16⁴³) + (13 × 16⁴²) + (1 × 16⁴¹) + (14 × 16⁴⁰) + (5 × 16³⁹) + (12 × 16³⁸) + (3 × 16³⁷) + (7 × 16³⁶) + (11 × 16³⁵) + (0 × 16³⁴) + (0 × 16³³) + (1 × 16³²) + (5 × 16³¹) + (9 × 16³⁰) + (10 × 16²⁹) + (10 × 16²⁸) + (7 × 16²⁷) + (6 × 16²⁶) + (15 × 16²⁵) + (14 × 16²⁴) + (13 × 16²³) + (0 × 16²²) + (0 × 16²¹) + (0 × 16²⁰) + (0 × 16¹⁹) + (0 × 16¹⁸) + (0 × 16¹⁷) + (1 × 16¹⁶) + (0 × 16¹⁵) + (10 × 16¹⁴) + (1 × 16¹³) + (1 × 16¹²) + (8 × 16¹¹) + (0 × 16¹⁰) + (0 × 16⁹) + (0 × 16⁸) + (0 × 16⁷) + (0 × 16⁶) + (0 × 16⁵) + (0 × 16⁴) + (0 × 16³) + (0 × 16²) + (0 × 16¹) + (0 × 16⁰) = (8444461749428370424248824938781546531375899335154063827935233455917409239040)₁₀

gadgets/src/lib.rs

@@ -3,8 +3,6 @@ extern crate thiserror;
 
 pub mod arithmetic;
 
-pub mod big_integer;
-
 pub mod bits;
 
 pub mod errors;