この動画で学べる事
- BitVM
- 任意のロジックを回路にコンパイル
- Bitcoin ScriptでNANDゲートを実現
- Bit Value Commitment
- Logic Gate Commitment
- Binary Circuit Commitment
- Taptreeへのエンコード
- チャレンジ＆レスポンス
- BitVMの制限
参考資料
動画中に出てきたリンク
- P. BitVM
動画中に出てきたリンク