Datapunk

update: comparison before updating

1

https://github.com/privacy-scaling-explorations/zk-kit/blob/aa02c6df831e0b40f4cffc11ec5e92a1c8c319cb/packages/imt/src/imt.ts#L227 does it make sense to check if `newLeaf != this._nodes[0][index]` first?

https://github.com/privacy-scaling-explorations/zk-kit/blob/aa02c6df831e0b40f4cffc11ec5e92a1c8c319cb/packages/imt/src/imt.ts#L152-L156 can we add to the comment that It returns the index of the first occurrence of the specified element in the array?

noop variable assert

3

The variables lta and ltb are no-oping [here](https://github.com/privacy-scaling-explorations/zk-kit.circom/blob/326cef9fdb9a2f845b890cffea0594975768be1f/packages/utils/src/float.circom#L56) and may be removed. There are no constraints applied to either variable, the assert statement is a witness computation time operation, not...