Is This Not Recursion? You Just Call It Snark?

In halo, they're doing this in a really cool way. Their sort of saying, we can take the cost of a bullet proof snark where the verifier is linear. This would typically be a problem. But by using one layer of recursion, you only have to pay that linear cost once. So if we're, for example, wanting to prove that a block chain is correct since it ception, then this will work for that. Is this not recursion? You justyou call it snark. Ye is is recursion. It is o an alternative to recursion is to just do one layer of Recursion. Rather than do a snack of a snack of

Transcript

Play full episode

The AI-powered Podcast Player

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

Get the app