add note about stark parameters that are hardcoded in the EE Script

ewasm · Aug 1, 2019 · 2142acf · 2142acf
1 parent edc7c4f
commit 2142acf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scripts/mimc-stark-verifier/src/lib.rs b/scripts/mimc-stark-verifier/src/lib.rs
@@ -12,6 +12,8 @@ use num_bigint::{BigInt, BigUint};
 
 fn process_block(pre_state_root: types::Bytes32, block_data: &[u8]) -> types::Bytes32 {
     let (stark_proof, _) = deserializer::from_bytes(&block_data).expect("couldn't deserialize");
+
+    // TODO: package subsequent parameters in the proof itself
     const LOG_STEPS: usize = 13;
     let mut constants: Vec<BigInt> = Vec::new();
     let modulus: BigInt = num_bigint::BigInt::from_str(MODULUS).expect("modulus couldn't be deserialized into bigint");