Formal methods for zero knowledge circuits with Isil Dillig | a16z crypto research talks

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.