Verifying Elliptic Curve Computations on Blockchain

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.