From 8d690e85696676e3d836e71d78c86bae463bb6c3 Mon Sep 17 00:00:00 2001 From: Srinath Setty Date: Tue, 25 Jun 2024 11:07:58 -0700 Subject: [PATCH] update version (#324) --- Cargo.toml | 2 +- src/gadgets/nonnative/util.rs | 7 ++----- 2 files changed, 3 insertions(+), 6 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 050eaa95e..f06cc94e1 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 f26c09f6a..6e2ebf5ec 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 { /// The linear combination which constrain the value of the bit pub bit: LinearCombination, - /// The value of the bit (filled at witness-time) - pub value: Option, } #[derive(Clone)] @@ -58,14 +56,13 @@ impl Bit { Ok(Self { bit: LinearCombination::zero() + var, - value, }) } } pub struct Num { - pub num: LinearCombination, - pub value: Option, + pub(crate) num: LinearCombination, + pub(crate) value: Option, } impl Num {