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
Hybrid Casper FFG
Search
Sponsored
·
Ship Features Fearlessly
Turn features on and off without deploys. Used by thousands of Ruby developers.
→
Tomoya Ishizaki
June 12, 2018
Technology
3
690
Hybrid Casper FFG
Tomoya Ishizaki
June 12, 2018
Tweet
Share
More Decks by Tomoya Ishizaki
See All by Tomoya Ishizaki
Chompyらくとく便のこれまでとこれから
zaq1tomo
0
2.2k
【輪講】Ray: A Distributed Framework for Emerging AI Applications
zaq1tomo
2
280
xv6 chapter5 first
zaq1tomo
0
270
xv6 chapter1 first
zaq1tomo
1
160
Other Decks in Technology
See All in Technology
15 years with Rails and DDD (AI Edition)
andrzejkrzywda
0
200
Introduction to Sansan for Engineers / エンジニア向け会社紹介
sansan33
PRO
6
68k
SRE Enabling戦記 - 急成長する組織にSREを浸透させる戦いの歴史
markie1009
0
130
GitHub Issue Templates + Coding Agentで簡単みんなでIaC/Easy IaC for Everyone with GitHub Issue Templates + Coding Agent
aeonpeople
1
250
We Built for Predictability; The Workloads Didn’t Care
stahnma
0
140
10Xにおける品質保証活動の全体像と改善 #no_more_wait_for_test
nihonbuson
PRO
2
320
広告の効果検証を題材にした因果推論の精度検証について
zozotech
PRO
0
190
超初心者からでも大丈夫!オープンソース半導体の楽しみ方〜今こそ!オレオレチップをつくろう〜
keropiyo
0
110
Bedrock PolicyでAmazon Bedrock Guardrails利用を強制してみた
yuu551
0
250
クレジットカード決済基盤を支えるSRE - 厳格な監査とSRE運用の両立 (SRE Kaigi 2026)
capytan
6
2.8k
データの整合性を保ちたいだけなんだ
shoheimitani
8
3.2k
Frontier Agents (Kiro autonomous agent / AWS Security Agent / AWS DevOps Agent) の紹介
msysh
3
180
Featured
See All Featured
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.6k
コードの90%をAIが書く世界で何が待っているのか / What awaits us in a world where 90% of the code is written by AI
rkaga
60
42k
How to Align SEO within the Product Triangle To Get Buy-In & Support - #RIMC
aleyda
1
1.4k
Designing for humans not robots
tammielis
254
26k
Digital Ethics as a Driver of Design Innovation
axbom
PRO
1
180
Become a Pro
speakerdeck
PRO
31
5.8k
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
livdayseo
0
67
技術選定の審美眼(2025年版) / Understanding the Spiral of Technologies 2025 edition
twada
PRO
117
110k
Testing 201, or: Great Expectations
jmmastey
46
8k
Raft: Consensus for Rubyists
vanstee
141
7.3k
A Tale of Four Properties
chriscoyier
162
24k
Documentation Writing (for coders)
carmenintech
77
5.3k
Transcript
None
自己紹介 石崎智也 • 慶應理工 情報工学科 年 • メルペイ 分散台帳開発部 •
ブロックチェーンコミュニティ
今日の内容 の 移行と について • なぜ のままではダメなのか • 単純な では何が問題か
• の解決策は?
なぜ のままではダメなのか
なぜ のままではダメなのか 現状の は で動いているが、ワールドコンピューターを 実現するためには問題点がある。 電気代 ファイナリティ
電気代問題
電気代問題 莫大な電気代と環境への負担 • の の • の年間消費電力は 以上 • 小国の年間消費電力よりも多い
よりも消費が少ない国は つ以上 • では環境への負担が懸念される
ファイナリティ問題
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃 乗っ取り!!
ファイナリティ問題 ファイナリティ ≒ トランザクションが覆らないこと • は確率的なファイナリティ 承認 ≒ 確率的に安全な閾値 絶対に安全なわけではない
• 攻撃可能性 攻撃 という手法も 乗っ取り!!
の問題点まとめ なぜ は、 から に移行するのか。 • 電気代 マシンパワーを裏付けとしないため大量の電気代を必要としない。 • ファイナリティ問題
のような確率的ではないファイナリティを得ることができる。
単純な の問題点
とはなにか? • 資産の賭け高による証明 • 年 で提案 • で始めて導入 単純な ではいくつかの問題がある。
None
では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。
メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。
フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。
フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。
フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。
フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。 デポジット回収済みのブロックからフォーク。
フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 乗っ取り!! では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。
デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
引き出し申請 引き出し待ち 引き出し完了 引き出し後 乗っ取り!! では、大量のハッシュパワーが必要。 では、コストなく攻撃できる。 デポジットの引き出しを申請する。 引き出せるまで一定期間待つ。 デポジットが返ってくる。
デポジット回収済みのブロックからフォーク。 フォークをメインチェーンよりはやく伸ばす。 メインチェーンをコストなく乗っ取ることが可能。
None
「何も賭けていない問題」
「何も賭けていない問題」 • はハッシュパワーが分散してしまう • 正しいチェーンだけを伸ばすほうが期待値が高い 期待値 期待値 期待値
「何も賭けていない問題」 • はハッシュパワーが分散してしまう • 正しいチェーンだけを伸ばすほうが期待値が高い • は投票するだけで特別なコストがかからない • 全てのチェーンに賭けるほうが期待値が高い 期待値
期待値 期待値
「何も賭けていない問題」 • はハッシュパワーが分散してしまう • 正しいチェーンだけを伸ばすほうが期待値が高い • は投票するだけで特別なコストがかからない • 全てのチェーンに賭けるほうが期待値が高い 「真のチェーンだけ投票する利益
> フォークにも投票する利益」 となる必要がある。 期待値 期待値 期待値
の解決策は?
の概要 への対策 への対策
の概要
の概要 ≒ 移行の第一段階 • でチェーンを伸ばしていく • ブロックを とする • 毎の終わりに
がある • で による投票を行う • 以上の投票で は承認される • 回の承認でファイナリティを得る →
への対策
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める に戻る
次の が されると 一つ前の は となる の流れ
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる
の流れ ブロックを とする の終わりに がある が で投票を行う 以上の投票が集まると となる でブロックを進める
に戻る 次の が されると 一つ前の は となる 乗っ取れない!!
への対策
懲罰的なアルゴリズム • ではシンプルな実装 • 2種類の不正な投票( ) 二重投票( ) 入れ子の投票( )
• 発見者には攻撃者のデポジットから報酬 現状はデポジットの ( ) double vote
懲罰的なアルゴリズム • ではシンプルな実装 • 2種類の不正な投票( ) 二重投票( ) 入れ子の投票( )
• 発見者には攻撃者のデポジットから報酬 現状はデポジットの ( ) surround vote
まとめ
まとめ の 移行と について • の問題点 の目標であるワールドコンピューターを実現するためにあたり、 では電気代やファイナリティなどの問題があり、 に移行する必要がある。 •
単純な の課題 単純な だけでは や などの課題が存在する。 • による解決策 ではデポジットと二段階の投票、不正な投票に対する の仕組みで 単純な での問題点を解決している。
英語を読もう。コードを読もう。 • ◦ • ◦ • ◦ おすすめ
ブロックチェーンの課題 https://arxiv.org/abs/1311.0243 12. 16. https://blog.ethereum.org/2014/05/15/long-range-attacks-the-serious-problem-with-adaptive-proof-of-work/ https://blog.ethereum.org/2014/11/25/proof-stake-learned-love-weak-subjectivity/ 参考
ご清聴ありがとうございました