Google AI Professional Certificate - Learn AI Skills That Get You Hired
Get 35% Off CFI Certifications - Code CFI35
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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