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函数。
ConsenSys区块链融资计划TachyonX将为入选项目提供15万美元投资:金色财经报道,以太坊孵化器ConsenSys Mesh周四宣布针对区块链支持项目的最新融资计划:TachyonX。获奖方案将获得Mesh的15万美元投资,并获得项目4%的股权;被选中的创始人还可以一对一地接触一组导师,他们将帮助他们的项目迅速启动。
除了要求选定的项目将其4%的股权交给ConsenSys Mesh以参与该计划外,这些项目还需要授予孵化器内部代币分配的比例代币权。[2023/7/14 10:54:11]
3
VM消息-Actor方法调用
消息是两个参与者之间进行通信的单位,因此是状态变化的根本原因。一条消息结合了:
从发送方转移到接收方的令牌金额,以及具有在接收方上调用的参数的方法。
Actor代码可以在处理收到的消息时向其他Actor发送其他消息。消息是同步处理的,也就是说,参与者在恢复控制之前等待发送的消息完成。
消息的处理消耗了计算和存储单位,两者均以瓦斯表示。消息的气体限制为处理该消息提供了所需的计算上限。消息的发件人以其确定的汽油价格来支付消息执行所消耗的gas单位。区块生产者选择要包含在区块中的消息,并根据每个消息的gas价格和消耗量获得奖励,从而形成市场。
Nansen CEO要求美SEC主席Gary Gensler辞职:金色财经报道,针对美国证券交易委员会主席Gary Gensler在社交媒体发文称Coinbase剥夺了投资者的重要保护,包括防止欺诈和操纵的规则手册、适当的披露、防止利益冲突的保障措施以及美国证券交易委员会的例行检查,区块链分析公司首席执行官Alex Svanevik回应称,人类将因为Gary Gensler而变得更糟,辞职。[2023/6/6 21:19:45]
消息语法验证
语法无效的消息不得传输,保留在消息池中或包含在块中。如果收到无效消息,则应将其丢弃,并且不要进一步传播。
当单独发送时SignedMessage,无论使用哪种签名方案,都将消息打包为。有效的签名邮件的序列化总大小不大于message.MessageMaxSize。
v??ipfskj2020
语法上有效的UnsignedMessage:
具有格式正确的非空To地址,
具有格式正确的非空From地址,
具有Value不小于零且不大于令牌总供给,并且
具有非负数GasPrice,
加密贷款协议 Alchemix Finance 批准 ALCX 代币回购计划:金色财经报道,加密贷款协议 Alchemix Finance 背后的 DAO 周一批准了一项提案,将支持其金库和流行性挖矿活动的部分现金转移到其原生 ALCX 代币回购计划中。该提案旨在通过指示 Alchemix 将其流行性挖矿收入的三分之一用于购买 ALCX代币来支持alAssets ,新模式应该产生足够的收入来“支付所有费用,并让金库有适度的盈余”。Alchemix Finance 财库目前拥有 100 万美元的稳定币和 200 万美元的以太坊,每年的消耗高达 120 万美元,提案称:“它将我们最大的开支变成了该协议的主要收入来源。[2023/2/7 11:51:06]
具有GasLimit至少等于与消息的序列化字节关联的气体消耗的值,
具有GasLimit不大于区块气体限制网络参数的值。
从中提取信息Messagestruct,例如发件人和收件人地址,要转移的值,执行消息所需的资金以及消息的CID。
假定消息最终应包含在一个块中并添加到区块链中,则应检查消息的发送者和接收者的消息有效性,该值,gas费价格且BlockGasLimit该价格不应大于该区块的gas费限额。
法院文件显示约117家公司有意购买FTX业务:金色财经报道,据公布一份法律文件称,截至周日,包括全球各种金融和战略对手方在内的约117个方面已向债务人(FTX)表达了对一项或多项业务的潜在收购兴趣。到目前为止,FTX已经签订了59份保密协议。LedgerX是FTX美国的一个衍生品部门,也是其少数几家保持偿付能力的公司之一,在56份意向书中处于领先地位。FTX表示,鉴于司法部以及证券和商品监管机构对这些前高管的指控,它不会出售与Sam Bankman-Fried、Gary Wang、Nishad Singh、Caroline Ellison或其家人有关的任何债权。对这四家公司提交初步投标的最后期限将在1月18日至2月1日之间到期。但是,在周日提交的另一份文件中,代表FTX债权人的一个委员会表示,不会出现急于出售的情况。[2023/1/10 11:03:06]
消息语义验证
语义验证是指需要消息本身之外的信息的验证。
语义上有效的SignedMessage必须带有签名,以验证有效载荷是否已被From地址标识的帐户执行者的公钥签名。请注意,当From地址是ID地址时,必须在块所标识的父状态下的发送帐户参与者的状态下查找公钥。
注意:发送方必须以包含消息的块所标识的父级状态存在。这意味着单个块包含创建新帐户actor的消息和来自同一actor的消息是无效的。来自该参与者的第一条消息必须等到下一个纪元。消息池可能会排除来自参与者的,尚未处于链状状态的消息。
PoolTogether将于7月27日开启OP奖励活动:7月22日消息,无损彩票项目PoolTogether宣布在Optimism上线2周后,将向使用PoolTogether进行储蓄的用户发放45万枚OP奖励。第一阶段将于北京时间7月27日01:00开始,为PoolTogetherOptimism存款者每周提供2.5万枚OP奖励。[2022/7/22 2:31:57]
消息没有进一步的语义验证,可能导致包含该消息的块无效。每个语法有效且正确签名的消息都可以包含在一个块中,并会从执行中产生一个收据。其中MessageReceiptsturct包括以下内容:
但是,消息可能无法执行到完成,在这种情况下,它不会触发所需的状态更改。
这种“无消息语义验证”策略的原因是,在消息作为提示集的一部分执行之前,将不知道消息将应用于的状态。块生产者不知道在提示集中是否有另一个块会在它之前,因此从声明的父状态更改了该块消息将应用到的状态。
4
VM运行内部环境
MessageReceipt包含一个顶层消息执行的结果。每个语法有效且正确签名的消息都可以包含在一个块中,并会从执行中产生一个收据。
语法有效的MessageReceipt具有:一个非负ExitCode;Return仅当退出代码为零时,才为非空值;并且非负数GasUsed。
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)地址,则它将被创建为帐户参与者。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。