The Cost of Sum Checks in Hypernobody

In hypernobody, they use a sum check to do this folding so that there doesn't involve any group operations at all for that. But what we did is quite different. Basically we merged this kind of end case into a single gate. So basically there's only one equation to be checked. And it also adds some efficiency advantage becauseBasically, in the sum check, we need to do some hashes. And we would eliminate those SHA-1s and other field operations by a factor of log n in the circuits.

Transcript

Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.

Get the app