以太坊:简单读懂TrueBit

以太坊链上的困境

以太坊最初的目标是“世界计算机”,但区块链的核心是安全和去中心化,当用户运行智能合约时,所有节点都有参与。这些节点通过EVM执行,而这些执行会消耗计算资源,每个计算都会收取“gas费用”。这意味着复杂的合约会收取昂贵的费用。如果合约过于复杂,显然是不适合在链上部署的。

此外,众所周知,以太坊有GasLimits。有了GasLimits,好处是以太坊可以防止拒绝服务攻击、鼓励交易验证等。不过,它也存在问题:以太坊链上无法执行密集型的大量计算任务。GasLimits让处理大计算量任务不仅成本高且无法实现。想想看,有成千上万的计算机来存储和运行相同的指令。

TrueBit:链下可验证博弈机制

为解决这个问题,TrueBit的基本思路是:既然链上无法实现,且很昂贵,那么,就将这些大计算量的任务放到链下来完成,而将执行结果提交到链上,同时通过基于博弈的经济机制来确保其结果的可验证性。

这种解决方案可以让之前链上无法实现的计算有机会落地,同时成本上也可以接受。关于链下计算,我们之前也有介绍过Zk-Rollups和OptimisticRollups等方案,可以参考蓝狐笔记之前的文章《一文读懂ZKRollup和OptimisticRollup:以太坊重要的扩展方向》。

恒生银行:数字资产服务提供商只能访问“简单”账户:金色财经报道,尽管香港金融管理局 (HKMA) 做出了保证,但虚拟资产服务提供商 (VASP) 在获得香港银行服务方面仍面临着困难。汇丰银行旗下金融机构恒生银行指出,数字资产服务提供商只能访问“简单”账户。尽管该报告未能规定向 VASP 提供的服务范围,但分析师强调了数字资产行业公司的某些银行限制。

据报道,VASP 难以获得金融服务,原因是证券及期货事务监察委员会(SFC)的员工稀缺,以及香港银行不愿向业内人士敞开大门。

汇丰发言人表示,我们与数字资产参与者积极对话,就一系列话题交换意见,包括但不限于开户。”我们仍然积极参与香港这个新兴行业的政策和发展。

为了解决数字资产公司的银行服务挑战,金管局和中国证监会举办了一系列圆桌会议。该地区的金融机构暗示,VASP 可以开设账户,但对其运营受到限制的担忧空前高涨。[2023/8/10 16:17:40]

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

香港恒生银行:企业获证监会原则上批准虚拟资产牌照后可开设简单户口:金色财经报道,香港恒生银行商业银行业务总监林燕胜指出,香港金管局促银行正面对待虚拟资产发展,恒生金管局和证监会多次合办圆桌会议,协调虚产企业开户难问题,恒生银行会跟随大方向,企业获证监会原则上批准(AIP)牌照后,已可开设简单户口,但目前并没有收到很多查询,因事实上获批AIP也不容易。[2023/7/31 16:08:49]

TrueBit通过构建链下的计算市场,让计算任务接单人来执行智能合约的计算任务。它没有所有节点执行的冗余和效率低下,可以节省计算费用。同时,也没有链上区块的GasLimits,最终上链的只是执行结果。

此外,以太坊智能合约执行还存在可能的验证者困境。在以太坊区块链上,区块生产者会获得奖励,而区块验证者没有。这会激励节点花费更多资源去挖下一个区块,而不是正确地验证提议的区块。这不利于智能合约被正确执行,甚至有可能不被区块包括进来。

TrueBit引入了“可验证博弈”的机制,通过博弈机制来挑战和验证合约执行的正确性。用户通过TrueBit的界面发布执行智能合约的任务,任务的解决者提交的结算结果可以公开审计。任何第三方都可以对结果提出挑战。

OKCoin市场开发负责人:6月2日比特币大跌是简单交易活动的结果:金色财经报道,OKCoin市场开发负责人Matthew Ficke表示,6月2日比特币在某些交易所大跌超1000美元是简单的交易活动的结果。Ficke指出,10400美元的价格水平在历史上是一个重要的区域。自2019年秋季以来,比特币已经三次进入这一区域,无法以显著的持久力突破这一区域。对于6月2日比特币暴跌,Ficke解释称,很可能是在附近触发了短期清算。他表示,活跃的交易员通常会通过设定这附近的止损位来管理风险。除非动能带动市场走高,否则多头仓位很快就会变得脆弱。这种动态可能会加剧短期价格波动。此外,他说,鉴于当前美国经济和公众的不确定性,比特币最近的上涨是有道理的。[2020/6/3]

任何以太坊节点都可以是仲裁者,可以裁决争议。任务的解决者和挑战者都需要质押TRU代币资产。任何一方获胜都可以获得代币奖励,而计算缺乏准确性的一方则要会被处以代币消减的惩罚。进行任务解决和挑战都可以通过TrueBitOS来完成。

为了激励挑战者持续参与挑战,防止不正确的执行,TrueBit还设计了一个“强制错误”机制。TrueBit协议本身会提交不正确的智能合约结果,鼓励挑战者发现这些“错误”,让挑战者有机会获得系统给予的奖励,从而提升系统的韧性。

区块链平台服务提供商Kadena通过未来代币简单协议募集1200万美元融资:区块链平台服务提供商Kadena通过未来代币简单协议募集到了1200万美元融资。该公司透露,他们计划利用最新资金加速开发旗下Chainweb区块链平台,构建技术生态系统。[2018/4/13]

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

TrueBit的代币是TRU,其代币经济服务于其可验证计算的目标。

由于TrueBit希望通过经济博弈机制来实现计算结果的可验证,因此代币经济机制在其运作中显得尤为重要。在TrueBit代币经济中,主要包括任务提出者、解决者、验证者。通过代币经济将这些角色连接起来,最终服务于TrueBit的可验证计算方案。

TrueBit本质上构建了一个链下的计算市场。任务解决者主要目的在于通过完成计算任务获得TRU代币奖励。任务解决者在TrueBitOS中持续运行,他们会对网络上发布的每个任务进行竞标,除非他们对任务进行过滤。每个任务都有一个解决者,任务提交者会从注册的任务解决者随机选择一位。

徐海洋:区块链不是简单的新软件技术,而是巨大的技术浪潮:前百度首席架构师、微软亚洲研究院人工智能专家徐海洋受访21世纪经济报道时表示:我们很早就懂得区块链技术,但对技术的意义理解太少,所以原来只停留在帮朋友做技术顾问的层面。反思后我们发现,区块链不是简单的新软件技术,而是巨大的技术浪潮,我们应该更深入地参与其中。[2018/2/26]

为了确保执行的正确性,任务验证者也要参与进来。为了激励验证者,任务提交者也需要给予验证者TRU代币奖励。验证者的解决方案必须与解决者的解决方案相匹配。每个任务的验证者数量没有限制,验证者费用会在这些验证者之间均分。验证者也可以设置任务的过滤,比如最低TRU奖励等。

按照Truebit的介绍,智能合约可以将其看作为黑匣子,通过黑匣子输入和输出,无须考虑以太坊区块的GasLimits。用户可以通过TrueBitOS客户端执行所有网络交互,包括获取、存储TRU代币等。

从流程上看,首先任务提供者会将计算任务发布到TrueBit网络上,任务提供者包括:任务所有者和任务提交者。任务所有者提供需要计算的函数f、虚拟机参数、智能合约地址等。任务提交者提供适用的输入x,支付TRU代币费用等。任务所有者可以通过TrueBitOS提交任务,这种情况下,任务所有者和提交者共用一个地址。此外,任务所有者也可以部署跟任务提交者交互的智能合约。

任务提供者发布任务时,还需要指定一些经济参数:

任务解决者的代币奖励

如果任务的解决者完成任务,可以从任务提交者那里获得TRU代币奖励。

验证者的验证费用

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

最小存储费用

任务解决者和验证者需要质押一定量的TRU代币,以执行任务。

TRU的用途和价值捕获

TRU代币经济机制是服务于其可验证计算市场的。而TRU代币用来衡量计算任务的价值,也是其支付媒介。

TRU用于支付任务费用

任务解决者和验证者可以通过自己的计算劳动获得相应TRU代币奖励,在TrueBit的体系中,TRU代币是整个体系运行的关键所在。

TRU用于获得相应参与者资格

任务的解决者和验证者都需要质押一定量的TRU,防止作恶。

TRU用于冷启动的补助

在特定时间内,TrueBit为了实现冷启动,TrueBit会为每个任务的参与者提供额外补助,其中包括任务的所有者、解决者以及验证者。可以在TruebitOS中运行bonus命令来检查当前补助额。

TRU的价值捕获

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

用户将ETH存入储备托管合约购买TRU,如果用户进行retire交易,则可以从托管合约提取相应的ETH。

除此之外,每个TrueBit任务也会销毁TRU代币。可以在TrueBitOS中检查任务费用命令,可以了解当前的销毁率、当前购买的代币价格、retire价格。

TRU的需求来源于TrueBiT的计算任务市场,如果以太坊上链外计算市场越大,那么,TRU的潜在需求就越大。计算任务需求方,需要购买TRU来支付计算任务的费用;计算市场越大,任务的解决者和验证者也越多,也越需要质押更多的TRU代币来获得相应服务资格;计算任务越多,销毁的TRU也越多,也会造成TRU从流通中移出。

随着web3的到来,更多的应用可能会结合以太坊的Layer1和链外计算等,从而实现之前无法实现的dApp用例,比如去中心化视频应用、去中心化的社交应用、去中心化的机器学习市场等等。如果在web3.0时代,TrueBit能够捕获其中的链外计算市场的一部分,就有机会支撑起TRU的价值。

当然,毋庸置疑,基于以太坊的链外计算市场未来竞争一定会很激烈。TrueBit需要在解决方案上证明其成熟性,也需要在运营上获得开发者群体的广泛支持。

以太坊网络费用

由于跟以太坊区块链的交互需要支付gas费用,TrueBit会对每个任务的解决者和提交者收取相应的ETH网络费用。验证者则不需要支付以太坊网络费用。此外,任务解决者地址也必须购买一次性的许可费用,才能加入到TrueBit网络。

项目背景

最后,TrueBit的背景方面,其创始人为JasonTeutsch;以太坊基金会的ChristianReitwiessner也有参与白皮书的撰写,ChristianReitwiessner是以太坊基金会Solidity编程语言技术实施负责人。在资金资助方面,TrueBit项目获得Coinbase前联合创始人FredEhrsam以及PolychainVentures机构的投资。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:15ms0-0:737ms