Added other tests with actual prover; solved a bug

LibeccioLabs · Dec 26, 2023 · cd2f527 · cd2f527
1 parent c71f5fb
commit cd2f527
Show file tree

Hide file tree

Showing 4 changed files with 326 additions and 168 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -29,7 +29,7 @@ pub mod truncated_factorial_chip;
 pub mod utilities;
 
 /// A variable representing a number.
-#[derive(Clone)]
+#[derive(Clone, Debug)]
 pub struct Number<F: ff::Field>(halo2_proofs::circuit::AssignedCell<F, F>);
 
 impl<F: ff::Field> std::ops::Deref for Number<F> {