refactor: remove hash_witness

argumentcomputer · Nov 17, 2023 · 2eed4b6 · 2eed4b6
1 parent f41cb26
commit 2eed4b6
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 105 deletions.
diff --git a/src/circuit/gadgets/hashes.rs b/src/circuit/gadgets/hashes.rs
@@ -7,7 +7,9 @@ use neptune::circuit2_witness::poseidon_hash_allocated_witness;
 
 use crate::field::{FWrap, LurkField};
 use crate::hash::HashConst;
-use crate::hash_witness::{Digest, WitnessBlock};
+
+pub(crate) type WitnessBlock<F> = Vec<F>;
+pub(crate) type Digest<F> = F;
 
 type HashCircuitWitnessCache<F> = HashMap<Vec<FWrap<F>>, (Vec<F>, F)>;
 

diff --git a/src/error.rs b/src/error.rs
@@ -1,4 +1,3 @@
-use crate::hash_witness::ConsName;
 use crate::store;
 
 use bellpepper_core::SynthesisError;
@@ -23,8 +22,6 @@ impl From<store::Error> for ProofError {
 
 #[derive(Error, Debug, Clone)]
 pub enum ReductionError {
-    #[error("car_cdr of named cons {0:?} requires a cons or nil.")]
-    CarCdrType(ConsName),
     #[error("Miscellaneous error: {0}")]
     Misc(String),
     #[error("Lookup error: {0}")]

diff --git a/src/hash_witness.rs b/src/hash_witness.rs
diff --git a/src/lib.rs b/src/lib.rs
@@ -12,7 +12,6 @@ pub mod eval;
 mod expr;
 pub mod field;
 mod hash;
-mod hash_witness;
 pub mod lem;
 mod num;
 mod package;