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

Author: jwasinger

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");