Theory Meets Blockchain Engineering (TMBE)
エンジニアが作るブロックチェーンの安全性を暗号研究者と共に理論的に高める合宿

日時：
2024年1月26日 15:30-18:00
2024年1月27日　9:00 - 16:30
（時間は現時点での予定）
場所：Solidity House リンク（佐賀県嬉野市）

2008年のSatoshi Nakamotoを著者とするBitcoinの未査読の論文の発表以降、ブロックチェーン技術は現代暗号理論の有益な応用として、Bitcoinのような支払い手段のみならず、多くの実用化の試みがなされている。この実用化の主役はいわゆるブロックチェーンエンジニアと呼ばれる人たちである。
一方で、Bitcoin論文が未査読であると書いたように、現代暗号理論が「証明可能安全性」のフレームワークで構築されてきたにもかかわらず、多くのブロックチェーンやその周辺のプロトコルは、安全性の証明や検証がなされないまま、数千億円以上の価値を支える状況になっている。その結果として、ブロックチェーンエンジニアも、ブロックチェーン企業も、現実のシステム上のリスクを算定できない状況のまま、巨額のセキュリティインシデントが毎日のように発生している。
せっかく暗号研究者が証明可能安全性を有する暗号技術を部品として提供していながら、その利用方法について正しい理解がなされていないことがその主要な原因であり、一方で暗号研究者がブロックチェーン技術者が未来に向けて構築しようとしているものへのキャッチアップが不十分であるため、安全性の研究対象としての漏れが発生しているといえる。
本合宿は、このような暗号研究者とブロックチェーンエンジニアの間の知識の断絶を解消するための第一歩として、暗号研究者からは暗号技術の理論的背景や暗号技術の部品（これには、ハッシュ関数や電子署名だけでなく、ゼロ知識証明やマルチパーティ計算を含む）の安全性の理論や想定される使い方（あるいはしてはいけない使い方）の知見を、ブロックチェーンエンジニアからはブロックチェーンの世界で構築しようとしてる新たなシステムや技術のプランを、お互いに共有し、「安全なブロックチェーンのシステムをつくる」という、スケーラビリティを犠牲にしても最低限守らなければいけない最低目標を達成する方法を、議論と共同作業の形で追求することを目的とする。


本合宿の参加者は、直前に長崎で行われる、電子情報通信学会 暗号と情報セキュリティシンポジウム（SCIS2024） に参加する暗号研究者・ブロックチェーン研究者（アカデミア）と、ブロックチェーンエンジニアによって構成される。

決定次第お知らせします

本合宿は、暗号研究者と、理論的背景を交えた議論を行いたいブロックチェーンエンジニアによる、相互の貢献を求める形で行います。そのため、すべての議論の質を担保するために人数の制限を行います。具体的には、上限が25名で、おおむね暗号研究者が15名、エンジニアが10名で構成することを予定しています。
エンジニア枠での参加者は、必ずしも暗号理論に関しての深い知識を備えていることを条件とはしませんが、現状取り組んでいるブロックチェーンのプロジェクトや研究において、実際に安全に技術を確立する上で困っている点を共有し、合宿参加者でその解決の筋道を見いだす議論に積極的に参加することを基本とします。
Update：
- 当初予定の枠（25人）は埋まりました。これからエンジニア枠で応募される方は、枠に余裕ができた時（キャンセルの発生）のためのWaiting Listの中に入ることをご了承ください。