2025年5月

zkvm-brainfuck [4] 生成 proof

算术化：将计算问题转换为有限域 F 上的多项式代数问题。zkSTARK 算数化会构建程序的代数中间表达 (Algebraic Intermediate Representation, AIR)，...

zkvm-brainfuck [3] 约束

通过 chip 的 eval() 函数对 trace 表的列添加约束。本文列出每个 chip 的核心约束。列出如下变量/寄存器clk：每条指令运行的时间戳pc：指令指针，指向当前指令ci：当前指...

zkvm brainfuck [2] 生成 Trace

ExecutionRecord为了实现对 brainfuck 程序的约束，需要将每条指令运行过程中的一些信息收集起来，放到 ExecutionRecord 中。ExecutionRecord 中...

zkvm brainfuck [1] Brainfuck Executor

Brainfuck 编程语言Brainfuck 只有 8 条指令。假设 mp 为内存指针，mv 为 mp 所指内存单元的值，最初两者都为 0[：如果 mv == 0，则跳转到相应 ] 指令的下一...

将 mdbook 部署到 GitHub Pages

创建文件 .github/workflows/mdbook.yaml：https://github.com/felicityin/wtd-bayarea-mdbook/blob/main/.gi...

Sumcheck

什么是 Sumcheck？Sumcheck 是一种交互式证明协议（Interactive Proof Protocol, IOP），用于让证明者（Prover）向验证者（Verifier）证明一...

LogUp 在 zkVM 中的应用

Lookup (Log Derivative Lookup Argument) 是一种通过预计算表（Lookup Table）来验证某个值是否存在于特定集合中的技术。在 ZKP 中，它通常用于减...