JP ZK Learning Club
Ctrlk
  • 貢献について
  • 前提知識
    • 暗号学
    • 数学
  • PSE-Core-Program
    • Week 1
    • Week 2 さらなる暗号技術とSNARKsとSTARKs
    • Week 5 Frontier
  • zkSNARKs
    • Spartan
  • Folding Scheme
    • Nova
    • SuperNova
    • HyperNova
    • NeutronNova
    • CycleFold
  • Lookup Argument
    • 概要とLasso以前の提案
    • Lasso
  • zkVM
    • Backgrounds
    • Building Blocks
    • 動作概要
    • ゼロ知識証明
      • メモリ読み込み・書き込みの一貫性
        • Merkle-Tree
        • Spice
        • Jolt-Memory-Checking
        • Nebula
        • Proof-for-Deep-Though
      • 命令の実行
      • バイトコードから命令へのデコード
    • プロジェクト
Powered by GitBook
On this page
  1. zkVM
  2. ゼロ知識証明
  3. メモリ読み込み・書き込みの一貫性

Proof-for-Deep-Though

PreviousNebulaNext命令の実行