1 citations · 1 across the 3 of their papers we have counts for
3 papers
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
Christoph Hochrainer, Valentin Wüstholz, Maria Christakis
Zero-knowledge virtual machines (zkVMs) are increasingly deployed in decentralized applications and blockchain rollups since they enable verifiable off-chain computation. These VMs…
Fuzzing Processing Pipelines for Zero-Knowledge Circuits
Christoph Hochrainer, Anastasia Isychev, Valentin Wüstholz +1
Zero-knowledge (ZK) protocols have recently found numerous practical applications, such as in authentication, online-voting, and blockchain systems. These protocols are powered by…
Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks
Alperen Tercan, Ahana Ghosh, Hasan Ferit Eniser +2
Block-based visual programming environments play an increasingly important role in introducing computing concepts to K-12 students. In recent years, they have also gained popularit…