introduction to modern cryptography lecture 13 january 24...

11
Introduction to Modern Cryptography Lecture 13 January 24, 2017 Instructor: Benny Chor Teaching Assistant: Orit Moskovich School of Computer Science Tel-Aviv University Fall Semester, 2016–17 Tuesday 12:00–15:00 Venue: Meron Hall, Trubowicz 102 (faculty of Law) Course site: http://tau-crypto-f16.wikidot.com/

Upload: others

Post on 30-Jun-2020

10 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Introduction to Modern CryptographyLecture 13

January 24, 2017

Instructor: Benny ChorTeaching Assistant: Orit Moskovich

School of Computer ScienceTel-Aviv University

Fall Semester, 2016–17Tuesday 12:00–15:00

Venue: Meron Hall, Trubowicz 102 (faculty of Law)

Course site: http://tau-crypto-f16.wikidot.com/

Page 2: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Lectures 13: Plan

• Bitcoin and blockchain.

• Solutions to (part of) the 2002 exam.

• A few words regarding the final exam.

2 / 11

Page 3: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Major Concerns in Any Digital Cash System

• Double (triple, quadruple,. . . ) spending.• Generating money.• Enforcing limited supply of money.

3 / 11

Page 4: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Preamble: Crypto and CS Constructs Behind Bitcoin

• Cryptographic hash functions (specifically, SHA-256).• Proof of work by inverting the hash function (with specified level

of difficulty, related to the number of leading zeros).• Digital signature scheme (specifically, based on Elliptic Curve

Digital Signature Algorithm, or ECDSA, with 256 bit long key).

• Byzantine agreement (from distributed computing).• Bitcoin solution: A public trusted bulletin board, known as the

block chain.

4 / 11

Page 5: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Proof of Work in Bitcoin

We have a document x. And a cryptographic hash function H(SHA256 for bitcoin).

Goal: finds an s such that H(s, x) starts with n zeros (in binary).This takes time 2n ·Time(H), where Time(H) is the time to computeH at one point.

Given that H behaves like a random function, there is no betterstrategy than picking s at random.

This implies that if one has spent two (or five) days and did not yetfind such s, she is no closer to the goal than when starting (except bya tiny fraction).

5 / 11

Page 6: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Proof of Work in Bitcoin, cont.

We have a document x. And a cryptographic hash function H(SHA256 for bitcoin).

Goal: finds an s such that H(s, x) starts with n zeros (in binary).This takes time 2n ·Time(H), where Time(H) is the time to computeH at one point.

The number n is called the hardness parameter. It grows with time(to adjust for the growth in computing power, which translates tohigher “hash rate”).An example of a hash value (in hexadecimal), back from March 2014:

00000000000000006d8733e03fa9f5e52ec912fa82c9adfed09fbca9563cb4ce

6 / 11

Page 7: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

Difficulty vs. Price, 30 Days in 2013

7 / 11

Page 8: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

And Now for Something Completely Different

Goecha La trek, Sikkim, NE India, October 20168 / 11

Page 9: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

ת.ז: ______________ מספר מחברת: _____

1

"מודרנית לקריפטוגרפיה מבוא" בקורס מבחן

מועד א', ז"תשע' א סמסטר

30.1.2017 :תאריך

שור בני' פרופ :מרצה

'אורית מוסקוביץ :מתרגלת

.התשובות כתיבת תחילת לפני, המבחן בתחילת והשאלות ההנחיות כל את לקרוא מומלץ

שעות שלוש הבחינה משך.

דפי שני: מותר עזר חומר A4 ,הצדדים משני כתובים.

מחברת ומספר ז"ת מספר למלא יש המבחן בטופס עמוד כל בראש.

כל על נכונה לענות יש בבחינה 100 ציון לקבל כדי. משנה סעיפי 2חלקן ול פתוחות שאלות חמש במבחן

.קושיו ובין הסעיף ניקוד בין קשר בהכרח אין. לידו מצוין סעיף כל ניקוד .השאלות

o לענות יש(. זה טופס) המבחן בטופס המתאימה במסגרת להופיע שאלה לכל התשובה על

חלקי לניקוד יזכו לקריאה פיזית ניתנות לא או מסורבלות תשובות. ברורות ותמציתיות תשובות

.בלבד

o לשימוש מסגרת מצורפת הטופס בסוף. המבחן בטופס כתיבתה לפני תשובתך את היטב י/ודא

."חירום" במקרי

o המבחן עם להגישה יש אך, תיבדק ולא בלבד כטיוטא משמשת הבחינה מחברת.

מהנקודות 20% יינתנו זה סעיף על; כתשובה" ת/יודע אינני" לענות ניתן פתוחה שאלה של סעיף על .

.הסבר שום להוסיף איןזה במקרה

שמצטטים בתנאי( הבית בתרגיל או רגולבת, בהרצאה) בכיתה שהוכחה טענה בכל להשתמש מותר

.מדויק באופן אותה

אחר במקום שהוכחו טענות (ב־, בויקיפדיה, הלימוד בספר: כגוןMIT ,קודם בסמסטר )מחדש להוכיח יש .

.אותם פתרתם לא אם גם, הקודמים הסעיפים בתוצאות להשתמש מותר בשאלה בפתרון סעיף

סעיף שום על המידה על יתר להתעכב לא מומלץ.

להשתמש בהםרמזים הניתנים בשאלות הינם בגדר המלצה, ואין חובה.

כאחד. וגברים לנשים מיועד אך, בלבד נוחות המבחן מנוסח בלשון נקבה מטעמי

בהצלחה!

ציון בחינה 5שאלה 4שאלה 3שאלה 2שאלה 1שאלה

Page 10: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

And Finally: Few Words Regarding the Exam

The following will not be included in the exam

• Yao garbled circuit.• The millioners’ problem.• Linear feedback shift registers.• Bitcoin.• Writing code (in Sage, Python, Scheme, Cobol, etc.).• Visual cryptography.• Any topic titled “for reference only”.

10 / 11

Page 11: Introduction to Modern Cryptography Lecture 13 January 24 ...tau-crypto-f16.wdfiles.com/local--files/course-schedule/Crypto2016_1… · Introduction to Modern Cryptography Lecture

The End of the Route Song – Leah Goldberg

Performence by Shem Tov Levy.

11 / 11