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函数。
Elon Musk再次冻结疑似加密欺诈推特账户“@ExplainThisBob”:金色财经报道,Elon Musk在社交媒体发现推特账户@ExplainThisBob再次活跃后回复称“这肯定看起来是一个加密欺诈账户,如果是这样,它将被冻结”,随后该账号显示已被冻结。历史信息显示,推特早在2022年就曾冻结账户“@ExplainThisBob”,当时Elon Musk尚未收购推特,网友评论马斯克,称推特正在关停“good bots(好的机器人)”标签,虽然ExplainThisBob的账号被冻结,但那些垃圾信息和虚假账号大军仍然自由地活跃着。马斯克叹气回复该评论,表露其出对于放弃收购推特以及反诉推特的态度。[2023/6/18 21:45:39]
3
VM消息-Actor方法调用
消息是两个参与者之间进行通信的单位,因此是状态变化的根本原因。一条消息结合了:
从发送方转移到接收方的令牌金额,以及具有在接收方上调用的参数的方法。
Actor代码可以在处理收到的消息时向其他Actor发送其他消息。消息是同步处理的,也就是说,参与者在恢复控制之前等待发送的消息完成。
消息的处理消耗了计算和存储单位,两者均以瓦斯表示。消息的气体限制为处理该消息提供了所需的计算上限。消息的发件人以其确定的汽油价格来支付消息执行所消耗的gas单位。区块生产者选择要包含在区块中的消息,并根据每个消息的gas价格和消耗量获得奖励,从而形成市场。
黑山司法部长:美国和韩国都正寻求引渡Do?Kwon:金色财经报道,黑山司法部长表示,美国和韩国都正在寻求引渡Terra币创始人Do?Kwon。[2023/3/29 13:33:42]
消息语法验证
语法无效的消息不得传输,保留在消息池中或包含在块中。如果收到无效消息,则应将其丢弃,并且不要进一步传播。
当单独发送时SignedMessage,无论使用哪种签名方案,都将消息打包为。有效的签名邮件的序列化总大小不大于message.MessageMaxSize。
v??ipfskj2020
语法上有效的UnsignedMessage:
具有格式正确的非空To地址,
具有格式正确的非空From地址,
具有Value不小于零且不大于令牌总供给,并且
具有非负数GasPrice,
具有GasLimit至少等于与消息的序列化字节关联的气体消耗的值,
具有GasLimit不大于区块气体限制网络参数的值。
以太坊桥TVL下跌至55.3亿美元,30天内跌幅达13.8%:金色财经报道,DuneAnalytics数据显示,以太坊桥当前TVL达到55.3亿美元,30天内跌幅达13.8%。其中锁仓量最高的5个桥分别是PolygonBridges(31.06亿美元)、ArbitrumBridges(12.55亿美元)、OptimismBridges(9.03亿美元)、FantomAnyswapBridge(2.12亿美元)、NearRaibow(1.65亿美元)。[2022/12/11 21:37:34]
从中提取信息Messagestruct,例如发件人和收件人地址,要转移的值,执行消息所需的资金以及消息的CID。
假定消息最终应包含在一个块中并添加到区块链中,则应检查消息的发送者和接收者的消息有效性,该值,gas费价格且BlockGasLimit该价格不应大于该区块的gas费限额。
消息语义验证
语义验证是指需要消息本身之外的信息的验证。
语义上有效的SignedMessage必须带有签名,以验证有效载荷是否已被From地址标识的帐户执行者的公钥签名。请注意,当From地址是ID地址时,必须在块所标识的父状态下的发送帐户参与者的状态下查找公钥。
注意:发送方必须以包含消息的块所标识的父级状态存在。这意味着单个块包含创建新帐户actor的消息和来自同一actor的消息是无效的。来自该参与者的第一条消息必须等到下一个纪元。消息池可能会排除来自参与者的,尚未处于链状状态的消息。
Paxos与PicPay合作面向巴西用户推出加密货币交易功能:金色财经报道,美元稳定币USDP发行方Paxos宣布已与巴西金融科技应用PicPay合作推出加密货币交易功能,将数字资产带给PicPay的3000万活跃用户。PicPay用户现在可以购买、出售和持有比特币、以太坊和USDP(Paxos完全受监管的美元支持的稳定币)。
PicPay还将支持加密货币支付功能,并将在今年晚些时候推出。(paxos.com)[2022/8/11 12:17:33]
消息没有进一步的语义验证,可能导致包含该消息的块无效。每个语法有效且正确签名的消息都可以包含在一个块中,并会从执行中产生一个收据。其中MessageReceiptsturct包括以下内容:
但是,消息可能无法执行到完成,在这种情况下,它不会触发所需的状态更改。
这种“无消息语义验证”策略的原因是,在消息作为提示集的一部分执行之前,将不知道消息将应用于的状态。块生产者不知道在提示集中是否有另一个块会在它之前,因此从声明的父状态更改了该块消息将应用到的状态。
英超埃弗顿足球俱乐部推出数字球衣NFT:8月2日消息,英超埃弗顿足球俱乐部宣布与NFT初创公司Fancurve合作推出数字球衣NFT,这些数字球衣将在元宇宙虚拟世界中提供给数字化身使用。据悉,该NFT将由Fancurve的内部3D时装设计师团队设计,且被定位为高端数字藏品。(Sports Pro Media)[2022/8/3 2:54:47]
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)地址,则它将被创建为帐户参与者。
来源:金色财经
假如市场伤害了你,不要悲伤,不要心急,它通常还会继续伤害你。交易是最折磨人的,但我们还是如朝圣般地仰望它、靠近它,甚至感激它。因为他曾馈赠我们最差也是最好的时光.
1900/1/1 0:00:00今天的封面是《盛开的果园和白杨》,文森特·梵高这个位置,雨神提示还不急着出。 昨天大饼破2万后,也是被各种媒体大肆报道了一番,其中看到一条非常有意思的投票.
1900/1/1 0:00:00比特币经过一波小回调,最低打到了22321美金,价格没做太多停留目前再度回到23000美金上方,整个过程走的非常强势.
1900/1/1 0:00:00得益于商场流动资金与出资心情渐趋老练,以及国内资本商场密布与谨慎的变革,A股2020年新股数量和融资金额均创下新高。一起,展望2021年,内地新股商场将会进一步扩容.
1900/1/1 0:00:00每一次的投资都是一次科学的分析,不是感情的博弈;每一次的建仓与平仓都是专业的体现,不是情绪的释放;不管你之前做的如何,改变从这里开始,选择合适的老师,合适的平台,一切都不会晚,跟对注,赢一次.
1900/1/1 0:00:00比特币继续上涨,首次突破2.3万美元/枚关口,市值更是突破4000亿美元大关,直接超过了A股市值大哥贵州茅台,并可位列美股第12位.
1900/1/1 0:00:00