update version (#324)

Cargo.toml

@@ -9,7 +9,7 @@ readme = "README.md"
 repository = "https://github.com/Microsoft/Nova"
 license-file = "LICENSE"
 keywords = ["zkSNARKs", "cryptography", "proofs"]
-rust-version="1.67.1"
+rust-version="1.79.0"
 
 [dependencies]
 bellpepper-core = { version="0.4.0", default-features = false }

src/gadgets/nonnative/util.rs

@@ -14,8 +14,6 @@ use std::io::{self, Write};
 pub struct Bit<Scalar: PrimeField> {
   /// The linear combination which constrain the value of the bit
   pub bit: LinearCombination<Scalar>,
-  /// The value of the bit (filled at witness-time)
-  pub value: Option<bool>,
 }
 
 #[derive(Clone)]
@@ -58,14 +56,13 @@ impl<Scalar: PrimeField> Bit<Scalar> {
 
     Ok(Self {
       bit: LinearCombination::zero() + var,
-      value,
     })
   }
 }
 
 pub struct Num<Scalar: PrimeField> {
-  pub num: LinearCombination<Scalar>,
-  pub value: Option<Scalar>,
+  pub(crate) num: LinearCombination<Scalar>,
+  pub(crate) value: Option<Scalar>,
 }
 
 impl<Scalar: PrimeField> Num<Scalar> {