# # 叶胜超：一分钟读懂链下扩容之链下计算！（37）

**Published by:** [零钱](https://paragraph.com/@lingqian/)
**Published on:** 2021-12-19
**URL:** https://paragraph.com/@lingqian/37

## Content

**什么是链下计算？** 链下计算的核心：链下计算，链上验证，其基本思路是将原本置于链上处理的各类事务，移至链下处理，而链上仅保留验证的部分，以此间接提升链上的数据处理能力！ **链下计算有哪几种模式？** 链下计算主要包括可验证的链下计算、“飞地型”链下计算、链下安全多方计算、激励驱动型链下计算四种模式。 **1，可验证的链下计算** 这一模式涉及到两类角色：验证者与证明者（Prover），前者位于链上，后者位于链下，证明者能够在一条信息中（即一次链下到链上的传输过程），使验证者信服。 目前，要实现可验证的链下计算模型，有三种算法：zk-SNARKs，Bulletproofs，zk-STARKs。 **2，“飞地”型链下计算** 这一计算模式基于TEE，在该计算模式中，链下计算专门于可信的“飞地”中进行，“飞地”的每一条消息都可以被可信的外部实体认证并出具证明。 启动计算时，公开的输入值从区块链上获得，而私密的输入值则由链下节点选择性地加入进去，输出结果的完整性通过链上验证“飞地”的证明进行验证，一旦验证成功，新的状态会被记入区块链。 **3，链下安全多方计算** 链下安全多方计算可以实现在各方均不知道完整数据内容的情况下，通过联合它们对各自部分数据的计算结果，得到最终结果（等于利用完整数据进行计算的结果）。 隐私数据被分为多份，并以私密输入值的形式分布在一众链下节点间，链下节点发布各自结果并进行组合，然后将其置于链上。 **4，激励驱动型链下计算** 该模式假设参与计算的各方都是理性的经济人，该模式主要涉及到两类角色：处理计算任务的求解者（Solver），重新计算求解者所处理过的计算任务并检验其是否有误的验证者。 **总结一下：** 目前，多种链下计算方案已经取得成效，如Monero成功部署Bulletproofs后，事务体积显著降低，比如StarkWare部署了zk-STARKs，以太坊核心开发者对zk-SNARKS在扩容方面的表现很认同，并在测试网使用了zk-SNARKs，未来使用该技术的链下计算扩容方案或将推及整个以太坊。

## Publication Information

- [零钱](https://paragraph.com/@lingqian/): Publication homepage
- [All Posts](https://paragraph.com/@lingqian/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@lingqian): Subscribe to updates