Merge pull request #375 from trifle-labs/reduce-proofs

Reduce proofs

.gitignore

@@ -33,7 +33,7 @@ circuits/*.zkey
 /*_cpp/
 
 # !game_4_250_cpp
-# !game_6_125_cpp
+# !game_6_250_cpp
 
 */tmp/*
 
@@ -57,11 +57,11 @@ verification_key.json
 
 
 !game_4_250_js
-!game_6_125_js
+!game_6_250_js
 
 
 !public/game_4_250.wasm
-!public/game_6_125.wasm
+!public/game_6_250.wasm
 parameters.txt
 
 

README.md

@@ -124,7 +124,7 @@ To prepare for production, run the following command:
 yarn circom:game-prod
 ```
 
-This might take a while to generate but it will only produce proofs for 4 bodies at 250 frames of gameplay and 6 bodies at 125 frames of gameplay. All levels can be proven with these two circuits because the missing bodies are added with radius of 0 so they don't impact the simulation.
+This might take a while to generate but it will only produce proofs for 4 bodies at 250 frames of gameplay and 6 bodies at 250 frames of gameplay. All levels can be proven with these two circuits because the missing bodies are added with radius of 0 so they don't impact the simulation.
 
 ### Sindri
 

circuits/game_6_250.circom

@@ -0,0 +1,5 @@
+pragma circom 2.1.6;
+
+include "stepState.circom";
+
+component main { public [ bodies, address, inflightMissile ]} = StepState(6, 250);

circuits/sindri.json

@@ -1,8 +1,8 @@
 {
   "$schema": "https://forge.sindri.app/api/v1/sindri-manifest-schema.json",
-  "name": "game_6_1250_v1",
+  "name": "game_6_250_v1",
   "circuitType": "circom",
-  "circuitPath": "./game_6_1250.circom",
+  "circuitPath": "./game_6_250.circom",
   "curve": "bn254",
   "provingScheme": "groth16",
   "witnessCompiler": "c++"