zkVM 最新进展与核心技术解析: Logup-GKR p1

zkVM 最新进展与核心技术解析: Logup-GKR · 46:43

Jax explains how zkVMs turn program execution into proofs, then introduces LogUp-GKR through execution traces, lookup checks, and layered sumcheck reductions.

Speakers

  • Jax

Topics

  • Privacy
  • Zero-Knowledge Proofs

From zkVM 最新进展与核心技术解析: Logup-GKR.