2 papers
cs.CR2026
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.SE2024
SmartInv: Multimodal Learning for Smart Contract Invariant Inference
Sally Junsong Wang, Kexin Pei, Junfeng Yang
Smart contracts are software programs that enable diverse business activities on the blockchain. Recent research has identified new classes of "machine un-auditable" bugs that aris…