ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge

Published in USENIX Security, 2024

This paper presents ZKSMT, a zero-knowledge protocol for validating proofs of SMT theorems.