ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

Download PDF
Open Webpage

Daniel Luick, John C. Kolesar, Timos Antonopoulos, William R. Harris, James Parker, Ruzica Piskac, Eran Tromer, Xiao Wang, Ning Luo

Published: 01 Jan 2024, Last Modified: 04 Oct 2024USENIX Security Symposium 2024EveryoneRevisionsBibTeXCC BY-SA 4.0