diff --git a/formal_spec.html b/formal_spec.html index fc8ad83..647063a 100644 --- a/formal_spec.html +++ b/formal_spec.html @@ -211,7 +211,7 @@ Basically, it says how to calculate Poseidon hash, e.g. for two inputs \(input1\
  • poseidon.circom from circomlib.
  • RangeCheck

    -

    RangeCheck(LIMIT_BIT_SIZE) template used for range check, e.g. \(x \le y \le z\).

    +

    RangeCheck(LIMIT_BIT_SIZE) template used for range check.

    Parameters: