proof with small public input (#28)

verifier/data/step/common_circuit_data.json

@@ -94,7 +94,7 @@
     "quotient_degree_factor": 8,
     "num_gate_constraints": 123,
     "num_constants": 6,
-    "num_public_inputs": 1350,
+    "num_public_inputs": 36,
     "k_is": [
         1,
         7,

verifier/data/step/verifier_only_circuit_data.json

@@ -1,21 +1,21 @@
 {
     "constants_sigmas_cap": [
-        "16410135397206963995867986152754239948699603273283903389293816335827918317917",
-        "793737431233885020076403438726099627357557537710771017261200370525509120433",
-        "12956281394520952097582330637773878261111274369940411254759688417761804822142",
-        "10577530380775003887407451820221412218265659263471194993014549768898454599785",
-        "13610846379681807478607563401071620391800469867382019709290833315244210704863",
-        "765151448660164966011013501838259753360401123903311092227424737087007538841",
-        "13786717651422653112944870403443265466526140408716569251322854236333823743208",
-        "12716088402533018234480445545939519356897157402541455414075663659898205294136",
-        "7714394992134137076670975536966103814585482420260383440808539140364081464561",
-        "21494844788603743891376885362562637287120172946709821128154824772001032728080",
-        "14153637094178605853060659242981358456456672896438884686797867119060652807634",
-        "8426523842338951741294543051254253278084158527312126154422449980067255373785",
-        "9336152063716553400528035177375603771317196761317425271006398060378250593421",
-        "19032686473689874529303788521545715886983137707759075261782048632012085567581",
-        "15713676428971866339564327334872368460630508652571308740737040859682008007854",
-        "11466448479127530610447443676955276964009242931295623425740153710621884444011"
+        "4888357664296095718815758214440529393197762742365942012680717414927848556250",
+        "2209889448564462812608523791037999221131777281114110816711594808561629780010",
+        "4783027344594415431544036887584741450494432097097254847851160629277658732206",
+        "4025442984048235715703510356530005233167222504995885323997325327626847831042",
+        "7679520709262245108039166177805990311158829589366423240361001467027112647002",
+        "259363173405031877757571220908459576335668352861939433815090635029846220068",
+        "9880831542852849450717059869965520165948874814070335576566589765688426595600",
+        "19609124362176622223995417422711340578268398995610264736162079735652393008400",
+        "18373537388333609703859974831390403366607123416158043829042438107680621738551",
+        "17536955898347982953188585924984008856280005516232467427210505109184726402603",
+        "20695699955262630796033618899800264428111620406754391130684131882592523541095",
+        "20425708078899059362884835312568041888084734960481059866199231046085670179583",
+        "21697157774348170912700991744618658990139755973310165730160978582032237849079",
+        "7191613656222346675951718107316884243893764070036349498195400843757810414364",
+        "1499065111965288526081286015186615004571723160296680783059214594047760640474",
+        "5981619154302533357157777495393724169720902362468159062002824290823005959648"
     ],
-    "circuit_digest": "9787759494185596126611266365248694578977961103378519017707766709237231108177"
+    "circuit_digest": "9263530673647634796487329488695915977644330282170255272053971232639965244017"
 }