1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…