Closed EDGDrummond closed 1 month ago
https://github.com/docknetwork/crypto/blob/2eee4a6a6cba58c92e18ad5557d6b1a7a4730cfe/compressed_sigma/src/amortized_homomorphism.rs#L79
We check if witnesses.len() > j, but j < witnesses.len() by definition so this is trivially true.
if witnesses.len() > j
j < witnesses.len()
We made the change requested. Thank you for the report!
https://github.com/docknetwork/crypto/blob/2eee4a6a6cba58c92e18ad5557d6b1a7a4730cfe/compressed_sigma/src/amortized_homomorphism.rs#L79
We check
if witnesses.len() > j
, butj < witnesses.len()
by definition so this is trivially true.