Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Efficient Branch-and-Bound Testing and Verification of zkVMs
Hideaki Takahashi, Suman Jana, Junfeng Yang
Zero-knowledge virtual machines (zkVMs) enable verifiable execution of general-purpose programs by translating virtual machine semantics into algebraic constraints over execution t…
cs.CR2025
zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
Hideaki Takahashi, Jihwan Kim, Suman Jana +1
Zero-knowledge (ZK) circuits enable privacy-preserving computations and are central to many cryptographic protocols. Systems like Circom simplify ZK development by combining witnes…
cs.CR2024
Comment on Revisiting Neural Program Smoothing for Fuzzing
Dongdong She, Kexin Pei, Junfeng Yang +2
MLFuzz, a work accepted at ACM FSE 2023, revisits the performance of a machine learning-based fuzzer, NEUZZ. We demonstrate that its main conclusion is entirely wrong due to severa…