o1-labs/proof-systems

Keccak recursion

Opened this issue · 0 comments

marcbeunardeau88 commented

We need something to handle the Keccak recursion, it's unclear what at this state