Upgrade to Pro — share decks privately, control downloads, hide ads and more …

ZoKrates - zk-SNARKをEthereumで使おう -

89def89f05206a562079048f4b78994c?s=47 Takeharu-K
November 22, 2019
Technology
0
210

ZoKrates - zk-SNARKをEthereumで使おう -

Blockchain Nagoya LT会で発表したスライドです。

zk-SNARK
ZoKrates
ゼロ知識証明

89def89f05206a562079048f4b78994c?s=128

Takeharu-K

November 22, 2019
Tweet

More Decks by Takeharu-K

See All by Takeharu-K
89def89f05206a562079048f4b78994c?s=48 takeharuk
0
200
89def89f05206a562079048f4b78994c?s=48 takeharuk
0
75
89def89f05206a562079048f4b78994c?s=48 takeharuk
0
160
89def89f05206a562079048f4b78994c?s=48 takeharuk
0
210

Other Decks in Technology

See All in Technology
3487ed46845ad0c09d36c3c1c0533ea6?s=48 masakick
0
110
Cd891a89dfec6ca7bd278b5f5bd87c90?s=48 tzkoba
0
390
F3c727195d975cf7a4b300e4f5c2c0d1?s=48 am7cinnamon
2
2.6k
3420e65cb2d008af23ec2ca10afe0aef?s=48 yuuturn
1
130
C47bda32c8455a59471cd7e19c32c074?s=48 hamadakoji
0
1.1k
2f8b61ad31dd9c6ada4a90af746290fd?s=48 shotakashihara
1
1.3k
Da40bdb49bfb7a3fc9426dacac78a99c?s=48 ama_ch
0
3.3k
9cdb1d21375062bc2cd0d1358c2fa1f0?s=48 noir_neo
0
120
3f5ae6480375e527d01ee337d6c30a5f?s=48 sasakendayo
2
320
Bee82b2f6e75097641a3ba5ce70c2368?s=48 takem001
0
870
0e20ab5db11ca70d818a4f10bfea9c9c?s=48 ymas0315
0
140
3115a782126be714b5f94d24073c957d?s=48 oracle4engineer
1
210

Featured

See All Featured
F716e5f737fcfb03f2cf8d1a184f1dbe?s=48 nonsquared
81
3.3k
8081b26e05bb4354f7d65ffc34cbbd67?s=48 chriscoyier
684
180k
Ecdea9b9714877b86cee08458f085481?s=48 trallard
13
640
95d9f37115fbb0d13135d0f77132f856?s=48 morganepeng
17
1.1k
053e75a5b48b44d6dd0612795dfb326d?s=48 notwaldorf
13
1.5k
761be20b5ebd271008bcee1244fc5b52?s=48 matthewcrist
73
7.5k
7559f6cff1f5efc2d210965febd4d71c?s=48 bermonpainter
342
26k
3d4519fd34b76fb265fc0237f3792bd4?s=48 danielanewman
1
470
433acaea1012b25d97ae66da9b998dad?s=48 malarkey
119
16k
6804f1775cb4babfcc3851298566fbce?s=48 tanoku
258
24k
9cde37f47e4a800ea081ea42de8d749a?s=48 dougneiner
119
7.8k
462dad0dd24c568a32dcdb0ae895ae1b?s=48 rasmusluckow
318
18k

Transcript

  1. ZoKrates zk-SNARKをEthereumで使う 191122 Acompany CTO 近藤岳晴

  2. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Ethereumにおけるトランザクション処理 コントラクトの実⾏と検証を⾏う

  3. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. オフチェーンで計算 実⾏結果の検証だけを⾏う

  4. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. オフチェーン計算のメリット • ノードの負荷が下がる •

    スケーラビリティが上がる • TPSが上がる • 情報を秘密にすることができる • 残⾼情報を秘密にできる • コントラクトで秘密にしたい情報を扱うことができる

  5. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 実現⽅法 ゼロ知識証明を⽤いる

  6. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ゼロ知識証明 「秘密の情報を知っていることを、秘密の情 報を開⽰することなく証明すること」 例

    • 洞窟の奥の扉の秘密の合⾔葉を知っている ことを証明したい • 検証する⼈が証明する⼈にAかBどちらかの ⽅から出てくることを要求する • 証明する⼈は指定された⽅から出てくる • 以上を何度も繰り返す • 秘密を知っている⼈は全て正しく出てくる

  7. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ゼロ知識証明の問題点 証明に何度もやり取りをする必要がある

  8. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 解決策 zk-SNARKを使う

  9. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. zk-SNARK • Zero-Knowledge Succinct

    Non-interactive Arguments of Knowledge • ⼀回のメッセージのやりとりで完了 • ゼロ知識性を持つ • 秘密情報を漏らすことがない • 検証者は証明が正しければ承認する • 証明が正しくなければ承認しない • デメリット • 信頼できる第三者による準備が必要

  10. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. zk-SNARK概観 ⼊⼒ 出⼒ X

    計算回路作成 Setup 信頼された第三者が実⾏ 検証 証明鍵 検証鍵 証明者 検証者 証明 + X

  11. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Ethereumで簡単に使うには ZoKrates ゾクラテス

  12. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKrates • Ethereumでzk-SNARKを使うためのCLIツール •

    機能 • 計算回路作成 • Setup処理 • 証明作成 • 検証⽤コントラクト作成

  13. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKrates概観 • 独⾃の⾼級⾔語で計算回路作成 •

    Setupの実⾏ • 証明の作成 • 検証⽤コントラクトコード作成

  14. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 内部の仕組み ZoKrates のコード パース

    フラット化 CLI ⼊⼒ Witness R1CSに変換 libsnark コントラクト コード⽣成

  15. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 計算回路のコード例 def main(private field

    a, field b) -> (field): field result = if a * a == b then 1 else 0 fi return result

  16. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Remixで使える

  17. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKratesでzk-SNARKをEthereumで使ってみよう

  18. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 詳しくはこちらで https://hackernoon.com/zokrates-zksnarks-on-ethereum-made- easy-ql5oc3638

  19. Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Happy Hacking !