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 Ning Luo 笔记 待补充