专栏简介 【zkMIPS系列】ZKM Prover—Memory & Logic Stark 【zkMIPS系列】FRI预备知识 【zkMIPS系列】Poseidon hash设计流程 & 代码 【zkMIPS系列】FRI原理及其应用分析 DEEP-FRI 理论 DEEP-FRI 理论 DEEP-FRI 理论 【zkMIPS系列】DEEP-FRI解析 【zkMIPS系列】Plonky2 协议解析 【zkMIPS系列】Plonky2递归零知识证明原理 【zkMIPS系列】Lookup Argument (Logup)与代码分析 【zkMIPS系列】zkVM概述 【zkMIPS系列】Lookup Argument原理 【zkMIPS系列】ZKM Prover生成一个证明与聚合 【zkMIPS系列】ZKM Prover之算术操作和CPU操作 【zkMIPS系列】ZKM Prover之模拟器（Emulator）的运行 【zkMIPS系列】ZKM Prover: Cross Table Lookup 【zkMIPS系列】ZKM Prover—Poseidon STARK 【zkMIPS系列】ZKM Prover——STARK to SNARK 【zkMIPS系列】zkVM 中的离线内存检查 【zkMIPS系列】zkMIPS系统框架 Jagged多项式承诺