update param and time limit

Author: zhenfeizhang

zprice/README.md

@@ -22,6 +22,8 @@ where
     R: CryptoRng + RngCore,
 ```
 
+Note that due to the resource limitation, and also to prevent accidental DoS, the benchmark will be terminate once a TIME_LIMIT is hit. This limit is tentatively set to 12 hours, and subject to change.
+
 Apparently, you could start with reading our current non-GPU-accelerated version of the prover implementation at `PlonkKzgSnark::prove()` in file `jellyfish/plonk/src/proof_system/snark.rs`,
 then optimizing it and building a Spark-like library in Rust to distribute and parallelize computation across multiple GPUs.
 

zprice/src/lib.rs

@@ -25,9 +25,9 @@ use jf_primitives::{
 };
 
 /// Merkle Tree height
-pub const TREE_HEIGHT: u8 = 5;
+pub const TREE_HEIGHT: u8 = 32;
 /// Number of memberships proofs to be verified in the circuit
-pub const NUM_MEMBERSHIP_PROOFS: usize = 10;
+pub const NUM_MEMBERSHIP_PROOFS: usize = 20_000;
 
 /// generate a gigantic circuit (with random, satisfiable wire assignments)
 ///