ブロックチェーンの数理と実装
DaiLambda, Inc.
Jun FURUSE/古瀨 淳
Nagoya university, 2023-04-14
自己紹介
古瀨 淳 (ふるせ じゅん)
ダイラムダ株式会社代表取締役
経歴:
- 計算機科学を専攻 (プログラミング言語処理系)
- 投資金融関連企業に勤務
- Tezos ブロックチェーンのコア開発
長く「金融」にいますが、投機には興味がなく、株や FX をやったことがありません。 儲け方を聞かれても困ります。
はじめに
本講座について
ブロックチェーンの実装例の紹介を通して、数理論理学の社会インフラ実装への可能性を理解することを目標とします。
オープンソースによる国際的な共同開発についても紹介できればと思います。
ブロックチェーンとは?
- 暗号通貨
- ビットコイン、イーサリアム
- Web3
- 投機、億り人
- アナーキー
- ハッキング、詐欺💦
ブロックチェーンとは!
本講座では、私の経験を技術的な視点で紹介できればと思います。
夢のある儲け話は一切ありません。
ブロックチェーンのコア開発
ブロックチェーンシステムそのものの開発
- プロトコル設計
- ノード(サーバー)の改良
- 新機能の搭載
- コンパイラ
ブロックチェーンを使ったアプリの開発ではありません
- ウォレット/交換所ソフトウェア/ゲーム の開発とかではない
地味です
講座の流れ(予定)
あくまで予定です
- ブロックチェーンの基本原理
- ハッシュデータ型
- スマートコントラクト
- ブロックチェーンの安全性
- ゼロ知識証明
講義資料は授業前に TACT にアップします。
簡単な演習を課題を出したいと思います。
ネットが繋がっているラップトップがあると良いです。
授業中に無理な場合は手順がスライドにあるので見てください。
数理、実装といってもさわりだけです
ブロックチェーンは
- 統計
- 暗号
- ゲーム理論
- プログラミング言語理論
- 並列分散
- コンピュータセキュリティ
- システムプログラミング
- etc.
の総合格闘技なので、全てを深く知るのは大変。ご了承ください。
ꜩ Tezos ブロックチェーン
講義での例や、演習では Tezos ブロックチェーン を使います。
マイナーですいませんが、
- 講義する人が Tezos に詳しいので。
- 多くの話は他のブロックチェーンでも同じはずです。
Tezos に特化した内容を含む場合、タイトルに ꜩ をつけます。
(Tezos
を例に一般的な話をしていることも多々あります。)
おことわり
この解説はブロックチェーン技術を理解を助けるためのものです。 暗号通貨の売買を奨励するものではありません。
金銭的価値をともなう実トークン取引は、投機対象としては高リスクであることを理解し、 自己責任で行ってください。
改めて、ブロックチェーンとは?
ブロックチェーンとは
汎用分散データベース
- 台帳方式
- 分散環境
- オープン・ネットワーク、非中央集権制
- スマートコントラクト
台帳方式(ledger style)とは
変更履歴集積としてのデータベース
銀行通帳
バージョン管理システム (例 Git)