Learn Backend Development Part-Time, Online
Google, IBM & Microsoft Certificates — All in One Plan
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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