address additional comments on #712

Author: zhenfeizhang

aggregator/README.md

@@ -101,9 +101,9 @@ This is done by compute the RLCs of chunk[i]'s data_hash for `i=0..k`, and then
 
 4. chunks are continuous when they are not padded: they are linked via the state roots.
 
-for i in 1 ... __k-1__
 ```
-c_i.post_state_root == c_{i+1}.prev_state_root
+for i in 1 ... __k-1__
+    c_i.post_state_root == c_{i+1}.prev_state_root
 ```
 
 5. All the chunks use a same chain id. __Static__.
@@ -131,7 +131,7 @@ This is done via comparing the `data_rlc` of `chunk_{i-1}` and ` chunk_{i}`.
 ![Dynamic_inputs](./figures/hash_table.jpg)
 
 
-Our keccak table uses `2^19` rows. Each keccak round takes `300` rows. When the number of round is is less than $2^19/300$, the cell manager will fill in the rest of the rows with dummy hashes. 
+Our keccak table uses `2^19` rows. Each keccak round takes `300` rows. When the number of round is is less than `2^{19}/300`, the cell manager will fill in the rest of the rows with dummy hashes. 
 
 The only hash that uses dynamic number of rounds is the last hash. 
 Suppose we target for `MAX_AGG_SNARK = 10`. Then, the last hash function will take no more than `32 * 10 /136 = 3` rounds. 

aggregator/figures/architecture.jpg

@@ -18,20 +18,15 @@ impl RlcConfig {
         region.assign_fixed(|| "const two", self.fixed, 2, || Value::known(Fr::from(2)))?;
         region.assign_fixed(|| "const four", self.fixed, 3, || Value::known(Fr::from(4)))?;
         region.assign_fixed(|| "const nine", self.fixed, 4, || Value::known(Fr::from(9)))?;
+        region.assign_fixed(|| "const 32", self.fixed, 5, || Value::known(Fr::from(32)))?;
         region.assign_fixed(
-            || "const thirty two",
-            self.fixed,
-            5,
-            || Value::known(Fr::from(32)),
-        )?;
-        region.assign_fixed(
-            || "const one hundred and thirty six",
+            || "const 136",
             self.fixed,
             6,
             || Value::known(Fr::from(136)),
         )?;
         region.assign_fixed(
-            || "const two to thirty two",
+            || "const 2^32",
             self.fixed,
             7,
             || Value::known(Fr::from(1 << 32)),