The Inherent Property of Structural Proofs

For starks, the proof sizes are tiny. Even for simplest computations, we are looking at maybe like, a dozen kila bites. For mino, in some situations, couldbe ike two orders of magn magnitude larger. Thisi need to rely only on a few, very few piptographic assumptions. But as soon as you need to rely on elliptic curves, er, you kind of lose some of speed advantage as well.

Play episode from 09:44

Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!

Get the app