Ian Kretz

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Knowledge Sources

Data Mining Techniques

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. CoRR (2023)