Conference
Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference
| Title: | Language-Agnostic Detection of Computation-Constraint Inconsistencies in ZKP Programs Via Value Inference |
|---|---|
| Authors: | Kolozyan, Arman, Vandenbogaerde, Bram, Swalens, Janwillem, Hoste, Lode, Chaliasos, Stefanos, De Roover, Coen |
| Source: | 2026 IEEE Symposium on Security and Privacy (SP) SP Security and Privacy (SP), 2026 IEEE Symposium on. :3091-3110 May, 2026 |
| Relation: | 2026 IEEE Symposium on Security and Privacy (SP) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331560652 9798331560669 |
|---|---|
| ISSN: | 23751207 10816011 |
| DOI: | 10.1109/SP63933.2026.00207 |