diff --git a/Cargo.toml b/Cargo.toml
index 050eaa95..f06cc94e 100644
--- a/Cargo.toml
+++ b/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 }
diff --git a/src/gadgets/nonnative/util.rs b/src/gadgets/nonnative/util.rs
index f26c09f6..6e2ebf5e 100644
--- a/src/gadgets/nonnative/util.rs
+++ b/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> {