Zero Knowledge cover image

Catch-up at DevConnect AMS with Tarun, Guillermo and Brendan

Zero Knowledge

00:00

- Is the Implementation a Proof of the Implementer's Efficacy?

Code review can be adversarial to the reader and the pure reviewers, he says. "I was pretty i think i rete thethe the alt" The style of code is important for things that have to be very precise but are not written in a formal way. It would be nice if there were more attention and formal proofs about how these ideas function on real protocles or soand as you find this out because of like, actually trying to implement it."

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app