可验证计算的可实现概率解

随着互联网和区块链技术的快速发展，产业链的繁荣，平台经济的快速发展，相关大企业的涌现，企业家的频繁涌入；共享经济在当前全球市场上也非常火爆，吸引了大量资本进入。根据罗兰贝格的数据，2015年全球共享经济总规模达到1869亿美元，2018年将增长到5200亿美元；2021年，预计将超过1000亿美元，未来有望保持持续高速增长。然而，随着共享经济的发展多年，由于技术要求的难度，很少有人关注计算机资源共享领域。经过多年的研究，Pekka团队抓住了市场机遇，填补了共享算力市场在计算机领域的空白。2019年，Pekka分布式共享算力平台发布，实现全球计算资源共享，提高全球闲置算力利用率，采用加密货币作为算力支付手段，满足多方需求。

在Pekka共享算力研发平台的过程中，将计算任务外包给另一方面临着许多挑战，可验证计算就是其中之一。可验证计算是指可验证计算（VC），即计算任务可以外包给第三方计算提供商（不可信的第三方算力提供商在完成计算任务时需要提交计算结果正确性的证明）。一个长期存在的问题是用户如何在不重新执行任务的情况下有效地验证结果。这个问题困扰了计算机科学家多年，直到poh的出现，诚信证明机制的出现，这个问题才有了切实可行的解决方案。

poh是什么？

poh全称“诚信证明”由Pekka研究团队于2019年3月29日提出，旨在解决可验证计算问题，实现分布式算力共享平台的可信。

在此之前，计算机科学家对可信计算问题有两种解决方案。

1.在多个计算设备上重复验证计算。这种解决方案不仅成本高，而且需要假设计算设备本身不会因故障而导致计算结果出错。显然，这种验证方法通常并不有效。例如，云服务中所有设备的硬件和软件通常完全相同。如果计算误差是由装置引起的，重复计算结果的一致性不能保证最终的正确性，最终会付出高昂的成本，无法得到准确的验证结果，造成人力物力的损失。

2.运行一组小样本计算，然后检查这些样本计算的结果。然而，由于缺乏样本量，这一解决方案是无效的。还有一些其他的解决方案，比如可信硬件，但前提是有一个完整的硬件信任链。

上述解决方案显然不能有效解决可验证计算问题。”Pekka研发团队多年来研究的“诚实证明（POH）”基于区块链技术，灵感来自“警察诱捕罪犯”。为了检测和捕获网络中的恶意算力提供商，使用智能合约来验证任务的结果，并对作弊者进行严厉的经济处罚。该方法能有效地解决计算机验证问题。

Poh由两个阶段组成

第一阶段-准备：想要成为“警察”的用户将建立一个诱饵任务数据库。数据库包含一个或多个已由网络节点验证并保存在链上的计算任务。每个用户都可以成为一名“警察”来获得陷阱奖励。同时，在共享算力之前，算力提供商必须提交押金，押金金额将远远高于任务奖励。对于作弊的算力提供商，其奖励和押金将被没收，这将有效保证平台算力的可信性和任性。

阶段2-执行：在这个阶段，网络随机地将数据库中的任务分配给算力提供者。提供者将结果反馈给“警察”后，“警察”可以将结果与诱饵任务数据库中的正确结果进行比较，从而轻松确定提供者计算结果的正确性。“警察”将通过验证智能合约“法官”在区块链上公布这两个结果，即运行验证智能合约的部分或全部节点，来判断“警察”的判断是否正确。如果结果是正确的，奖励池中的奖励将分配给“警察”作为奖励，提供者的押金将被没收并进入奖励池。

这种poh验证机制，一方面可以通过激励机制有效地促进用户成为“警察”。另一方面，可以通过质押保证金处罚机制对犯罪人进行处罚。由于作案成本高，这将有效减少作案人的发生。显然，到目前为止，poh已经成为可验证计算问题中成本**、效率**的解决方案，是建立全球可信共享算力网络的一种非常有效的技术手段。如今，随着共享经济的快速发展，为全球计算资源的共享奠定了良好的技术基础。共享算力的时代正在到来。