以太坊链上的窘境

以太坊开始的目标是“国际核算机”,但区块链的中心是安全和去中心化,当用户运转智能合约时,一切节点都有参加。这些节点经过 EVM 履行,而这些履行会耗费核算资源,每个核算都会收取“gas 费用”。这意味着杂乱的合约会收取贵重的费用。假如合约过于杂乱,显然是不适合在链上布置的。

此外,众所周知,以太坊有 Gas Limits。有了 Gas Limits,好处是以太坊能够避免拒绝服务攻击、鼓舞买卖验证等。不过,它也存在问题:以太坊链上无法履行密集型的很多核算使命。Gas Limits 让处理大核算量使命不仅本钱高且无法完结。想想看,有不计其数的核算机来存储和运转相同的指令。

TrueBit:链下+可验证+博弈机制

为处理这个问题,TrueBit 的基本思路是:既然链上无法完结,且很贵重,那么,就将这些大核算量的使命放到链下来完结,而将履行成果提交到链上,一起经过基于博弈的经济机制来确保其成果的可验证性。

这种处理计划能够让之前链上无法完结的核算(如机器学习等)有时机落地,一起本钱上也能够承受。关于链下核算,咱们之前也有介绍过 Zk-Rollups 和 Optimistic Rollups 等计划,能够参考蓝狐笔记之前的文章《一文读懂 ZK Rollup 和 Optimistic Rollup: 以太坊重要的扩展方向》。

不过 TrueBit 的方法不是依托加密证明,而是依托博弈机制来验证其是否为正确履行 , 也就是其成果的正确与否不是依托数学,而是依托验证者的多方博弈机制。

TrueBit 经过构建链下的核算商场,让核算使命接单人来履行智能合约的核算使命。它没有一切节点履行的冗余和效率低下,能够节约核算费用。一起,也没有链上区块的 Gas Limits,终究上链的只是履行成果。

此外,以太坊智能合约履行还存在或许的验证者窘境。在以太坊区块链上,区块生产者会取得奖赏,而区块验证者没有。这会鼓舞节点花费更多资源去挖下一个区块,而不是正确地验证提议的区块。这不利于智能合约被正确履行,甚至有或许不被区块包含进来。

TrueBit 引入了“可验证博弈”的机制,经过博弈机制来应战和验证合约履行的正确性。用户经过 TrueBit 的界面发布履行智能合约的使命,使命的处理者提交的结算成果能够揭露审计。任何第三方都能够对成果提出应战。

任何以太坊节点都能够是仲裁者,能够判决争议。使命的处理者和应战者都需求质押 TRU 代币(TrueBit 的代币,下面会有专门提及)财物。任何一方取胜都能够取得代币奖赏,而核算缺乏准确性的一方则要会被处以代币消减的惩罚。进行使命处理和应战都能够经过 TrueBit OS 来完结。

为了鼓舞应战者继续参加应战,避免不正确的履行,TrueBit 还规划了一个“强制过错”机制。TrueBit 协议自身会提交不正确的智能合约成果,鼓舞应战者发现这些“过错”,让应战者有时机取得系统给予的奖赏,然后提高系统的韧性。

TrueBit 的代币经济服务于其可验证核算

TrueBit 的代币是 TRU (留意:有好几个代币符号均为 TRU,不要混淆),其代币经济服务于其可验证核算的目标。

因为 TrueBit 希望经过经济博弈机制来完结核算成果的可验证,因此代币经济机制在其运作中显得尤为重要。在 TrueBit 代币经济中,首要包含使命提出者、处理者、验证者。经过代币经济将这些角色连接起来,终究服务于 TrueBit 的可验证核算计划。

TrueBit 本质上构建了一个链下的核算商场。使命处理者首要目的在于经过完结核算使命取得 TRU 代币奖赏。使命处理者在 TrueBit OS 中继续运转,他们会对网络上发布的每个使命进行竞标,除非他们对使命进行过滤。每个使命都有一个处理者,使命提交者会从注册的使命处理者随机选择一位。

为了确保履行的正确性,使命验证者也要参加进来。为了鼓舞验证者,使命提交者也需求给予验证者 TRU 代币奖赏。验证者的处理计划有必要与处理者的处理计划相匹配。每个使命的验证者数量没有限制,验证者费用会在这些验证者之间均分。验证者也能够设置使命的过滤,比方最低 TRU 奖赏等。

依照 Truebit 的介绍,智能合约能够将其看作为黑匣子,经过黑匣子输入和输出,无须考虑以太坊区块的 Gas Limits。用户能够经过 TrueBit OS 客户端履行一切网络交互,包含获取、存储 TRU 代币等。

从流程上看,首要使命供给者会将核算使命发布到 TrueBit 网络上,使命供给者包含:使命一切者和使命提交者。使命一切者供给需求核算的函数 f、虚拟机参数、智能合约地址等。使命提交者供给适用的输入 x,付出 TRU 代币费用等。使命一切者能够经过 TrueBit OS 提交使命,这种情况下,使命一切者和提交者共用一个地址。此外,使命一切者也能够布置跟使命提交者交互的智能合约。

简单读懂 TrueBit

(TrueBit 网络的代币流,TrueBit)

使命供给者发布使命时,还需求指定一些经济参数:

*使命处理者的代币奖赏

假如使命的处理者完结使命,能够从使命提交者那里取得 TRU 代币奖赏。

*验证者的验证费用

验证费用也由使命提交者付出 TRU,它会在履行使命的验证者之间进行分配。验证者费用越高,能够吸引到的验证者就越多。

*最小存储费用

使命处理者和验证者需求质押一定量的 TRU 代币,以履行使命。

TRU 的用途和价值捕获

TRU 代币经济机制是服务于其可验证核算商场的。而 TRU 代币用来衡量核算使命的价值,也是其付出前言。

*TRU 用于付出使命费用

使命处理者和验证者能够经过自己的核算劳动取得相应 TRU 代币奖赏,在 TrueBit 的系统中,TRU 代币是整个系统运转的关键所在。

*TRU 用于取得相应参加者资历

使命的处理者和验证者都需求质押一定量的 TRU,避免作恶。

*TRU 用于冷启动的补助

在特定时间内,TrueBit 为了完结冷启动,TrueBit 会为每个使命的参加者供给额定补助,其间包含使命的一切者、处理者以及验证者。能够在 Truebit OS 中运转 bonus 命令来查看当时补助额。

*TRU 的价值捕获

TRU 代币会依据累计需求随时间推移创建或毁掉。用户用 ETH 购买 TRU,或 retire TRU 来换回 ETH。

用户将 ETH 存入储备保管合约购买 TRU,假如用户进行 retire 买卖,则能够从保管合约提取相应的 ETH。

除此之外,每个 TrueBit 使命也会毁掉 TRU 代币。能够在 TrueBit OS 中查看使命费用命令,能够了解当时的毁掉率、当时购买的代币价格、retire 价格。

TRU 的需求来源于 TrueBiT 的核算使命商场,假如以太坊上链外核算商场越大,那么,TRU 的潜在需求就越大。核算使命需求方(如布置合约的应用),需求购买 TRU 来付出核算使命的费用;核算商场越大,使命的处理者和验证者也越多,也越需求质押更多的 TRU 代币来取得相应服务资历;核算使命越多,毁掉的 TRU 也越多,也会形成 TRU 从流转中移出。

随着 web3 的到来,更多的应用或许会结合以太坊的 Layer1 和链外核算等,然后完结之前无法完结的 dApp 用例,比方去中心化视频应用、去中心化的交际应用、去中心化的机器学习商场等等。假如在 web3.0 时代,TrueBit 能够捕获其间的链外核算商场的一部分,就有时机支撑起 TRU 的价值。

当然,毋庸置疑,基于以太坊的链外核算商场未来竞争一定会很激烈。TrueBit 需求在处理计划上证明其老练性,也需求在运营上取得开发者群体的广泛支撑。

以太坊网络费用

因为跟以太坊区块链的交互需求付出 gas 费用,TrueBit (公司)会对每个使命的处理者和提交者收取相应的 ETH 网络费用。验证者则不需求付出以太坊网络费用。此外,使命处理者地址也有必要购买一次性的答应费用(付出给公司),才干加入到 TrueBit 网络。

项目布景

最后,TrueBit 的布景方面,其创始人为 Jason Teutsch;以太坊基金会的 Christian Reitwiessner 也有参加白皮书的编撰,Christian Reitwiessner 是以太坊基金会 Solidity 编程语言技术实施负责人。在资金资助方面,TrueBit 项目取得 Coinbase 前联合创始人 Fred Ehrsam 以及 Polychain Ventures 组织的出资。

视野开拓

要有耐心,要有约束,并渴望学习;此外,还必须能够驾驭你的情绪,并能够进行自我反思。-《聪明的投资者(第4版注疏点评版)》

发表回复

您的电子邮箱地址不会被公开。 必填项已用*标注