或者：“Panopticomputers简介：可扩展，分散计算的代码执行法庭”。
以太坊社区永远不会令我惊叹。 很多聪明人在可能的边缘工作。 我们并没有真正地抓住当前迭代中可能出现的情况，我们已经看到令人惊异的新机遇。
对于未开化的，以太坊可以被描述为使用区块链技术的分布式“世界计算机”。 它允许开发人员将代码上传到区块链，在启动时它会执行代码以更改共享分类帐上的某些信息。 换句话说，您可以将任意复杂的状态更改应用于共享的公共（相对）不变的分类账。 p2p网络中的每个节点都运行这些状态更改，而特定计算机（矿工）确保这些状态更改难以扭转（通过奖励补贴和费用）。 为了执行状态变化和计算，需要与平台的加密货币成比例地付费。你想要做的计算越多，你付出的代价就越多。 计算量在一个单独的单元中测量，称为“气体”。
这个当前模型（以太坊是年轻的和新的）的一个问题是，虽然它允许一个初步的，分布式的世界计算机，1）所有节点仍然需要运行状态变化，尽管他们没有奖励它，为了留在共享帐目当前真相的最高点（称为“验证者的困境”）和2）速度慢并且无法处理大量的计算和信息。 由于所有节点都需要运行计算，并且由于状态变化是基于事务排序的，因此Ethereum虽然是分布式的，但基本上与其网络中速度最慢的计算机一样快。 流程中有可伸缩性解决方案可以平行处理事务并大幅度提高可运行的事务处理量 。 并非网络中的所有计算机将来都需要运行所有状态更改。 它将转向一种更精确地将网络中的计算机组合成一个大型单个分布式计算机的模型。 这些解决方案仍有待解决，并且正在积极开展工作。
另一个实现可扩展性的有趣模型是使用以太坊作为计算法庭。 派珀Merriam设计了一个计算市场 。 当在以太坊上定期运行这些计算的成本过高时，它是理想的使用方式。 通过执行以下操作节省成本：
- 开发人员上传智能合同代码。
- 它在市场中规定它想要执行一定的输入功能。 它支付市场的成本低于在Ethereum上实际运行它的成本。
- 第三个脱链方运行计算并将结果发布到市场。 它与一笔存款足以在发生争议时执行实际交易。
- 另一个第三方也可以运行它。 如果它发现另一个第三方在市场上撒谎，它可能会迫使上链执行发生在他们放下的存款上。 如果提交者最初是正确的，他们将获得他们的存款和应支付的金额。 如果他们错了，他们就不会收到付款，并将剩余的存款拿回来，而这笔存款没有用于执行。
- 经过一段时间后，如果没有任何挑战，那么答案就是“接受”，然后付款就可以退还押金。
在这个市场中，只有一个诚实的演员在恶意演员的海洋中。 这是一个非常有效的系统，通常只会在计算结果错误时看到错误的答案（考虑到EVM是确定性的并且没有随机性，这似乎不太可能）或者某人实际上试图欺骗并希望没有人关心。 然而，在一个功能完备的市场中，主动检查很可能会发生，在这种情况下，很可能会出现这样的情况，即可以运行计算的成本比在Ethereum上执行计算要便宜得多。 这种折衷是人们可能需要等待一段时间才能继续执行后续执行，因为需要等待挑战期完成为100％。 更有效的市场意味着可以减少等待时间，因为知道有一批核查人员准备挑战和迫使骗子的手。 这假定验证将首先运行。 这个计算法庭，如果正确工作，将会分化到一个永远不会真正运行的情况，因为这使得它无法作弊。
这是一台“全景式计算机”（panopticon computer）。
如果没有武力，计算机会保持诚实，担心计算力可能会被调用，如果他们行为不当。
计算市场的局限在于此
- 您需要将所有代码放在以太坊上，并且在发生挑战时需要在以太坊上执行整个执行过程。 这最终仍然会减少可能由当前气体限制运行的可能的计算频谱。
- 它受EVM功能的限制。 您需要在其中编写代码，并且不能将计算卸载到其他编程语言。
因此，现在，如果要构建需要状态和分散控制的分散收敛的应用程序，您将在当前迭代中使用以太坊。 这是昂贵的，但仍然有很多好处。 例如，你不会真的看到它运行一个神经网络，除了...... 这是TrueBit进来的地方 。 ChristianReitwießner，Jason Teutsch和Loi Luu的提案。
这是一个非常令人兴奋的组合。 它采用计算市场的概念，但增加了验证指令的能力，而不是在运行完整指令的情况下以更低的成本进行验证。 换句话说，验证提交的答案是否正确比计算成本少。 您不必执行整个指令来验证提交者是否在作弊。 因此，您可以验证是否发布了比以往适合以太坊的指令大的结果。
所以，使用以太坊，只需要将验证脚本上传到区块链。 这些都是在EVM中编写的，但它可以验证*任何*语言。 例如，您可以验证C ++或Rust。
它使用我们最喜欢的数据结构：merkle树。 使用二进制搜索，在图灵指令集中的不同点处的2个实体（求解器和挑战者）之间进行交互式游戏，以查看计算步骤之间的记忆和状态的merkle证明何时不再累加，其中它可以被证明是有效的（具有统计意义的机会给出了散列冲突的可能性）两个被骗者中的哪一个。 验证游戏在以太坊本身播放。 合约在某个时间点要求merkle哈希值，并且仅应用一个状态改变来查看由此产生的merkle哈希值是否符合要求。 编写这些验证脚本需要运行游戏并进行中间变更。
本白皮书可以阅读此验证的基础 。 它在Christian Reitwiessner的智能合同法庭博客文章中有所扩展。
它将Ethereum从一台*缓慢分布的世界计算机变成了一个可扩展的大型计算机。 它将它变成一个庞大的分散的数学法庭。 在发生计算纠纷时，它会通过运行验证脚本来强制执行。 如前所述，它的优点在于，如果出现问题，只需要首先运行验证脚本：某人正在试图作弊。 你只需要一个诚实的演员来摧毁所有恶意的骗子。
这是革命性的。 它将Ethereum变成一个新的分散式计算基板的基础层，可以大大地进一步提高。 以下是基督徒解释在以太坊运行神经网络的可能性的一段：
使用TrueBit项目，智能合约实际上可以让外部程序以无可信赖的方式为它们执行例程，并且它们可以使用数TB的数据（这是现代深度学习所需的）：如果您编码巨大的根哈希数据收集到智能合约中，它可以使用它来训练一个神经网络（当然这也只是作为其根散列存储），并根据这些数据做出决定。 数据甚至可以通过更新根哈希来更新。 只要数据可供外部执行者（以及至少一个诚实的验证者）使用，系统就会继续运行。 在我们群集的时候，智能合约实际上可以在经济上强制执行数据的可用性。
所有软件服务的边际成本趋于零？
如果你推断这种可能性，它会变得相当令人目眩......潜在的存在是所有软件服务的边际成本都为零。 Blockchains和Ethereum引入了这样一个概念，即我们现在可以运行不再需要组织来维持它们的软件。 软件总是需要人类和组织的外壳来维持自己。 我们必须围绕软件构建组织。 然而，在集体计算基础设施的情况下，这个模型被彻底颠覆了。 软件独立存在，并以每次执行付费的模式蓬勃发展。 它会一直存在，直到它执行，直到再次执行才进入休眠状态。 这意味着，为了蓬勃发展，软件代理商只需要支付自己的维护费用。 这个想法在比特币社区早期引发了许多关于自驾车拥有自己的概念的讨论。 因为它是一辆汽车，它不需要赚钱。 它只需要支付自己的成本：为人类服务。面对这种可能性，组织运行软件是一项昂贵的努力。 组织有人类需要被喂食，有权利和贪婪等奖励，赚取的钱比服务本身存在所需要的要多。 软件不（或不需要）。
这意味着随着时间的推移，从经济角度看，转向以零边际成本执行的软件似乎是不可避免的。 但是，今天的区块链并不会导致所有软件都以零边际成本运行。 它仍然很慢。 但是，使用TrueBit，似乎可以以零边际成本执行任何软件服务。 这个成本将是：为市场付费的成本，它自己的内部运作系统和外部参与者运行计算（能源+潜在的人）的成本。
作为Trent McConaghy在AI DAO上的帖子的一部分 ，我提交了一个WIP版本的服务，使用futarchy和TrueBit生成艺术本身。 它生产的艺术越好，它可以继续制作的艺术就越多。 在这个过程的任何地方都不需要支持人类。 我已经开始研究这个更通用的版本，需要更多的设计工作。 基本的，早期的想法是（可能是在这里漏洞）：
- 智能合同的任务是提供某种服务。 一些乙醚被送到它，以“诞生”它。
- Futarchy然后用于查找并附加外部代码来完成此服务。
- 智能合约自动开始提供服务，要求TrueBit市场执行结果。
- 它要求的价格应该足以使其能够继续经营futarchies以改进和发布到市场（零边际成本）。
使用TLSNotary证明（正如Oraclize.it所使用的），它甚至可以像现在这样与网络交互。 在以太坊的EIP 101中，智能合约只需要进行刺激，而智能合同可以自行支付燃气费用，而不是用户激活它。
最终，这越来越成为软件不必为它背后的人付钱的方向。 它只需要足够的成本来保持自己能够提供服务。
不确定性
尽管目前的实施并非没有不确定性。 验证脚本需要写成能正确验证计算结果（这似乎是一项艰巨的任务）。
市场上存在一些加密经济条件，需要予以克服。 例如，仍然需要超时，希望如果作弊者提交了错误的答案，则有足够的时间让挑战者到达。 互动游戏在被迫时会花几个街区来玩（不长）。 这对某些计算集合有一定的限制。 如果其他可伸缩性解决方案得以实施，游戏可能会更快。 此外，围绕潜在sybil攻击提交答案的一些经济学可能会使其脱轨。 这些似乎都不可能无法克服。
＃未来
TrueBit的潜力看起来颇具革命性。 它将以太坊变成了一个分散的计算法庭，允许大量软件以零边际成本运行。
从这个角度来看，什么是牵强的想法？ 运行由Ethereum强制实施的神经网络似乎有可能导致关于AI DAO的问题 ？ 那么分散的虚拟模拟现实的所有想法呢？ 至少它变得更可能。
在过去的几年里，当我遇到真正让我头脑发热的新技术时：比特币，以太坊，IPFS（和IPLD），以及现在这个。 我真的希望看到它得到开发，测试和使用。
https://medium.com/@simondlr/an-intro-to-truebit-a-scalable-decentralized-computational-court-1475531400c3
扫一扫
176
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
