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.
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.