最近发布的用于构建零知识应用程序的框架，例如 Zinc 和 Cairo，允许开发人员相对轻松地编写程序 最近发布的用于构建零知识应用程序的框架，例如 Zinc 和 Cairo，允许开发人员相对轻松地编写可以验证执行的程序，同时保持所有或部分输入私有。就开发人员友好性而言，这比编写零知识 电路更上一层楼，因为此类框架提供了一个单一的零知识虚拟机 (ZK VM) 电路，可以验证任何支持大小的程序。如果没有此选项，开发人员必须为每个应用程序编写新电路并处理唯一证明和验证密钥的复杂性。 尽管这种 ZK VM 有很多好处，但我认为开发人员应该认真考虑一些权衡。在这篇文章中，我从高层次上描述了 ZK 电路和 VM，并讨论了 ZK VM 的优点和缺点。虽然 ZK VM 提供了强大的优势，例如更容易开发、更简单的安全模型以及与其他 VM 更好的兼容性，但我认为市场上某些 ZK VM 的供应商锁定风险是微妙的，但被低估了。通过这篇博文，我的目标是开始讨论这个问题，以便开发人员能够更好地理解所涉及的全部权衡，如果他们选择在上述 ZK VM 平台上构建应用程序。关于零知识虚拟机要了解 ZK VM，必须...