ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge. - Daniel Luick; John C. Kolesar; Timos Antonopoulos; William R. Harris; James Parker; Ruzica Piskac; Eran Tromer; Xiao Wang 012; Ning Luo (IACR Cryptol. ePrint Arch., 2023)