Repository navigation
spec: IS_WH - #1003
spec: IS_WH#1003
IS_WH#1003Conversation
RobinJadoul
left a comment
RobinJadoul
left a comment
There was a problem hiding this comment.
I'm not sure about the name, as it points more towards a single field element containing a B48.
| [[variables.input]] | ||
| name = "addr_xG" | ||
| type = ["DWordHL", 4] | ||
| type = ["DWordWHH", 4] |
There was a problem hiding this comment.
This affects one of the listed possible optimizations in ecsm.typ too
There was a problem hiding this comment.
You're right. updated the section.
Reading through the list of potential optimizations, I noticed that we could ~ halve this chip's size by supporting B24 carries. Given the push to reduce the size of this table, might be worthwile to pursue, or at least raise during the next meeting. wdyt?
There was a problem hiding this comment.
Might be worth discussing, depending on the current cost/load of this table on recursion
| [[variables.input]] | ||
| name = "addr_xG" | ||
| type = ["DWordHL", 4] | ||
| type = ["DWordWHH", 4] |
There was a problem hiding this comment.
You're right. updated the section.
Reading through the list of potential optimizations, I noticed that we could ~ halve this chip's size by supporting B24 carries. Given the push to reduce the size of this table, might be worthwile to pursue, or at least raise during the next meeting. wdyt?
ebfb3ec to
74b7a2f
Compare
2 participants
Introduces the
IS_B48interaction and backing chip, range checking a Word-Half tuple.Particularly useful for range checking the top 48 bits of consecutive memory addresses: saves interactions and columns on the calling side, with interactions containing duplicate data stacking up on the
IS_B48chip.Applied to the
ECSM,KECCAK, andSHA256chip, this already saves 49 columns and 98 interactions.The
MEMMOVEchip (currently under development at #986) and update to the ECSM chip (#932) also stand to benefit from using this chip, though both should be updated for the optimization to take effect.