optimize paddingFixedWidth of sha3 using divmod hint

[ggq89]

Description

In this PR, a divmod function is implemented with hint, and it is used to optimize the paddingFixedWidth of sha3 to reduce the number of selects in the process of padding data and calculating numberOfBlocks.

In the project we are currently working on, one of the data lengths to be keccak256 hashed ranges from 1130 to 1710. Using the new FixedLengthSum can reduce about 50,000 constraints, as shown below:

Old version paddingFixedWidth: hash=keccak256/bound=1130/maxLen=1710/nbConstraints=3871960
New version paddingFixedWidth: hash=keccak256/bound=1130/maxLen=1710/nbConstraints=3820827

Type of change

• New feature (non-breaking change which adds functionality)

How has this been tested?

• TestSHA2FixedLengthSum
• TestSHA3FixedLengthSum

How has this been benchmarked?

• Benchmark A, on Macbook pro M1, 32GB RAM
• Benchmark B, on x86 Intel xxx, 16GB RAM

Checklist:

• I have performed a self-review of my code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• I have added tests that prove my fix is effective or that my feature works
• I did not modify files generated from templates
• golangci-lint does not output errors locally
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[ivokub]

Thanks for the PR. I'll review it soon.

[ggq89]

the constraint comparator.AssertIsLessEq(length, maxLen) should be added

[ggq89]

The constraint comparator.AssertIsLessEq(length, maxLen) should be added to prevent the wrong value from being returned when length>maxLen.

[ggq89]

the constraint comparator.AssertIsLessEq(length, maxLen) should be added