Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference.

Arman Kolozyan, Bram Vandenbogaerde, Janwillem Swalens, Lode Hoste, Stefanos Chaliasos, Coen De Roover

Browse the full SP paper archive.