TOR:相比起以太 Filecoin 是如何打造智能合约的?

Filecoin区块链中的Actor等同于以太坊虚拟机中的智能合约。Filecoin虚拟机是负责执行所有参与者代码的系统组件。在FilecoinVM上执行参与者会产生GAS费用。

在FilecoinVM上执行的任何操作都将以状态树的形式输出。最新的状态树是Filecoin区块链中的当前来源。

1

VMActor接口?v??ipfskj2020

Actor是以太坊虚拟机中智能合约的Filecoin等效项。因此,Actor是系统的核心组件。Filecoin区块链当前状态的任何更改都必须通过参与者方法调用来触发。

以下会描述Actor与Filecoin虚拟机之间的接口。

总共有十一种类型的内置Actor,但并非所有类型都与VM交互。一些Actor不会调用对区块链的StateTree的更改,因此不需要与VM的接口。

这里ActorState的结构由参与者的余额,参与者所拥有的令牌以及用于查询,检查链状态并与之交互的一组状态方法组成。

2

状态树

状态树是对Filecoin区块链应用的任何操作的执行输出。链上状态数据结构是将地址绑定到参与者状态的映射的形式)。VM在每次执行actor方法时都会调用当前的StateTree函数。

LayerZero宣布上线Base主网:金色财经报道,全链互操作性协议LayerZero宣布已在Coinbase开发的L2方案Base主网上线,已经利用LayerZero进行全链消息传递的项目可以立即添加对Base的支持,基于Base构建的开发人员可以将他们的应用程序无缝扩展到整个LayerZero网络。[2023/7/20 11:05:47]

3

VM消息-Actor方法调用

消息是两个参与者之间进行通信的单位,因此是状态变化的根本原因。一条消息结合了:

从发送方转移到接收方的令牌金额,以及具有在接收方上调用的参数的方法。

Actor代码可以在处理收到的消息时向其他Actor发送其他消息。消息是同步处理的,也就是说,参与者在恢复控制之前等待发送的消息完成。

消息的处理消耗了计算和存储单位,两者均以瓦斯表示。消息的气体限制为处理该消息提供了所需的计算上限。消息的发件人以其确定的汽油价格来支付消息执行所消耗的gas单位。区块生产者选择要包含在区块中的消息,并根据每个消息的gas价格和消耗量获得奖励,从而形成市场。

消息语法验证

Thirdweb已任命Facebook前高管AtifKhan担任游戏副总裁:金色财经报道,Web3开发者平台Thirdweb已任命Facebook前高管Atif Khan担任游戏副总裁,以加速Web3游戏行业的发展。[2023/6/12 21:31:12]

语法无效的消息不得传输,保留在消息池中或包含在块中。如果收到无效消息,则应将其丢弃,并且不要进一步传播。

当单独发送时SignedMessage,无论使用哪种签名方案,都将消息打包为。有效的签名邮件的序列化总大小不大于message.MessageMaxSize。

v??ipfskj2020

语法上有效的UnsignedMessage:

具有格式正确的非空To地址,

具有格式正确的非空From地址,

具有Value不小于零且不大于令牌总供给,并且

具有非负数GasPrice,

具有GasLimit至少等于与消息的序列化字节关联的气体消耗的值,

具有GasLimit不大于区块气体限制网络参数的值。

美股三大指数集体收涨,标普500指数涨1.43%:金色财经报道,美股三大指数集体收涨,道指涨1.58%,纳指涨1.26%,标普500指数涨1.43%,大型科技股多数上涨。[2022/12/13 21:40:45]

从中提取信息Messagestruct,例如发件人和收件人地址,要转移的值,执行消息所需的资金以及消息的CID。

假定消息最终应包含在一个块中并添加到区块链中,则应检查消息的发送者和接收者的消息有效性,该值,gas费价格且BlockGasLimit该价格不应大于该区块的gas费限额。

消息语义验证

语义验证是指需要消息本身之外的信息的验证。

语义上有效的SignedMessage必须带有签名,以验证有效载荷是否已被From地址标识的帐户执行者的公钥签名。请注意,当From地址是ID地址时,必须在块所标识的父状态下的发送帐户参与者的状态下查找公钥。

注意:发送方必须以包含消息的块所标识的父级状态存在。这意味着单个块包含创建新帐户actor的消息和来自同一actor的消息是无效的。来自该参与者的第一条消息必须等到下一个纪元。消息池可能会排除来自参与者的,尚未处于链状状态的消息。

消息没有进一步的语义验证,可能导致包含该消息的块无效。每个语法有效且正确签名的消息都可以包含在一个块中,并会从执行中产生一个收据。其中MessageReceiptsturct包括以下内容:

算法股票投资平台Delphia为其平台添加数字资产功能:9月28日消息,算法股票投资平台Delphia为其平台添加数字资产功能,允许用户获得实用性代币Phi (PHI)奖励。

此前消息,算法股票投资平台Delphia完成6000万美元融资,Multicoin Capital领投。(CoinDesk)[2022/9/28 5:58:41]

但是,消息可能无法执行到完成,在这种情况下,它不会触发所需的状态更改。

这种“无消息语义验证”策略的原因是,在消息作为提示集的一部分执行之前,将不知道消息将应用于的状态。块生产者不知道在提示集中是否有另一个块会在它之前,因此从声明的父状态更改了该块消息将应用到的状态。

4

VM运行内部环境

MessageReceipt包含一个顶层消息执行的结果。每个语法有效且正确签名的消息都可以包含在一个块中,并会从执行中产生一个收据。

语法有效的MessageReceipt具有:一个非负ExitCode;Return仅当退出代码为零时,才为非空值;并且非负数GasUsed。

数据:持有1枚及以上比特币地址数创历史新高,达871492个:6月27日消息,据Glassnode数据显示,持有1枚及以上的比特币地址数量达871,492个,创历史新高。[2022/6/27 1:34:24]

5

VM解释器-外部消息调用

VM解释器根据其父块状态上的提示集协调消息,从而产生新状态和一系列消息回执。此新状态的CID和收据集合的CID包含在后续区块中,这些区块必须同意这些CID才能形成新的提示集。

每个状态更改都由消息的执行来驱动。提示集中所有块中的消息必须执行才能产生下一个状态。来自第一个块的所有消息均在技巧集中的第二个和后续块的消息之前执行。对于每个块,首先执行BLS聚合的消息,然后执行SECP签名的消息。

隐式消息

除了显示包含在每个块中的消息之外,隐含消息还会在每个时期对状态进行一些更改。隐式消息不在节点之间传输,而是由解释器在评估时构造的。

对于提示集中的每个块,隐式消息:

调用区块生产者的矿工演员来处理选举PoSt提交,作为区块中的第一条消息;

调用奖励参与者将区块奖励支付给矿工的所有者帐户,作为区块中的最终消息;

对于每个提示集,一个隐式消息:

调用cronactor来处理自动支票和付款,作为提示集中的最后一条消息。

所有隐式消息的构造From地址都是杰出的系统帐户参与者。他们将汽油价格指定为零,但必须包含在计算中。为了计算新状态,它们必须成功。隐式邮件的收据不包括在收据列表中;只有明确的消息才有明确的回执。

GAS费

在大多数情况下,消息的发送者向产生包含该消息的块的矿工支付执行该消息所需的GAS费。

执行该消息后,每次执行该消息所产生的GAS费将立即支付给矿工所有者帐户。所获得的集体奖励或汽油费没有任何负担:两者都可以立即花费。

邮件重复

由于不同的矿工在同一时期产生区块,因此单个提示集中的多个区块可能包含相同的消息。发生这种情况时,仅在第一次以提示集的规范顺序遇到该消息时才处理该消息。消息的后续实例将被忽略,不会导致任何状态突变,产生收据或向区块生产者支付费用。

总结一下提示集的执行顺序:

为第一块支付奖励

处理第一块的选举职位

第一个块的消息

支付第二块奖励

处理第二个区块的选举职位

第二个块的消息

定时刻度

消息有效性和失败

有效块中的每个消息都可以被处理并产生收据。但是,执行成功与否取决于消息所应用的状态。如果消息执行失败,则相应的收据将携带非零的退出代码。

如果消息由于可以合理地归因于矿工的原因而失败,包括在父块状态中永远不可能成功的消息,或者由于发件人缺乏资金来支付最大消息成本,则矿工将通过烧钱来支付罚款GAS费。

消息失败导致的唯一状态更改是:

发送方的增量CallSeqNum,并从发送方向包含消息的区块矿主支付汽油费;

罚款等于失败消息的GAS费,由矿工烧掉。

如果处于紧接的先前状态,则消息执行将失败:

该FromActor不存在于该州

该FromActor是不是帐号Actor

该CallSeqNum消息不匹配CallSeqNum的的FromActor

FromActor不具有足够的平衡,以覆盖消息的总和Value加上最大GAS成本,GasLimit*GasPrice

该参与者不在To状态中,并且该To地址不是pubkey样式的地址

该Toactor存在,但是没有对应于非零的方法MethodNum

反序列化Params不是长度匹配数组Toactor的MethodNum方法的数组

反序列化Params对于Toactor的MethodNum方法指定的类型无效

所调用的方法消耗的GAS多于GasLimit允许的量

调用的方法以非零代码退出

由于上述任何原因,接收方发送的任何内部消息都会失败。

请注意,如果To参与者不在状态中并且该地址是有效H(pubkey)地址,则它将被创建为帐户参与者。

来源:金色财经

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

地球链

[0:328ms0-0:510ms