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

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

Sponsored · Ship Features Fearlessly Turn features on and off without deploys. Used by thousands of Ruby developers. →
Avatar for Takeharu-K Takeharu-K
November 22, 2019
Technology
780
0

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

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

zk-SNARK
ZoKrates
ゼロ知識証明

Avatar for Takeharu-K

Takeharu-K

November 22, 2019

More Decks by Takeharu-K

See All by Takeharu-K
【Lightning Acompany #4】秘密計算のお気持ちを理解する
Avatar for Takeharu-K takeharuk
0
280
秘密計算勉強会#1資料/TEE・マルチパーティ計算・完全準同型暗号
Avatar for Takeharu-K takeharuk
0
1.8k
ブロックチェーンで変わる未来　基礎知識編
Avatar for Takeharu-K takeharuk
0
120
Schnorr署名を10分で理解＠blockchain.nagoya
Avatar for Takeharu-K takeharuk
0
510
ECDSAを10分で理解/名古屋LT会
Avatar for Takeharu-K takeharuk
0
720

Other Decks in Technology

See All in Technology
Generative UI × A2UI で AI エージェントを作った話　AI-DLC も使ってみた！
Avatar for たけのこ kmiya84377
1
290
速さだけじゃない！ VoidZero ツールが移行先に選ばれる理由
Avatar for mizdra mizdra
PRO
6
700
大規模災害時でも高い信頼性を維持するアプリケーション基盤の実現/nikkei-tech-talk46
Avatar for 日本経済新聞社 エンジニア採用事務局 nikkei_engineer_recruiting
0
120
Sony_KMP_Journey_KotlinConf2026
Avatar for ソニー株式会社 sony
1
180
20260528_生成AIを専属DSに_Howの次にすべきことを考える
Avatar for NobuakiOshiro doradora09
PRO
0
270
マーケットプレイス版Oracle WebCenter Content For OCI
Avatar for oracle4engineer oracle4engineer
PRO
5
1.7k
ポスター発表&デモと総括 / Poster Presentations & Demonstrations and Summary
Avatar for Kenji Saito ks91
PRO
0
180
PHP と TypeScript の型システム比較：AI 時代の「型」は誰のためにあるのか？ #frontend_phpcon_do / frontend_phpcon_do_2026
Avatar for shogogg shogogg
1
190
類似画像検索モデルの開発ノウハウ
Avatar for LINEヤフーTech (LY Corporation Tech) lycorptech_jp
PRO
4
1.1k
oracle-to-databricks-migration-with-llm-and-dbt
Avatar for case-k-git casek
1
380
もりもり新機能を一挙紹介！ AgentCoreに入門して、AWS上にAIエージェントを構築しよう
Avatar for みのるん minorun365
PRO
6
400
Java正規表現エンジン（NFA）の仕組みと パフォーマンスを維持するための最適化手法
Avatar for 竹内 雅和 takeuchi_132917
0
160

Featured

See All Featured
Exploring the relationship between traditional SERPs and Gen AI search
Avatar for Ray Grieselhuber raygrieselhuber
PRO
2
4k
Sharpening the Axe: The Primacy of Toolmaking
Avatar for Bryan Cantrill bcantrill
46
2.8k
The Curious Case for Waylosing
Avatar for Cassini Nazir cassininazir
1
370
B2B Lead Gen: Tactics, Traps & Triumph
Avatar for Sophie Logan marketingsoph
0
130
Mind Mapping
Avatar for Hélio Medeiros helmedeiros
PRO
1
220
Learning to Love Humans: Emotional Interface Design
Avatar for Aarron Walter aarron
275
41k
Money Talks: Using Revenue to Get Sh*t Done
Avatar for Nikki Halliwell nikkihalliwell
0
240
Large-scale JavaScript Application Architecture
Avatar for Addy Osmani addyosmani
515
110k
Bridging the Design Gap: How Collaborative Modelling removes blockers to flow between stakeholders and teams @FastFlow conf
Avatar for Kenny Baas-Schwegler baasie
0
570
How to Build an AI Search Optimization Roadmap - Criteria and Steps to Take #SEOIRL
Avatar for Aleyda Solis aleyda
1
2.1k
Bootstrapping a Software Product
Avatar for Garrett Dimon garrettdimon
PRO
307
120k
The Art of Programming - Codeland 2020
Avatar for Erika Heidi erikaheidi
57
14k

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 !