Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo. ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. IACR Cryptology ePrint Archive, 2023:1762, 2023. [doi]
Abstract is missing.