JP ZK Learning Club
  • 貢献について
  • 前提知識
    • 暗号学
      • 決定問題
      • P/NP問題
      • 計算複雑性理論
    • 数学
      • 代数的構造
      • 離散対数問題 (DLP)
      • 楕円曲線
      • 算術回路
  • 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
      • Multi Linear extension(MLE)
      • Folding scheme
      • Lookup Singularity
      • Cycle of Curves
      • Extension Field
      • Glossary
      • CCS
      • Switch-board (Nebula)
    • Building Blocks
      • Binius
      • GKR
      • Circle STARK
      • Sum-check Protocol
    • 動作概要
    • ゼロ知識証明
      • メモリ読み込み・書き込みの一貫性
        • Merkle-Tree
        • Spice
        • Jolt-Memory-Checking
        • Nebula
        • Proof-for-Deep-Though
      • 命令の実行
      • バイトコードから命令へのデコード
    • プロジェクト
      • SP1
      • RISC-Zero
      • Jolt
      • Valida
      • Nexus
Powered by GitBook
On this page
  1. zkVM
  2. Backgrounds

Glossary

PreviousExtension FieldNextCCS

Last updated 5 months ago

用語
意味
参考

IVC

Incrementally Verifiable Computation

NIVC

Non-uniform IVC

PCD

Proof Carrying Data

NIFS

Non-Interactive Folding Scheme

MLE

Multiliner Extention

stwo

Circle Starkライブラリの名前

CCS

Customizable Constraint System

MCC

Memory Consistency Checks

MSM

Multi Scalar Multiplications

IWPC

Instance Witness Pair Collection

RoK

Reduction of Knowledge

https://github.com/starkware-libs/stwo
https://zkresear.ch/t/parallelizing-nova-visualizations-and-mental-models-behind-paranova/198#iwpc-3