From 4c54e07fe931ad026a616e9d3968dee9e95aa980 Mon Sep 17 00:00:00 2001 From: curryrasul Date: Fri, 7 Jul 2023 08:29:50 +0000 Subject: [PATCH] deploy: 07b66a814ab73e4d848888828bb411a9610b2cf9 --- formal_spec.html | 2 +- print.html | 65 +++++++++++++++++++++++++++------------------ rln_in_details.html | 60 ++++++++++++++++++++++++----------------- searchindex.js | 2 +- searchindex.json | 2 +- smart_contract.html | 3 ++- 6 files changed, 80 insertions(+), 54 deletions(-) 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: