Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
ZoKrates - zk-SNARKをEthereumで使おう -
Search
Takeharu-K
November 22, 2019
Technology
0
710
ZoKrates - zk-SNARKをEthereumで使おう -
Blockchain Nagoya LT会で発表したスライドです。
zk-SNARK
ZoKrates
ゼロ知識証明
Takeharu-K
November 22, 2019
Tweet
Share
More Decks by Takeharu-K
See All by Takeharu-K
【Lightning Acompany #4】秘密計算のお気持ちを理解する
takeharuk
0
250
秘密計算勉強会#1資料/TEE・マルチパーティ計算・完全準同型暗号
takeharuk
0
1.7k
ブロックチェーンで変わる未来 基礎知識編
takeharuk
0
110
Schnorr署名を10分で理解@blockchain.nagoya
takeharuk
0
430
ECDSAを10分で理解/名古屋LT会
takeharuk
0
660
Other Decks in Technology
See All in Technology
ネットワーク保護はどう変わるのか?re:Inforce 2025最新アップデート解説
tokushun
0
150
ビズリーチが挑む メトリクスを活用した技術的負債の解消 / dev-productivity-con2025
visional_engineering_and_design
0
190
CI/CD/IaC 久々に0から環境を作ったらこうなりました
kaz29
1
200
解析の定理証明実践@Lean 4
dec9ue
1
200
5min GuardDuty Extended Threat Detection EKS
takakuni
0
180
マーケットプレイス版Oracle WebCenter Content For OCI
oracle4engineer
PRO
3
940
OPENLOGI Company Profile for engineer
hr01
1
33k
Tokyo_reInforce_2025_recap_iam_access_analyzer
hiashisan
0
140
PHPでWebブラウザのレンダリングエンジンを実装する
dip_tech
PRO
0
220
使いたいMCPサーバーはWeb APIをラップして自分で作る #QiitaBash
bengo4com
0
1.3k
タイミーのデータモデリング事例と今後のチャレンジ
ttccddtoki
4
1.5k
より良いプロダクトの開発を目指して - 情報を中心としたプロダクト開発 #phpcon #phpcon2025
bengo4com
1
3.2k
Featured
See All Featured
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
How to Ace a Technical Interview
jacobian
277
23k
Building Better People: How to give real-time feedback that sticks.
wjessup
367
19k
YesSQL, Process and Tooling at Scale
rocio
173
14k
Thoughts on Productivity
jonyablonski
69
4.7k
The Straight Up "How To Draw Better" Workshop
denniskardys
234
140k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Six Lessons from altMBA
skipperchong
28
3.9k
実際に使うSQLの書き方 徹底解説 / pgcon21j-tutorial
soudai
PRO
181
53k
Embracing the Ebb and Flow
colly
86
4.7k
Code Reviewing Like a Champion
maltzj
524
40k
Mobile First: as difficult as doing things right
swwweet
223
9.7k
Transcript
ZoKrates zk-SNARKをEthereumで使う 191122 Acompany CTO 近藤岳晴
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Ethereumにおけるトランザクション処理 コントラクトの実⾏と検証を⾏う
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. オフチェーンで計算 実⾏結果の検証だけを⾏う
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. オフチェーン計算のメリット • ノードの負荷が下がる •
スケーラビリティが上がる • TPSが上がる • 情報を秘密にすることができる • 残⾼情報を秘密にできる • コントラクトで秘密にしたい情報を扱うことができる
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 実現⽅法 ゼロ知識証明を⽤いる
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ゼロ知識証明 「秘密の情報を知っていることを、秘密の情 報を開⽰することなく証明すること」 例
• 洞窟の奥の扉の秘密の合⾔葉を知っている ことを証明したい • 検証する⼈が証明する⼈にAかBどちらかの ⽅から出てくることを要求する • 証明する⼈は指定された⽅から出てくる • 以上を何度も繰り返す • 秘密を知っている⼈は全て正しく出てくる
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ゼロ知識証明の問題点 証明に何度もやり取りをする必要がある
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 解決策 zk-SNARKを使う
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. zk-SNARK • Zero-Knowledge Succinct
Non-interactive Arguments of Knowledge • ⼀回のメッセージのやりとりで完了 • ゼロ知識性を持つ • 秘密情報を漏らすことがない • 検証者は証明が正しければ承認する • 証明が正しくなければ承認しない • デメリット • 信頼できる第三者による準備が必要
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. zk-SNARK概観 ⼊⼒ 出⼒ X
計算回路作成 Setup 信頼された第三者が実⾏ 検証 証明鍵 検証鍵 証明者 検証者 証明 + X
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Ethereumで簡単に使うには ZoKrates ゾクラテス
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKrates • Ethereumでzk-SNARKを使うためのCLIツール •
機能 • 計算回路作成 • Setup処理 • 証明作成 • 検証⽤コントラクト作成
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKrates概観 • 独⾃の⾼級⾔語で計算回路作成 •
Setupの実⾏ • 証明の作成 • 検証⽤コントラクトコード作成
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 内部の仕組み ZoKrates のコード パース
フラット化 CLI ⼊⼒ Witness R1CSに変換 libsnark コントラクト コード⽣成
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
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Remixで使える
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. ZoKratesでzk-SNARKをEthereumで使ってみよう
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. 詳しくはこちらで https://hackernoon.com/zokrates-zksnarks-on-ethereum-made- easy-ql5oc3638
Strictly Confiden8al Copyright©株式会社Acompany All right reserved. Happy Hacking !