Live Online Classes in Design, Coding & AI — Small Classes, Free Retakes
AI Engineer - Learn how to integrate AI into software applications
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore the intersection of mathematics, cryptography, and blockchain technology in this 38-minute lecture by Jeremy Avigad from the Hausdorff Center for Mathematics. Delve into the complex world of elliptic curve computations and their crucial role in blockchain verification processes. Learn how mathematical proofs and formal verification techniques are applied to ensure the security and integrity of blockchain transactions. Gain insights into the challenges and solutions involved in verifying elliptic curve operations within distributed ledger systems.
Syllabus
Jeremy Avigad: Verifying elliptic curve computations on blockchain
Taught by
Hausdorff Center for Mathematics