1 citations · 2 across the 4 of their papers we have counts for
5 papers
Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles
Alexander Stromberger, Christoph Hochrainer, Valentin Wüstholz +1
Smart contracts compiled to the Ethereum Virtual Machine (EVM) can manage high-value assets and are difficult to patch after deployment. Compiler miscompilations are therefore espe…
Lie to Me: Finding Bugs in ZK DSL Toolchains with Adversarial Witness Injection
Sebastian Watzinger, Christoph Hochrainer, Valentin Wüstholz +1
Zero-knowledge domain-specific language (ZK DSL) toolchains compile programs into constraint systems and generate witnesses for cryptographic proofs. Bugs in these toolchains can l…
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…
Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, Ezio Bartocci, Maria Christakis +3
We present the first automated verification technique for confidence-based 2-safety properties, such as global robustness and global fairness, in deep neural networks (DNNs). Our a…