什么是链下计算？

链下计算的核心：链下计算，链上验证，其基本思路是将原本置于链上处理的各类事务，移至链下处理，而链上仅保留验证的部分，以此间接提升链上的数据处理能力！

链下计算有哪几种模式？

链下计算主要包括可验证的链下计算、“飞地型”链下计算、链下安全多方计算、激励驱动型链下计算四种模式。

1，可验证的链下计算

这一模式涉及到两类角色：验证者与证明者（Prover），前者位于链上，后者位于链下，证明者能够在一条信息中（即一次链下到链上的传输过程），使验证者信服。

目前，要实现可验证的链下计算模型，有三种算法：zk-SNARKs，Bulletproofs，zk-STARKs。

2，“飞地”型链下计算

这一计算模式基于 TEE，在该计算模式中，链下计算专门于可信的“飞地”中进行，“飞地”的每一条消息都可以被可信的外部实体认证并出具证明。

启动计算时，公开的输入值从区块链上获得，而私密的输入值则由链下节点选择性地加入进去，输出结果的完整性通过链上验证“飞地”的证明进行验证，一旦验证成功，新的状态会被记入区块链。

3，链下安全多方计算

链下安全多方计算可以实现在各方均不知道完整数据内容的情况下，通过联合它们对各自部分数据的计算结果，得到最终结果（等于利用完整数据进行计算的结果）。

隐私数据被分为多份，并以私密输入值的形式分布在一众链下节点间，链下节点发布各自结果并进行组合，然后将其置于链上。

4，激励驱动型链下计算

该模式假设参与计算的各方都是理性的经济人，该模式主要涉及到两类角色：处理计算任务的求解者（Solver），重新计算求解者所处理过的计算任务并检验其是否有误的验证者。

总结一下：

目前，多种链下计算方案已经取得成效，如 Monero 成功部署 Bulletproofs 后，事务体积显著降低，比如 StarkWare 部署了 zk-STARKs，以太坊核心开发者对 zk-SNARKS 在扩容方面的表现很认同，并在测试网使用了 zk-SNARKs，未来使用该技术的链下计算扩容方案或将推及整个以太坊。