Update cost-model golden files

ntc2 · ntc2 · commit fb337838ba63 · 2024-05-06T19:31:07.000+08:00
See a significant improvement in many proof sizes due to no longer enabling
equality on the fixed columns.
diff --git a/halo2_gadgets/goldenfiles/cost-model/arith-sum-10-values.csv b/halo2_gadgets/goldenfiles/cost-model/arith-sum-10-values.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,21,0,3,0,6,20,2,1984
+5,21,0,3,0,4,16,2,1600
diff --git a/halo2_gadgets/goldenfiles/cost-model/arith-sum-100-values.csv b/halo2_gadgets/goldenfiles/cost-model/arith-sum-100-values.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,201,0,3,0,6,20,2,2176
+5,201,0,3,0,4,16,2,1792
diff --git a/halo2_gadgets/goldenfiles/cost-model/arith-sum-1000-values.csv b/halo2_gadgets/goldenfiles/cost-model/arith-sum-1000-values.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,2001,0,3,0,6,20,2,2368
+5,2001,0,3,0,4,16,2,1984
diff --git a/halo2_gadgets/goldenfiles/cost-model/ecc-scalar-decomp.csv b/halo2_gadgets/goldenfiles/cost-model/ecc-scalar-decomp.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,63,1024,3,1,6,26,3,2720
+6,63,1024,3,1,4,23,3,2496
diff --git a/halo2_gadgets/goldenfiles/cost-model/ecc-var-base-scalar-mult.csv b/halo2_gadgets/goldenfiles/cost-model/ecc-var-base-scalar-mult.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-13,205,1024,10,1,12,52,5,4416
+11,205,1024,10,1,10,48,5,4096
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-base-pallas-vesta-8-64-8.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-base-pallas-vesta-8-64-8.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,105,256,9,2,13,59,4,4800
+12,105,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-base-pallas-vesta-8-66-9.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-base-pallas-vesta-8-66-9.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,108,256,9,2,13,59,4,4800
+12,108,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-base-vesta-pallas-8-64-8.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-base-vesta-pallas-8-64-8.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,105,256,9,2,13,59,4,4800
+12,105,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-base-vesta-pallas-8-66-9.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-base-vesta-pallas-8-66-9.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,108,256,9,2,13,59,4,4800
+12,108,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-pallas-vesta-8-64-8.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-pallas-vesta-8-64-8.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,28,256,9,2,13,59,4,4800
+12,28,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-pallas-vesta-8-66-9.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-pallas-vesta-8-66-9.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,36,256,9,2,13,59,4,4800
+12,36,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-vesta-pallas-8-64-8.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-vesta-pallas-8-64-8.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,28,256,9,2,13,59,4,4800
+12,28,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-vesta-pallas-8-66-9.csv b/halo2_gadgets/goldenfiles/cost-model/endoscale-scalar-vesta-pallas-8-66-9.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-14,36,256,9,2,13,59,4,4800
+12,36,256,9,2,11,55,4,4480
diff --git a/halo2_gadgets/goldenfiles/cost-model/generic_range_check.csv b/halo2_gadgets/goldenfiles/cost-model/generic_range_check.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,51,1024,3,1,6,26,3,2720
+6,51,1024,3,1,4,23,3,2496
diff --git a/halo2_gadgets/goldenfiles/cost-model/plonk-verification-circuit.csv b/halo2_gadgets/goldenfiles/cost-model/plonk-verification-circuit.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-18,16908,1024,10,3,17,88,5,6816
+16,16908,1024,10,3,15,84,5,6496
diff --git a/halo2_gadgets/goldenfiles/cost-model/pow2_range_check.csv b/halo2_gadgets/goldenfiles/cost-model/pow2_range_check.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-7,31,1024,3,1,6,26,3,2720
+6,31,1024,3,1,4,23,3,2496
diff --git a/halo2_gadgets/goldenfiles/cost-model/verify-ipa-commitment-circuit.csv b/halo2_gadgets/goldenfiles/cost-model/verify-ipa-commitment-circuit.csv
@@ -1,2 +1,2 @@
 max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size
-18,4501,1024,10,3,17,88,5,6688
+16,4501,1024,10,3,15,84,5,6368

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-7,21,0,3,0,6,20,2,1984`
	`2`	`+5,21,0,3,0,4,16,2,1600`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-7,201,0,3,0,6,20,2,2176`
	`2`	`+5,201,0,3,0,4,16,2,1792`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-7,2001,0,3,0,6,20,2,2368`
	`2`	`+5,2001,0,3,0,4,16,2,1984`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-7,63,1024,3,1,6,26,3,2720`
	`2`	`+6,63,1024,3,1,4,23,3,2496`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-13,205,1024,10,1,12,52,5,4416`
	`2`	`+11,205,1024,10,1,10,48,5,4096`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-14,105,256,9,2,13,59,4,4800`
	`2`	`+12,105,256,9,2,11,55,4,4480`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-14,108,256,9,2,13,59,4,4800`
	`2`	`+12,108,256,9,2,11,55,4,4480`
Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`max_deg,rows,table_rows,advice_columns,lookups,permutations,column_queries,point_sets,proof_size`
`2`		`-14,28,256,9,2,13,59,4,4800`
	`2`	`+12,28,256,9,2,11,55,4,4480`