YoVDO

Verifying Elliptic Curve Computations on Blockchain

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Cryptography Courses Mathematical Proofs Courses Computational Mathematics Courses Formal Verification Courses Blockchain Security Courses Elliptic Curve Cryptography Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Related Courses

Introduction to Mathematical Thinking
Stanford University via Coursera Paradox and Infinity
Massachusetts Institute of Technology via edX Mathematical Logic and Algorithms Theory
Tomsk State University of Control Systems and Radioelectronics via iversity Discrete Mathematics
Shanghai Jiao Tong University via Coursera Introduction au raisonnement mathématique : préparation à l'entrée dans l'enseignement supérieur
École Polytechnique via France Université Numerique