The library supports both constant- and variable-time proving, depending on the caller's needs. However, the Kronecker delta function supported only constant-time operations. This PR adds a variable-time option for efficiency. It also adds unit tests for the function.
The library supports both constant- and variable-time proving, depending on the caller's needs. However, the Kronecker delta function supported only constant-time operations. This PR adds a variable-time option for efficiency. It also adds unit tests for the function.