commitment hash > field prime results in failed root check in the circuit #80
Description
When commitment hash is greater than the prime of the field, the root calculated is different from the one provided by the sibling path. At application level, this can be handled by ensuring the commitment hash is never greater than prime of the field, by picking a salt that will ensure this. This should not be considered as a permanent solution. This should be rectified in timber which is the source.