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

No ratings

Presented at IEEE S&P 2026 by

Stefanos Chaliasos

Coen Roover

Arman Kolozyan

Bram Vandenbogaerde

Janwillem Swalens

Lode Hoste

This entry could use some 💚... Consider signing-up and making an edit request to fix this!