ZK Hints
Daily Digest 每日摘要 View All 查看全部
03
Tue 二
zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing Paper 论文
Rong Fu Fuzzing Automated Debugging
Fu et al. proposed the zkCraft framework in their paper, combining deterministic localization with proof search to detect semantic inconsistencies in ZK circuits, using LLM-guided mutation templates to improve edge-case coverage and reduce solver interaction costs. Fu等人在论文中提出了zkCraft框架，结合确定性定位与证明搜索来检测ZK电路语义不一致，利用LLM引导突变模板提升边缘案例覆盖，减少求解器交互成本。
Key Points: 要点：
- • ZK circuits are tricky due to tight witness-constraint coupling, causing subtle bugs. ZK电路因见证计算与约束紧密耦合而难以正确实现，易产生语义不一致
- • zkCraft uses R1CS-aware localization and proof search to catch under/over-constrained issues. zkCraft框架结合确定性R1CS感知定位与证明承载搜索，检测欠约束和过约束故障
- • Row-Vortex polynomials encode edits; Violation IOP replaces repeated solver checks with a proof. 将候选约束编辑编码为Row-Vortex多项式，用Violation IOP替代重复求解器查询，提供简洁证明
- • LLM-guided mutations target edge cases, keeping algebraic verification auditable. 确定性LLM驱动突变模板偏向探索边缘案例，同时保持可审计的代数验证
- • Tested on Circom, zkCraft finds diverse bugs, lowers false positives and solver costs. 在真实Circom代码评估中，证明承载定位检测多种故障，假阳性低，减少求解器交互成本
- • Links formal verification with automated debugging for scalable ZK circuit development. 该方法连接形式验证与自动调试，为稳健ZK电路开发提供可扩展路径
02
Mon 一
AntoineFONDEUR Stwo
@AntoineFONDEUR open-sourced stark-v, a general-purpose zkVM built on Stwo that generates STARK proofs for RISC-V program execution, enabling rapid constraint development. @AntoineFONDEUR 开源了stark-v，这是一个基于Stwo构建的通用zkVM，为RISC-V程序执行生成STARK证明，支持快速约束开发。
Key Points: 要点：
- • stark-v is an RV32IM zkVM that generates STARK proofs for RISC-V program execution. stark-v 是一个RV32IM zkVM，为RISC-V程序执行生成STARK证明。
- • Uses declarative macros to generate Stwo AIR components for rapid constraint development. 使用声明式宏生成Stwo AIR组件，加速新约束的开发过程。
- • Defines fixed memory layout for program code, input/output, and stack in guest programs. 提供内存布局定义，支持固定地址范围的程序代码、输入输出和堆栈。
- • Includes benchmarks measuring proof throughput (kHz) and explores parallelization strategies. 包含基准测试，测量证明吞吐量（kHz），并探索并行化策略。
- • Project is a work in progress and not yet ready for production use. 项目仍在开发中，暂不建议用于生产环境。
- • Architecture inspired by OpenVM, supports allocators like jemalloc and mimalloc. 架构灵感来源于OpenVM，支持多种分配器如jemalloc、mimalloc。