长推：探讨ZK云计算的可行性

注：本文来自孟岩（myanTokenGeek）发布长推，其发推探讨了 ZK-Cloud Computing 可行性，MarsBit整理如下，并附加密社区对该设想的评价。

孟岩：我不太了解 ZK 技术，请教一下高手：如果 ZK-Layer 2 是实现可信计算的好方法，那么直接 ZK-Cloud Computing 行不行？也就是说，我还是做云计算，只是在关键计算步骤上用 ZK 技术去找 Layer-1 做背书，向外界证明我真的是按照规则执行的。换一种方式来考虑，就是如果我的 ZK-Layer 2 的节点就只剩一个了，那为啥不干脆就做个中心化的系统，只是关键计算状态通过 ZK 证明，让公链背书。这样的系统，虽然仍然有单点崩溃的风险，但是因为很多业务逻辑不用写成智能合约，而是可以用开发者熟悉的语言和工具来开发，所以它的开发效率和运行效率可能远远高于现在的 dAPP，可信度方面也比较接近。因为现在云计算的可靠性也很高了，所以结果可能是让绝大多数 Web3 用户满意的。 这种构想可行吗？还是说由于我对 ZK 的认识错误，这根本就是不可能的？

0xTodd：听起来似乎是可行的；L2反正是链下扩容，到底几台服务器不重要，能证明你的工作是正确就行。

@shumochu：只有一个节点，但是在inbox contract里面有一个强制上链机制，所以可以继承一定程度的抗审查性。

@xiao_zcloak：首先，这个方案是可能的。问题在于实现的难度和效率。ZK计算有个前置的准备工作，就是需要为待执行的算法生成一个定制的ZK电路，才能执行后面的证明生成和验证。定制ZK电路的工作非常繁琐且需要特别专业的知识。而如果后面你的算法发生一丁点变化，那你就要去重新生成这个电路，所以说整个流程是非常麻烦的。

这个领域目前有一些新的进展，例如zkVM，就是为了用自动化的方法给通用计算进行零知识证明。典型的代表有RISC 0和Polygon Miden，但是zkVM的项目大多都还在发展阶段，还不适合生产实用，所以ZK云计算的想法还得再等等。

至于目前的zk-Rollup项目，只是前面这种方法的一种特殊情况，也即链下的计算是符合EVM规则的，所以他们使用的技术一般叫做zkEVM，本质上是zkVM的一个子集。

@shan_scarlet：這概念，我知道@NexusLabsHQ 正在發展 但也不完全中心化，因為proofer也有很多種，要同時mpc好多種proofer，想是proofer aggregator? 看看有沒有其他人來補充更多的資料。

@zk7hao：印象中starkex就是这套逻辑，但是细节挺多的，蹲一个大佬回复。

@xiaoliwe：ZK-Cloud Computing 可行, 但此处的"云计算", 往往以"私有云"的方式在某一region构建,即：Off-chain Excution, Online-chain Verifier, 不过, L2的ZK方案成熟的不多吧，L1能把业务和生态做起来的屈指可数.问题的关键还是有人要用...

@citypw：你说的这个场景不需要ZK，直接rollup比如把需要证明的元数据放到去中心化存储的方案中比如IPFS，业务执行到相关的点就根据L1信息+元数据进行验证，zk和roll up在技术上是两个方案，但合并在一起的zk-rollup加速的作用应该更大，这个场景的ZKP是基于多项式证明展开的，SNARKs的特点。

@kernel1983：密码学上看，zk是可验证计算Verifiable Computing的一个零知识的特例，不满足zk但是可以是VC，主要用于计算外包，但是证明代价也不便宜。 所以zk的正道一直是隐私，L2哪里有零知识！

@monkisgod：关键是你的业务需要跟L1交互的频度问题，如果频度太高，那你就太慢.....从可信的角度出发，只要关键业务信息由可信源保障就可以。

@tmel0211：zk-rollup技术核心是prover和verifier的去中心化协作，用户把批量交易递交给relayer，然后分发给sequencer和validator验证交易合法后，递交给prover生成证明后，再batch给layer1。这个过程中prover节点是分布式存在的，如果只有一个prover那就是中心化了，zk技术存在必要性就弱了。就类似op-rollup了。

@Qinzccc：可行。layer2如Rollup毕竟只是一种存储和验证方式，然而各种让layer1背书的方式需要权衡验证数据的完整度和验证效率，以及统一标准，比如能否统一定义云服务计算时的'关键计算步骤'。

@chancejiang：推荐孟老师看看 https://mapprotocol.io 的设计mapprotocol.io。

@BirkSamo：仅就交易来说，ZK的二层节点是可以就一个的。相对于OP只是把一层网络当公告板来说，ZK有个智能合约验证的过程，零知识证明验证通过则接受，不通过则拒绝整个批次的打包。但说到云计算的话，有什么云计算业务是需要时不时上个链的？比如去中心化身份，我们也可以做成纯链下的，交互式的零知识证明。