Optimizing Cryptography with AI

Many of us are using AI to generate code. Vibe coding cryptography is especially sensitive - you have to uphold strict mathemtical correctness. This can lead to wrong security guarantees and soundness bugs. We will discuss what are some patterns to do it well.