`t1` and `t2` value

[FoodChain1028]

Lazarus/labrador/src/prover.rs

Lines 30 to 33 in 3e1ff26

	let basis = Zq::new(10);
	let digits = Zq::new(3); // t1
	let t1 = digits;
	let t2 = digits;

The value of t1 and t2 should be:

$$ t_1=\lfloor \frac{log q}{log b} \rceil $$

$$ t_2=\lfloor \frac{log(\sqrt{24nd}s^2)}{log b} \rceil $$