是的!您可以使用最佳的客户端证明工具与最佳的可证明计算层。 Noir 与 Cairo 相遇。客户端证明与可扩展的可证明计算相遇。 Ultrahonk 与 Circle STARKs 相遇。 将它们结合在一起,Buidl!