长推：探讨ZK云计算的可行性
“问题在于实现的难度和效率。”
原文来源：Twitter
原文作者：孟岩，Solv联创
注：本文来自孟岩（myanTokenGeek）发布长推，其发推探讨了 ZK-Cloud Computing 可行性，CHAINLOOK整理如下，并附加密社区对该设想的评价。
孟岩：我不太了解 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就是这套逻辑，但是细节挺多的，蹲一个大佬回复。
关于【长推：探讨ZK云计算的可行性】的延伸阅读
Coin Metrics：分析以太坊 Blob 与 EIP-4844 的影响
自3月13日起，多个Layer-2解决方案采用blob交易，超过950,000个blob已发布到以太坊，降低了操作成本。EIP-4844升级提高了L2的可伸缩性和降低交易成本，每天约有10,000个blob发布。blob被设计为18天后过期，防止永久存储膨胀。随着rollups使用blob发布大量数据，blob空间利用率将增加。blob费用根据需求动态调整，4月份因铭文blob激增而增加，但随后又降低。Blob的采用是EIP-4844降低数据存储开销和增强L2可伸缩性的积极信号。然而，跨资产、流动性和用户体验碎片化等挑战仍需解决。随着更多L2利用blob，拥塞可能会再次出现。
Stacks Nakamoto 升级，BTC生态的文艺复兴
Stacks是一个跨链共识区块链，旨在将智能合约功能移植到比特币网络中。其共识机制为转移证明，通过燃烧比特币来参与挖矿。Stacks 2.0主网已推出，获得美国证券交易委员会批准的代币销售。Stacks 3.0升级解决了安全性、性能和可扩展性等问题，引入签名者角色，提高链的可扩展性。Nakamoto升级解决了MEV问题，提高了挖矿过程的公平性和稳定性。升级将在4月22日开始，提高Stacks区块链的透明度和信任度。
@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有个智能合约验证的过程，零知识证明验证通过则接受，不通过则拒绝整个批次的打包。但说到云计算的话，有什么云计算业务是需要时不时上个链的？比如去中心化身份，我们也可以做成纯链下的，交互式的零知识证明。
免责声明：本文仅代表作者个人观点，不代表链观CHAINLOOK立场，不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险，以及遵守所在国家和地区的相关法律法规。
图文来源：孟岩，如有侵权请联系删除。转载或引用请注明文章出处！
