Discrete Methods in Mathematical Informatics Lecture 1: What is Elliptic Curve? 9 th October 2012 Vorapong Suppakitpaisarn

Slides:



Advertisements
Similar presentations
Fermat’s Last Theorem Dr. S. Lawrence ©2005.
Advertisements

Discrete Methods in Mathematical Informatics Lecture 3: Other Applications of Elliptic Curve 23h October 2012 Vorapong Suppakitpaisarn
Proving Fermat’s last theorem FLT and lessons on the nature and practice of mathematics.
SPLASH! 2012 QUADRATIC RECIPROCITY Michael Belland.
Fermat’s Last Theorem by Kelly Oakes. Pierre de Fermat (1601 – 1665) Born in Beaumont-de-Lomagne, 36 miles north- west of Toulouse, in France. He was.
Cryptography and Network Security Chapter 8 Fourth Edition by William Stallings Lecture slides by Lawrie Brown Modified – Tom Noack.
Introduction to Elliptic Curves. What is an Elliptic Curve? An Elliptic Curve is a curve given by an equation E : y 2 = f(x) Where f(x) is a square-free.
Cannonballs, Donuts, and Secrets
Proofs, Recursion and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
Discrete Methods in Mathematical Informatics Lecture 2: Elliptic Curve Cryptography 16 th October 2012 Vorapong Suppakitpaisarn
More Number Theory Proofs Rosen 1.5, 3.1. Prove or Disprove If m and n are even integers, then mn is divisible by 4. The sum of two odd integers is odd.
Number Theory: Fermat’s Last Theorem Fermat’s last conjecture/Wiles’ Theorem: For n>2 the equation x n +y n =z n has no solutions in terms of non-zero.
Set, Combinatorics, Probability, and Number Theory Mathematical Structures for Computer Science Chapter 3 Copyright © 2006 W.H. Freeman & Co.MSCS Slides.
Math 409/409G History of Mathematics Pythagorean Triples.
Fermat’s Last Theorem Samina Saleem Math5400. Introduction The Problem The seventeenth century mathematician Pierre de Fermat created the Last Theorem.
A GENERALIZATION OF FERMAT’S LAST THEOREM BY ALHAJI ALKALI* AND G. U. GARBA DEPARTMENT OF MATHEMATICS AHMADU BELLO UNIVERSITY, ZARIA A PAPER PRESENTED.
Number Theory – Introduction (1/22) Very general question: What is mathematics? Possible answer: The search for structure and patterns in the universe.
BY RICKY LIU Fermat’s The last theorem, his proof and the author of the proof.
CS 2210 (22C:019) Discrete Structures Logic and Proof Spring 2015 Sukumar Ghosh.
 2012 Pearson Education, Inc. Slide Chapter 5 Number Theory.
C OURSE : D ISCRETE STRUCTURE CODE : ICS 252 Lecturer: Shamiel Hashim 1 lecturer:Shamiel Hashim second semester Prepared by: amani Omer.
Section 7.2 – The Quadratic Formula. The solutions to are The Quadratic Formula
Whiteboardmaths.com © 2004 All rights reserved
Chapter 11 The Number Theory Revival
Discrete Methods in Mathematical Informatics Lecture 4: Elliptic Curve Cryptography Implementation(I) 27 th November 2012 Vorapong Suppakitpaisarn
Quit Pierre de Fermat Fermat’s Last Conjecture Prime Numbers Euler’s Conjecture.
Discrete Methods in Mathematical Informatics Lecture 5: Elliptic Curve Cryptography Implementation(I) 8 th January 2012 Vorapong Suppakitpaisarn
Mathematics.
Lecture 6.1: Misc. Topics: Number Theory CS 250, Discrete Structures, Fall 2011 Nitesh Saxena.
Theorem The square of any odd integer has the form 8m + 1 for some integer m.
“The Proof” Video and Project Objectives: 1.To watch and discuss NOVA’s “The Proof” 2.To research and present various unproven mathematical conjectures.
An Introduction to Elliptic Curve Cryptography
Challenging students to acquire deeper knowledge in HCI course N. Ackovska and M. Kostoska 15 th Workshop on “Software Engineering and Reverse Engineering”
1 CS 381 Introduction to Discrete Structures Lecture #1 Syllabus Week 1.
Elliptic Curve Crypto & ECC Diffie-Hellman Presenter: Le Thanh Binh.
MATHEMATICAL INNOVATIONS Balakumar R “While pursuing a single problem through the centuries “
Pierre de Fermat Pierre de Fermat Pierre de Fermat was a French lawyer and government official most remembered for his work in.
1 CMSC 341 Math Review. 2 Exponents Identities (X A ) B = X AB X A * X B = X A+B X A / X B = X A-B X A + X B  X A+B.
Introduction to Elliptic Curves CSCI 5857: Encoding and Encryption.
Section 1.7. Definitions A theorem is a statement that can be shown to be true using: definitions other theorems axioms (statements which are given as.
Lecture 1.5: Proof Techniques CS 250, Discrete Structures, Fall 2012 Nitesh Saxena Adopted from previous lectures by Cinda Heeren 1.
Section 1.8. Proof by Cases Example: Let b = max{a, b} = a if a ≥ b, otherwise b = max{a, b} = b. Show that for all real numbers a, b, c
Chapter 4 With Question/Answer Animations 1. Chapter Motivation Number theory is the part of mathematics devoted to the study of the integers and their.
Proof And Strategies Chapter 2. Lecturer: Amani Mahajoub Omer Department of Computer Science and Software Engineering Discrete Structures Definition Discrete.
Lecture 1.5: Proof Techniques
CS 2210:0001 Discrete Structures Logic and Proof
Chapter 4 (Part 1): Induction & Recursion
Lecture 1.5: Proof Techniques
The Number Theory Revival
Chapter 3 The Real Numbers.
Direct Proof and Counterexample I
Direct Proof and Counterexample I
Class Notes 11.2 The Quadratic Formula.
Mathematics.
CS 220: Discrete Structures and their Applications
Lecture 1.6: Proof Techniques (contd)
Lecture 1.6: Proof Techniques (contd)
Clements MAΘ October 30th, 2014
Roots – Square & Cube – Tarsia Jigsaw
3 Digit Integers – Multiplying & Dividing – Tarsia Jigsaw
2 Digit Integers – Dividing – Tarsia Jigsaw
Roots – Square & Cube – Spot the Mistake
2 Digit Integers – Subtracting – Tarsia Jigsaw
3 Digit Integers – Adding – Spot the Mistake
2 Digit Integers – Multiplying – Tarsia Jigsaw
3 Digit Integers – Multiplying & Dividing – Spot the Mistake
3 Digit Integers – Adding & Subtracting – Spot the Mistake
2 Digit Integers – Adding & Subtracting – Spot the Mistake
Prime Factorisation – Worksheet A
14.6 Triple Integrals Seventeenth-Century French mathematician Pierre de Fermat wrote in the margin of his copy of Arithmetica by Diophantus, near the.
Presentation transcript:

Discrete Methods in Mathematical Informatics Lecture 1: What is Elliptic Curve? 9 th October 2012 Vorapong Suppakitpaisarn Eng. 6 Room 363 Download Slide at:

First Section of This Course [5 lectures] Lecture 1: What is Elliptic Curve? Lecture 2: Elliptic Curve Cryptography Lecture 3-4: Fast Implementation for Elliptic Curve Cryptography Lecture 5: Factoring and Primality Testing L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 Recommended Reading H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 Grading

First Section of This Course [5 lectures] Lecture 1: What is Elliptic Curve? Lecture 2: Elliptic Curve Cryptography Lecture 3-4: Fast Implementation for Elliptic Curve Cryptography Lecture 5: Factoring and Primality Testing L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 Recommended Reading H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 Grading

Problem 1: The Artillerymens Dilemma (is not a) Puzzle ? Height = 0: 0 Ball  Square Height = 1: 1 Ball  Square Height = 2: = 5 Balls  Not Square Height = 3: = 14 Balls  Not Square Height = 4: = 30 Balls  Not Square Elliptic Curve

Problem 1: The Artillerymens Dilemma (is not a) Puzzle (cont.) (0,0) (1,1) y = x (1/2,1/2)

Problem 1: The Artillerymens Dilemma (is not a) Puzzle (cont.) (0,0) (1,1) y = x (1/2,1/2) (1/2,-1/2) y = 3x-2

Problem 2: Right Triangle with Rational Sides We want to find a right triangle with rational sides in which area = /2 4 17/2 15 5

Problem 2: Right Triangle with Rational Sides (cont.) a b c ab/2 = 5 Elliptic Curve Note

Problem 2: Right Triangle with Rational Sides (cont.) (-4,6)

Problem 2: Right Triangle with Rational Sides (cont.) (-4,6) (1681/144,62279/1728)

Problem 2: Right Triangle with Rational Sides (cont.) 20/3 3/2 41/6 5 (-4,6) (1681/144,62279/1728)

Exercises Exercise 1 Exercise 2

Problem 3: Fermat’s Last Theorem Conjectured by Pierre de Fermat in Arithmetica (1637). “I have discovered a marvellous proof to this theorem, that this margin is too narrow to contain” There are more than 1,000 attempts, but the theorem is not proved until 1995 by Andrew Wiles. One of his main tools is Elliptic Curve!!!

Problem 3: Fermat’s Last Theorem (cont.) Fermat kindly provided the proof for the case when n = 4 Elliptic Curve By several elliptic curves techniques, Fermat found that all rational solutions of the elliptic curve are (0,0), (2,0), (-2,0)

Formal Definitions of Elliptic Curve (0,0) (1,1) y = x (1/2,1/2) (1/2,-1/2) Weierstrass Equation Elliptic Curve Point Addition

Formal Definitions of Elliptic Curve (cont.) Point Addition

Formal Definitions of Elliptic Curve (cont.) x = 1/2 (1/2,1/2) (1/2,-1/2) Point Addition Point Double (-4,6) (1681/144,62279/1728)

Formal Definitions of Elliptic Curve (cont.) Point Double

First Section of This Course [5 lectures] Lecture 1: What is Elliptic Curve? Lecture 2: Elliptic Curve Cryptography Lecture 3-4: Fast Implementation for Elliptic Curve Cryptography Lecture 5: Factoring and Primality Testing L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 L. C. Washington, “Elliptic Curves: Number Theory and Cryptography”, Chapman & Hall/CRC, Lecture 1: Chapter 1, Chapter 2 (2.1, 2.2) Lecture 2: Chapter 6 (6.1 – 6.6) Lecture 5: Chapter 7 Recommended Reading H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). H. Cohen, G. Frey, R. Avanzi, C. Doche, T. Lange, K. Nguyen, F. Vercauteren, "Handbook of Elliptic and Hyperelliptic Curve Cryptography", Chapman & Hall/CRC, A. Cilardo, L. Coppolino, N. Mazzocca, L. Romano, "Elliptic Curve Cryptography Engineering", Proc. of IEEE Vol. 94, No. 2, pp (2006). In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 In each lecture, 1-2 exercises will be given, Choose 3 Problems out of them. Submit to before 31 Dec 2012 Grading

Exercises Exercise 1 Exercise 2

Thank you for your attention Please feel free to ask questions or comment.

Scalar Multiplication Scalar Multiplication on Elliptic Curve S = P + P + … + P = rP when r 1 is positive integer, S,P is a member of the curve Double-and-add method Let r = 14 = (01110) 2 Compute rP = 14P r = 14 = ( ) 2 Weight = 3 P3P3P7P7P14P 6P6P2P2P 3 – 1 = 2 Point Additions 4 – 1 = 3 Point Doubles r times O