YouTube2Text

【高校数学でよく寝れる】暗号マニアの僕が語りたい、楕円曲線暗号のビューチホー — Transcript

by 海外Yパパラジオ 世界を読み解く · 4,348 words · 669 segments · language en · Watch on YouTube

Full transcript

  1. 0:01In the time between you tapping this
  2. 0:02video and the audio starting, your
  3. 0:04smartphone and the YouTube server have
  4. 0:06quietly completed a cryptographic
  5. 0:08handshake. They exchanged keys so that
  6. 0:11even if intercepted, it wouldn't matter
  7. 0:13, and that's how this audio is playing.
  8. 0:16The technology that has consistently
  9. 0:18powered those handshakes is today's
  10. 0:20star: Elliptic Curve Cryptography. In
  11. 0:22the last 20 years, this Elliptic Curve
  12. 0:24Cryptography has pushed RSA, the
  13. 0:26champion of the previous era, out of
  14. 0:29the forefront of global communication.
  15. 0:32The reason is simple: it only needs 1/
  16. 0:3512th the key length to achieve the same
  17. 0:38strength, so where RSA requires 3072
  18. 0:41bits, Elliptic Curve only needs 256.
  19. 0:44It's lightweight, yet just as strong.
  20. 0:47Why does something that sounds like
  21. 0:49magic happen? Today, I’m going to
  22. 0:51spend 20 minutes slowly digging into
  23. 0:53just this one question.
  24. 0:54Kaigai Waipa Radio.
  25. 0:56Hello everyone, how are you? This is
  26. 0:58Kaigai Waipa. I've lived in Shanghai,
  27. 1:02New York, and New Zealand, and now I
  28. 1:04live in Singapore with my family. I
  29. 1:07share information about the world as
  30. 1:09seen from the front lines of the Asian
  31. 1:11economy, from my own unique perspective
  32. 1:13. I should mention upfront that today
  33. 1:15isn't our usual economic talk; it's
  34. 1:17more like a university liberal arts
  35. 1:19lecture. Some mathematical formulas
  36. 1:22will appear. However, every formula is
  37. 1:25paired with an analogy, so even if you
  38. 1:28gloss over the math and just follow the
  39. 1:30analogies, you won't get lost. Also,
  40. 1:33since I'll be speaking in a calm,
  41. 1:34steady tone today, I think it's
  42. 1:36actually suitable for listening to
  43. 1:38before bed. It’s perfectly fine if
  44. 1:40you fall asleep halfway through. The
  45. 1:42cryptography isn't going anywhere, so
  46. 1:44just pick up where you left off
  47. 1:45tomorrow night. There are three main
  48. 1:47points to discuss. First, why the
  49. 1:49previous champion, RSA, saw its keys
  50. 1:52constantly growing larger. Second, what
  51. 1:55the challenger, Elliptic Curve, is
  52. 1:57doing mathematically. This is the main
  53. 2:00part of today's show. Third. How that
  54. 2:03lightness is reshaping the world and
  55. 2:05what will happen in the future. Let's
  56. 2:07get started. First point. It’s about
  57. 2:10the former champion, RSA. How does it
  58. 2:13work, and why did the keys keep getting
  59. 2:15bigger? A 30-second premise. Internet
  60. 2:19communication is designed on the
  61. 2:20assumption that it could be intercepted
  62. 2:22along the way. That is why we use
  63. 2:24encryption. But traditional encryption
  64. 2:27had a fundamental problem: how do you
  65. 2:29get the key to the other person?
  66. 2:32Because the communication sending the
  67. 2:34key can also be intercepted. Public-key
  68. 2:37cryptography solved this in the 1970s
  69. 2:39with a shift in perspective. Imagine it
  70. 2:43as scattering open padlocks around the
  71. 2:46world, split into two keys: one for
  72. 2:48locking and one for opening. Anyone can
  73. 2:52snap it shut. But only the person with
  74. 2:55the key can open it. Since the tool to
  75. 2:59lock it can be shared, it’s "public."
  76. 3:02This padlock was created using math and
  77. 3:05revealed to the world in 1977 by Rivest
  78. 3:08, Shamir, and Adleman at MIT. Taking
  79. 3:13their initials, it’s called RSA. They
  80. 3:16focused on the asymmetry between
  81. 3:18multiplication and prime factorization.
  82. 3:21Multiplying prime numbers together is
  83. 3:23instantaneous. 3 times 11 equals 33.
  84. 3:30But if you're asked to factor 33 back
  85. 3:32into primes, it's easy for small
  86. 3:34numbers, but suddenly becomes hopeless
  87. 3:36with hundreds of digits. Except for the
  88. 3:40person who multiplied them, even a
  89. 3:42supercomputer couldn't reverse it in a
  90. 3:44realistic timeframe. Going is a breeze;
  91. 3:47returning is a nightmare. RSA is what
  92. 3:51turned this one-way street into a
  93. 3:53padlock. To explain the mechanism a bit
  94. 3:56more properly, it works like this. I'll
  95. 3:58put the detailed formulas on the screen
  96. 4:01, so you can just follow the flow by
  97. 4:02ear. Prepare two secret prime numbers,
  98. 4:07P and Q, and multiply them to get N.
  99. 4:10Release this N along with another
  100. 4:12number, E, used for encryption. This is
  101. 4:15the public key. It's the open padlock
  102. 4:18from before. When someone wants to send
  103. 4:22me a message M, they take M to the
  104. 4:24power of E and send the remainder when
  105. 4:26divided by N. Written as a formula:
  106. 4:28ciphertext C equals M to the E mod N.
  107. 4:31You can think of this "mod" as a
  108. 4:33division remainder, like a clock
  109. 4:35calculation. Like how 13:00 becomes
  110. 4:391:00. It's just like that. Upon
  111. 4:42receiving it, I use my secret number D
  112. 4:44to take C to the power of D and find
  113. 4:46the remainder when divided by N. Then,
  114. 4:49magically, it perfectly returns to the
  115. 4:52original message M. This D can only be
  116. 4:54created by someone who knows the prime
  117. 4:57numbers P and Q. E and D are chosen so
  118. 4:59that when multiplied, the remainder is
  119. 5:021 when divided by (P-1) times (Q-1).
  120. 5:05The proof that it loops back to the
  121. 5:07start is a tool from first-year
  122. 5:09university number theory called
  123. 5:10Fermat's Little Theorem. Today, we'll
  124. 5:12proceed with the understanding that
  125. 5:14it's just clock magic, where going
  126. 5:16around the world of remainders returns
  127. 5:18you to the start. Let's run through it
  128. 5:20once with small numbers. p = 3, Q = 11,
  129. 5:24multiply them for N = 33, and let E = 3
  130. 5:29. Let's assume the message you want to
  131. 5:32send is 2. Raise 2 to the 3rd power to
  132. 5:34get 8. Dividing by 33 leaves it as 8,
  133. 5:38so the ciphertext is 8. I receive it
  134. 5:42and raise 8 to the 7th power with my
  135. 5:44secret d = 7. That's about 2.1 million.
  136. 5:49Divide this by 33, and the remainder is
  137. 5:52exactly 2. It successfully returned to
  138. 5:55the original message. It's okay if you
  139. 5:58tuned out the numbers just now. There
  140. 6:00is only one thing I want you to take
  141. 6:01away. Go with E, and return with D. The
  142. 6:04return key D can only be created by
  143. 6:07someone who knows the prime factors.
  144. 6:10This is everything about RSA. RSA was
  145. 6:13king for about 30 years, but it had one
  146. 6:16fundamental weakness. A shortcut was
  147. 6:20found by the attacking side. There is a
  148. 6:22famous story about this. In 1977, along
  149. 6:26with the announcement of RSA, a
  150. 6:29challenge was set to factorize a 129-
  151. 6:32digit number. The estimate at the time
  152. 6:37was 4 years to solve it, but in fact,
  153. 6:39just 17 years later in 1994, volunteers
  154. 6:42from around the world brought their
  155. 6:44computers together and solved it. 4
  156. 6:48years turned into 17 years. What
  157. 6:51happened was not just that computers
  158. 6:53became faster, but that algorithms
  159. 6:55evolved. A family of shortcuts called "
  160. 6:59sieve methods," far faster than brute
  161. 7:01force, was discovered for prime
  162. 7:03factorization. What cracked the 129
  163. 7:06digits was the Quadratic Sieve, and
  164. 7:09later, the even faster General Number
  165. 7:11Field Sieve became the standard. It’s
  166. 7:15like thinking you had to climb a cliff
  167. 7:17head-on, only to find a spiral
  168. 7:18staircase on the back that kept getting
  169. 7:20improved every year. The staircase is
  170. 7:24long and narrow. Even so, it's orders
  171. 7:26of magnitude easier than climbing the
  172. 7:29cliff. In technical terms, this
  173. 7:30staircase is called a sub-exponential
  174. 7:33time algorithm. It is much faster than
  175. 7:36the exponential time of brute force,
  176. 7:38but slower than the polynomial time of
  177. 7:40ordinary calculations—a middle-ground
  178. 7:42speed. For ciphers where a shortcut is
  179. 7:46found, you have no choice but to keep
  180. 7:48lengthening the key and raising the
  181. 7:49wall. In fact, 512-bit RSA was broken
  182. 7:54in 1999, and by 2020, 829-bit RSA had
  183. 7:58fallen. That is why the minimum
  184. 8:01standard today is 2048 bits. For robust
  185. 8:04security, use 3072 bits. Incidentally,
  186. 8:09a 3072-bit RSA key is a 925-digit
  187. 8:12number in decimal. You couldn't fit it
  188. 8:16on a business card, even if you filled
  189. 8:18both sides. And to make matters worse,
  190. 8:22with the number field sieve, doubling
  191. 8:24the key length doesn't double the
  192. 8:26security. It’s an arms race where
  193. 8:29only the defender gets exhausted. If
  194. 8:32you want 256-bit level security in the
  195. 8:35future, you'd need a 15,360-bit RSA key
  196. 8:39. At that point, it’s less of a
  197. 8:41cipher and more of a burden. You
  198. 8:43couldn't possibly fit a key like that
  199. 8:45on an IC card or a small sensor. So,
  200. 8:48this brings us to the question. Is
  201. 8:51there no mountain out there with no
  202. 8:53shortcuts? Second, the main dish of the
  203. 8:56day. The story of finding that mountain
  204. 8:58with no shortcuts. Elliptic curves.
  205. 9:03Let's turn the clock back to 1985, when
  206. 9:05mathematicians Koblitz and Miller
  207. 9:07separately made the exact same proposal
  208. 9:10. Why not move the foundation of
  209. 9:13cryptography from prime factorization
  210. 9:15to elliptic curves? An elliptic curve
  211. 9:19is a curve defined by the equation y
  212. 9:21squared equals x cubed plus ax plus b.
  213. 9:26Despite the name "elliptic," it's not
  214. 9:28actually an ellipse. It originated
  215. 9:31historically from research into
  216. 9:33calculating the length of circular arcs
  217. 9:35, so "elliptic" remains in the name.
  218. 9:37When graphed, it's a gently undulating
  219. 9:39curve that's symmetrical vertically. Up
  220. 9:42to this point, it's just a curve. The
  221. 9:45interesting part starts here: you can
  222. 9:47define a unique kind of addition on
  223. 9:49this curve. Adding point P and point Q
  224. 9:52on the curve. How do we do it? We
  225. 9:55connect the two points with a straight
  226. 9:57line. Due to the properties of cubic
  227. 10:00equations, that line will always
  228. 10:01intersect the curve exactly one more
  229. 10:03time. You then reflect that third
  230. 10:07intersection point across the x-axis.
  231. 10:10We call the resulting point P plus Q.
  232. 10:12This is elliptic curve addition. It's
  233. 10:15similar to imagining a game of
  234. 10:16billiards. If you take a shot along the
  235. 10:19line connecting two balls, it hits a
  236. 10:21point on the table and bounces to a
  237. 10:23stop. That final position is the result
  238. 10:25of the addition. To add the same point
  239. 10:29twice, P plus P, you draw a tangent
  240. 10:31line to the curve at P and do the same
  241. 10:33thing. This gives you 2P. Add P to 2P,
  242. 10:38and you get 3P. If you repeat this, you
  243. 10:41can even create 1 trillion P. You might
  244. 10:43be thinking, "How on earth is that
  245. 10:45addition?" However, even if you change
  246. 10:47the order of operations or where you
  247. 10:49place the parentheses, the result is
  248. 10:51the same, and there’s even a special
  249. 10:53point that acts as zero. You can
  250. 10:55actually prove that it fulfills all the
  251. 10:57requirements to be called addition. In
  252. 10:59mathematics, this type of collection is
  253. 11:01called a group. It basically means a
  254. 11:04world where the "addition game" works
  255. 11:06perfectly. It's one of the first things
  256. 11:09you learn in university-level
  257. 11:10mathematics. But the diagrams so far
  258. 11:12were smooth curves of real numbers. In
  259. 11:15actual cryptography, to bring it into a
  260. 11:18finite world where error-free
  261. 11:19calculations are possible, we move this
  262. 11:22entire curve into a clock-like world.
  263. 11:25We think only in terms of dividing all
  264. 11:27coordinates by a massive prime number
  265. 11:29P. It’s the world of modular
  266. 11:30arithmetic we talked about earlier. You
  267. 11:32can visualize everything using this "
  268. 11:34clock arithmetic" that only considers
  269. 11:36remainders. If it’s 10 o'clock now,
  270. 11:40what time is it 4 hours later? 10 + 4
  271. 11:43is 14, but on a clock, the answer is 2.
  272. 11:47That’s because we are only looking at
  273. 11:49the remainder of 14 divided by 12. In
  274. 11:53this world, you can do addition and
  275. 11:55multiplication as usual, and the answer
  276. 11:57always falls between 0 and 11. Since
  277. 12:01the numbers don't grow infinitely, it's
  278. 12:03perfect for computers.
  279. 12:06There is also one other property that
  280. 12:07is vital for cryptography. Looking at
  281. 12:10the answer "2 o'clock" alone, you can't
  282. 12:13tell if it was 4 hours after 10 o'clock
  283. 12:15or 4 hours after 22 o'clock, right? In
  284. 12:18the world of remainders, the record of
  285. 12:20where you started disappears. This
  286. 12:22property, which makes it hard to trace
  287. 12:24back from the answer, comes into play
  288. 12:26later. Now, let’s bring the topic
  289. 12:28back to elliptic curves. What happens
  290. 12:30when we move them to this world of
  291. 12:32remainders? The smooth curve turns into
  292. 12:35a collection of scattered points. It
  293. 12:38looks like a starry sky, with points
  294. 12:40spread out randomly across the screen.
  295. 12:42The visual appearance of a curve
  296. 12:44completely disappears. But
  297. 12:46interestingly, the rules of addition
  298. 12:48survive intact in the form of equations
  299. 12:50. That said, it doesn't mean we’re
  300. 12:52drawing lines with a ruler across the
  301. 12:54starry sky. We just use the calculation
  302. 12:56formulas corresponding to the previous
  303. 12:58constructions, directly within this
  304. 13:00world of remainders. I'll show that
  305. 13:02formula just once. If we set the slope
  306. 13:05of the line connecting two points as
  307. 13:07lambda, the x-coordinate of the sum is
  308. 13:09lambda squared minus the x-coordinates
  309. 13:11of the original two points. It consists
  310. 13:13entirely of basic arithmetic operations
  311. 13:15. For those wondering how division
  312. 13:17works, you're sharp. Since there are no
  313. 13:19decimals in the world of remainders, we
  314. 13:21replace division with multiplying by
  315. 13:23the reciprocal. For example, in a world
  316. 13:26modulo 7, 3 times 5 is 15, and the
  317. 13:29remainder is 1. Because multiplying
  318. 13:32them returns 1, 5 is the reciprocal of
  319. 13:343. It is proven that if p is a prime
  320. 13:37number, every number has this
  321. 13:38counterpart, so all four arithmetic
  322. 13:40operations work in the world of
  323. 13:42remainders. You don't need to memorize
  324. 13:45this by ear. Even among the stars, the
  325. 13:48rules of billiards still apply. If you
  326. 13:50take just that away with you, it’s
  327. 13:52enough. Now, this is the core of
  328. 13:54today's topic. A powerful one-way
  329. 13:57street is hidden in this starry
  330. 13:59billiard game. We choose a starting
  331. 14:03point, point G. Then, we calculate
  332. 14:06point KG by adding G to itself K times.
  333. 14:11K is a massive number with about 78
  334. 14:14digits in base 10. If you added them up
  335. 14:18one by one, the universe would end
  336. 14:19before you finished. However, the
  337. 14:21calculator has a doubling trick up
  338. 14:23their sleeve. Add G and G to get 2G,
  339. 14:28then add 2G to itself to get 4G; by
  340. 14:31doubling like 8G, 16G, and 32G, you can
  341. 14:35advance quickly. By combining this
  342. 14:40doubling with occasional additions, you
  343. 14:42can reach KG in just a few hundred
  344. 14:44steps, no matter how huge the number is
  345. 14:46. I want you to recall the addition we
  346. 14:50established earlier. Even though we
  347. 14:52call it doubling, there are no new
  348. 14:54tools involved. 2G is adding G to G,
  349. 14:57the same point, so we use the tangent
  350. 14:59rule from before. 4G is 2G plus 2G,
  351. 15:03which is also a tangent. And when
  352. 15:07adding different points, like 8G and 4G
  353. 15:09, we use the chord rule. Everything is
  354. 15:12built on that single addition from the
  355. 15:14billiard game. Let's try it once with a
  356. 15:16small number. Suppose we want to get
  357. 15:2013G. Since 13 is 8 + 4 + 1, we first
  358. 15:25double G three times to get 2G, 4G, and
  359. 15:298G. Next, we add 8G and 4G to get 12G.
  360. 15:36Finally, we add G to get 13G. Instead
  361. 15:40of adding 13 times, we reach the goal
  362. 15:42in just 5 moves. The logic is the same
  363. 15:46even if K has 78 digits; doubling
  364. 15:48covers most of the distance, so it only
  365. 15:50takes a few hundred steps. It's like
  366. 15:52how folding a piece of paper 42 times
  367. 15:54would reach the moon. That is the power
  368. 15:56of that multiplication. That is why
  369. 15:58only those who know K can reach the
  370. 16:00goal in an instant. However, the
  371. 16:02reverse direction is different. If you
  372. 16:05are only given the start point G and
  373. 16:07the goal point kG and asked, "How many
  374. 16:09times was it added? What is K?", it
  375. 16:12becomes hopelessly difficult. It is
  376. 16:16like a game where you are shown only
  377. 16:17the first bullet and the final position
  378. 16:19of the bullet, and you have to guess
  379. 16:21how many shots were fired. The
  380. 16:23trajectory in between jumps randomly
  381. 16:25through the starry sky, leaving no
  382. 16:27footprints whatsoever. This is the
  383. 16:29elliptic curve discrete logarithm
  384. 16:31problem. And the true nature of the
  385. 16:36elliptic curve cryptography private key
  386. 16:38is this K, which is the number of times
  387. 16:40it was added. The public key is the
  388. 16:44position where the bullet landed, kG.
  389. 16:46At this point, sharp observers might
  390. 16:48think this: "Wait a minute, didn't
  391. 16:50everyone think prime factorization was
  392. 16:52impossible at first, too?""Won't a
  393. 16:55spiral staircase be found eventually?"
  394. 16:57That is a good question. So why is it
  395. 16:59that a shortcut was found for integer
  396. 17:02prime factorization, but none has been
  397. 17:04found for elliptic curves even 40 years
  398. 17:06after their proposal? What do you think
  399. 17:09is the difference between the two?
  400. 17:11Please think about it for a moment.
  401. 17:13Well? Actually, this is a point often
  402. 17:16glossed over in textbooks, but I think
  403. 17:18it is the most beautiful point of the
  404. 17:20day. The answer lies in whether or not
  405. 17:24you can use a scaffolding for an attack
  406. 17:26. Shortcut algorithms like the number
  407. 17:29field sieve actually relied on the rich
  408. 17:31properties of integers. In the world of
  409. 17:35integers, there are many structures
  410. 17:37that can be used as tools, such as
  411. 17:39being divisible by small primes or
  412. 17:41being smoothly factorable. The shortcut
  413. 17:43"spiral staircase" was built using
  414. 17:45those structures as scaffolding.
  415. 17:47However, even though there is structure
  416. 17:50in the points of an elliptic curve, we
  417. 17:52cannot find scaffolding equivalent to "
  418. 17:54smooth factorability." Addition is
  419. 17:57possible, but it simply refuses to show
  420. 18:00a face like "divisible by primes." We
  421. 18:03still cannot find the scaffolding
  422. 18:05needed to build a staircase. Of course,
  423. 18:07it has not been proven that a shortcut
  424. 18:09definitely does not exist. But for 40
  425. 18:12years, mathematicians around the world
  426. 18:14have challenged it, and not a single
  427. 18:16shortcut to a properly chosen curve has
  428. 18:18been found yet. This is where the
  429. 18:21research stands today. For a properly
  430. 18:23chosen curve, the best general attack
  431. 18:25currently known is Pollard's rho
  432. 18:27algorithm, which searches for a
  433. 18:29coincidental collision. It uses the "
  434. 18:34birthday paradox," where in a class of
  435. 18:3623 people, there's a 50%chance of a
  436. 18:39shared birthday. However, even with
  437. 18:42this, the computational complexity only
  438. 18:44drops to the square root of the
  439. 18:46brute-force search. This difference
  440. 18:48translates directly to the length of
  441. 18:49the key. A square-root attack on a 256-
  442. 18:53bit elliptic curve takes 2 to the 128th
  443. 18:56power steps; to put that in perspective
  444. 18:59, even with a billion computers trying
  445. 19:01a billion times per second, it would
  446. 19:04take 700 times the age of the universe.
  447. 19:08In short, 256 bits is effectively
  448. 19:11unbeatable. RSA, on the other hand,
  449. 19:14requires 3072 bits to reach the same 2
  450. 19:16to the 128th power level of strength
  451. 19:19because of its mathematical structure.
  452. 19:23Yes, we've now circled back to the 1/
  453. 19:2512th figure from the start. It’s not
  454. 19:30magic; the only difference is whether
  455. 19:32or not there’s a shortcut for the
  456. 19:33attacker. Finally, let me show you the
  457. 19:37most elegant example of how this
  458. 19:39one-way function works in reality.
  459. 19:42It’s the key handshake over an
  460. 19:43encrypted line mentioned at the
  461. 19:45beginning. I choose a secret number A
  462. 19:48and make the point AG public, which is
  463. 19:51G calculated A times. The other party
  464. 19:54chooses a secret B and makes BG public.
  465. 19:57I take the BG I received and calculate
  466. 20:00it A times. The other party takes the
  467. 20:03AG they received and calculates it B
  468. 20:05times. And just like that, we both
  469. 20:07arrive at the same point, ABG. Since A
  470. 20:12times B is the same as B times A, even
  471. 20:15though an eavesdropper only sees G, AG,
  472. 20:18and BG, they can't create ABG from that
  473. 20:20. That’s because A and B cannot be
  474. 20:24calculated backward. By the way, on the
  475. 20:29actual web, this handshake is combined
  476. 20:31with certificates and signatures to
  477. 20:33verify if the other party is legitimate
  478. 20:35. The commutative law of multiplication
  479. 20:38we learn in elementary school is what
  480. 20:40currently supports handshakes for
  481. 20:42communication worldwide. When I first
  482. 20:46understood this, I actually got
  483. 20:47goosebumps. That covers all the
  484. 20:50mathematical reasons why it’s both
  485. 20:52lightweight and strong. Oh, and I
  486. 20:55should cover what this lightness
  487. 20:57actually caused in the real world.
  488. 20:59Third, let’s talk about how this
  489. 21:01lightness has reshaped the world. I'll
  490. 21:06go over how its efficiency led to its
  491. 21:08spread, the trust-related incidents
  492. 21:10that occurred along the way, and
  493. 21:12finally, the next era involving quantum
  494. 21:15computers. Having a key 1/12th the size
  495. 21:18for the same strength makes a massive
  496. 21:20difference in practice. First,
  497. 21:23regarding data volume, which is a
  498. 21:26different figure from key length, when
  499. 21:28compared at the same strength, the data
  500. 21:31sent as a signature is 64 bytes for
  501. 21:33elliptic curves versus 384 for RSA.
  502. 21:38That's it. Next are batteries and
  503. 21:40components: IC cards, car smart keys,
  504. 21:43and small IoT sensors. Even with such
  505. 21:45low-power chips, elliptic curves can
  506. 21:47create signatures at a decent speed.
  507. 21:49And another quiet benefit is key
  508. 21:51generation. With RSA, every time you
  509. 21:54make a key, you have to find two
  510. 21:56massive prime numbers, almost like a
  511. 21:58lottery. For elliptic curves, you just
  512. 22:01pick one 256-bit random number, and
  513. 22:03that is your private key. Just roll the
  514. 22:06dice and you're done. For the record,
  515. 22:08if you are only verifying signatures,
  516. 22:10RSA is actually faster, which is why it
  517. 22:13is still active in older systems and
  518. 22:15many certificates. But overall,
  519. 22:18elliptic curves are lighter to create,
  520. 22:21send, and carry around. That’s why
  521. 22:23the shift toward them has been a
  522. 22:24one-way street. In 2005, the U.S.
  523. 22:27National Security Agency (NSA) set
  524. 22:30elliptic curves as their recommended
  525. 22:32cryptographic suite for secret
  526. 22:34communications. In 2009, Bitcoin
  527. 22:38appeared and entrusted the entire proof
  528. 22:40of coin ownership to elliptic curve
  529. 22:43signatures. The secret behind Bitcoin
  530. 22:46is literally that 256-bit number
  531. 22:48representing how many times the point
  532. 22:50was added. The ownership of the heart
  533. 22:54of that massive market cap hangs on the
  534. 22:56assumption that the discrete logarithm
  535. 22:58problem cannot be solved. Since my job
  536. 23:01is asset management, I still find it
  537. 23:03quite radical that a vault for assets
  538. 23:05is just a single mathematical formula,
  539. 23:08rather than something physical or legal
  540. 23:10. Also, smartphone messaging apps like
  541. 23:14Signal and WhatsApp use elliptic curves
  542. 23:16for end-to-end encryption. Even in
  543. 23:19current web standards, elliptic curves
  544. 23:21have become the mainstream for key
  545. 23:23exchange. The changing of the guard is
  546. 23:26complete. However, there is one famous
  547. 23:28dark side to this history of transition
  548. 23:30. Researchers had pointed out early on
  549. 23:35that the Dual_EC elliptic curve-based
  550. 23:37mechanism, adopted as a standard for
  551. 23:39random number generation, could have a
  552. 23:41backdoor embedded by its designer
  553. 23:43depending on the choice of constants.
  554. 23:48Then, following the 2013 Snowden leaks,
  555. 23:51suspicions grew that the NSA had indeed
  556. 23:54tried to plant a backdoor in the
  557. 23:56standard. Furthermore, Reuters reported
  558. 24:02that the NSA paid the major security
  559. 24:05firm RSA Security $ 10 million to set
  560. 24:07that mechanism as the default in their
  561. 24:10products. And it was none other than
  562. 24:13RSA, the company that bore the name.
  563. 24:17The company denied these reports, but
  564. 24:19the Dual_EC method in question was
  565. 24:22officially removed from US standards in
  566. 24:242015. The lesson this incident left for
  567. 24:27the industry is quite interesting. You
  568. 24:30can trust the mathematics of the curves
  569. 24:32. But you cannot necessarily trust the
  570. 24:34people who chose the constants for
  571. 24:36those curves. Fanned by this distrust,
  572. 24:40Curve25519, designed by a researcher
  573. 24:43named Bernstein, suddenly took off. He
  574. 24:49published all the reasons for his
  575. 24:50choice of coefficients, effectively
  576. 24:52saying, "I have nothing hidden up my
  577. 24:54sleeve." Today, this curve is widely
  578. 24:58used for handshakes in smartphones and
  579. 25:01on the web. So, are elliptic curves the
  580. 25:04eternal champions? Actually, the date
  581. 25:07of their retirement is starting to come
  582. 25:09into view. It's quantum computers. As
  583. 25:14early as 1994, a mathematician named
  584. 25:16Shor theoretically proved that if a
  585. 25:19large-scale quantum computer is built,
  586. 25:21prime factorization and discrete
  587. 25:23logarithms can be solved in a realistic
  588. 25:25timeframe. The day that becomes a
  589. 25:28reality, both RSA and elliptic curves
  590. 25:30will collapse from their foundations.
  591. 25:33Ironically, because their keys are
  592. 25:34shorter, estimates suggest elliptic
  593. 25:37curves will be broken with fewer qubits
  594. 25:39, meaning they are likely to be
  595. 25:41defeated first. So, their strength now
  596. 25:44becomes their weakness. That is why the
  597. 25:46world is currently preparing for its
  598. 25:48third migration. A migration to yet
  599. 25:50another mathematical mountain known as
  600. 25:52lattice-based cryptography. In 2024, US
  601. 25:55standardization bodies finalized the
  602. 25:57first post-quantum cryptography
  603. 25:59standards, and apps like Apple Messages
  604. 26:02have already begun layering elliptic
  605. 26:04curves with lattice cryptography. The
  606. 26:07interesting part is the key size. With
  607. 26:10the primary standard method, the public
  608. 26:13key is over 1,000 bytes, which is more
  609. 26:15than 30 times larger than the 32 bytes
  610. 26:18elliptic curves required. The keys are
  611. 26:21getting fat again. Finally, a little
  612. 26:24bit about my own perspective. The fact
  613. 26:26that "lightweight yet strong" was never
  614. 26:28something to be taken for granted. In
  615. 26:31the world of tools, aren't lightness
  616. 26:33and strength usually a trade-off? Light
  617. 26:36armor is thin, and sturdy safes are
  618. 26:38heavy. Yet, elliptic curve cryptography
  619. 26:42managed to be both lightweight and
  620. 26:44strong for 40 years. The reason isn't
  621. 26:47because humans worked hard to make it
  622. 26:49that way, is it? The world of heaven
  623. 26:52borrows the inherent property of
  624. 26:54mathematics that there are no
  625. 26:56overlapping footholds for attackers to
  626. 26:58use. Human ingenuity will eventually be
  627. 27:02outsmarted. But for 40 years, no one
  628. 27:05has been able to outsmart an opponent
  629. 27:07with no overlapping footholds. The idea
  630. 27:11that the strongest defense is to offer
  631. 27:13no shortcuts feels like a Zen riddle,
  632. 27:15which I find truly beautiful. And
  633. 27:18there's another thing; as seen in the
  634. 27:20Dual_EC incident, the trust in
  635. 27:22cryptography isn't complete with
  636. 27:24mathematical proofs alone. Who chose
  637. 27:27those constants? Was the
  638. 27:29decision-making process transparent?
  639. 27:32Mathematics doesn't lie, but it is
  640. 27:34humans and institutions that implement
  641. 27:36it. The structure here is exactly the
  642. 27:39same as the trust involved in currency
  643. 27:41or finance. For those who watch this
  644. 27:44channel regularly, this probably
  645. 27:46strikes a chord.
  646. 27:48So, here is today's summary. The
  647. 27:50strength of cryptography is determined
  648. 27:52by whether there is a shortcut for the
  649. 27:54attacker. A spiral staircase was found
  650. 27:56for prime factorization, so RSA keys
  651. 27:58kept getting fatter. In the starry-sky
  652. 28:00billiards of elliptic curves, no
  653. 28:02shortcut has been found for 40 years.
  654. 28:04That’s why a 256-bit key provides the
  655. 28:08same strength as a 3072-bit RSA key.
  656. 28:11This is the answer. Those who listened
  657. 28:13this far probably have a knack for the
  658. 28:15sciences. If you fell asleep midway,
  659. 28:18that is actually a perfectly correct
  660. 28:20way to use this video. Good night. Also
  661. 28:23, for those who studied math at
  662. 28:24university, I’m sure you noticed I
  663. 28:26skipped a lot, like group theory.
  664. 28:30Supplementary comments from experts are
  665. 28:32very welcome. That is all for today. If
  666. 28:37you liked this video, please give it a
  667. 28:39like and subscribe to the channel. I
  668. 28:44read every single comment. See you next
  669. 28:47time.

About this transcript

This page contains the full transcript of 【高校数学でよく寝れる】暗号マニアの僕が語りたい、楕円曲線暗号のビューチホー by 海外Yパパラジオ 世界を読み解く, generated from the public captions YouTube serves with the video. The transcript has 4,348 words across 669 segments, with the original timestamps preserved so you can click any line to jump to that moment in the embedded player.

What you can do with it

Use the transcript to take notes, quote the speaker, build a study guide, generate a summary with ChatGPT or Claude via the YouTube Summary tool, or export it as a timed subtitle file with YouTube to SRT. You can also re-open it in the transcriber to translate the transcript into 100+ languages.

Free YouTube transcript tool

YouTube2Text is a free YouTube transcript generator — no signup, no daily limit. Paste any YouTube link and get the full transcript instantly, with timestamps, click-to-jump, translation to 100+ languages, AI prompts for ChatGPT, Claude, and Gemini, and exports to TXT, SRT, VTT, or Markdown.