zkPi: Proving Lean Theorems in Zero-Knowledge

Evan Laufer, Alex Ozdemir, Dan Boneh. zkPi: Proving Lean Theorems in Zero-Knowledge. IACR Cryptology ePrint Archive, 2024:267, 2024. [doi]

Abstract

Abstract is missing.