diff --git a/halo2_gadgets/goldenfiles/cost-model/generic_range_check.csv b/halo2_gadgets/goldenfiles/cost-model/generic_range_check.csv new file mode 100644 index 000000000..1c683a834 --- /dev/null +++ b/halo2_gadgets/goldenfiles/cost-model/generic_range_check.csv @@ -0,0 +1,2 @@ +max_deg,advice_columns,lookups,permutations,column_queries,point_sets,proof_size +6,2,1,3,19,4,2400 diff --git a/halo2_gadgets/src/utilities/generic_range_check.rs b/halo2_gadgets/src/utilities/generic_range_check.rs index 369315d6b..33438008f 100644 --- a/halo2_gadgets/src/utilities/generic_range_check.rs +++ b/halo2_gadgets/src/utilities/generic_range_check.rs @@ -423,5 +423,15 @@ mod test { } } } + + #[test] + fn cost_model() { + use crate::utilities::cost_model::circuit_to_csv; + let b = -pallas::Base::from(1); + let x = pallas::Base::from(0); + let mode = Mode { x, b }; + let circuit = MyCircuit:: { mode }; + circuit_to_csv(11, "generic_range_check", &[], circuit); + } } }