Quantum Computers &Where to Hide from Them量子コンピュータと

暗号

Nick Doiron ｜ニック・ドレン

こんにちは

@mapmeld Twitter & GitHub

フリーランサー

OLPC, Code for America, MoMA, OSM contrib

課題

なぜ量子が面白いか？

本当に量子コンピュータが

存在するか?

どうやって量子コンピュー

ターのプログラミング？

様々なセキュリティーと

プライバシーの問題

コンピュータの歴史

ムーアの法則

Better transistors, better computers!

ムーアの法則の終焉？

Labs at limits of silicon (June 2017)

+ carbon nanotubes (October 2016)

量子ビット（キュービット）とは何か？

ビット: 「0」か「1」

状態の重ね合わせ:波動関数の崩壊まで、 「0」と「1」量子もつれ: 2^n

量子ビットとは 何か？

ファインマン先生の ”名言”

“If you think you understand quantum mechanics, you don’t understand quantum mechanics”

「量子力学を理解していると思うなら

量子力学を理解していない」

量子ビットとは 何か？

論理回路: AND,OR,NAND,XOR,NOR ゲート

量子ゲート

状態の重ね合わせながら、 会う・通過する

本当な量子コンピュータが存在する?

量子ビット IRL

本当に量子コンピュータが存在する?

IBM56 ビットをシミュレートするOffers 5 (recently built 17 qubits) in cloud

Rigetti Computing30 ビットをシミュレートするOffers 8 qubit chips

IONQ秘密保持契約

初めるの　アプリケーション: 化学

“simulating molecules and reactions is the use case for early, small quantum computers…even the most powerful supercomputers cannot perfectly re-create all the complex quantum behaviors of atoms and electrons in even relatively small molecules”

MIT / Technology Review, Mar 2017

どうプログラムを書く？

1. 量子ビットが会って、ゲートを通過する

2. 量子ビットをクラシールビットに書く

3. n回 繰り返す

アセンブリ言語 ? Quil / pyQuilH 1MEASURE 1 [1]JUMP-WHEN @THEN3 [1]JUMP @END4LABEL @THEN3X 0LABEL @END4MEASURE 0 [0]

jsQuil のプログラムを書く

IBM - QISkit.orgJupyter notebooks available online

1994年: 量子と暗号

Shor’s Algorithm量子の フーリエ変換

(not for NP-hard ?s)

NSAも?

2013

2016

新しい暗号を作る

量子の暗号

ポスト量子暗号

SSL/TLS: 新たなる希望

New experiment by Chrome team

BoringSSL (AES + Ring-Learning-With-Errors)

ほかの　ポスト量子暗号

- longer keys (1000-x longer RSA)- Multivar quadratic equations- Hashes- McEliece / Goppa codes

GPG から　 CodeCryptまで

by Mirek Kratochvil

McEliece Crypto System for Encryption, hash for Signing

As a result - needs two sets of public/private keys

Modeled after GPG commands, but has different output

Enigmail のチーム

Robert J. Hanson, Enigmail+gpg mod / support

日本の会社と大学

2016年十一月 - Shor Part 2

ありがとう!

- PQCrypto.org- Post-Quantum Cryptography on Amazon- Scott Aaronson’s blog and

Quantum Computing since Democritus

@mapmeld on Twitter & GitHub