o1-labs/proof-systems

Arrabiata: I see that in this use case we absorb PI, but this is not always the case (eg. the internal node of a merkle tree)

Opened this issue · 0 comments

          I see that in this use case we absorb PI, but this is not always the case (eg. the internal node of a merkle tree)

Can we not harcode the fact that we absorb PI ?

Originally posted by @marcbeunardeau88 in #2562 (comment)