建立你自己的区块链以太坊被盗比特币开始使用个人电脑

艺术

Filecoin 区块链中的参与者相当于以太坊虚拟机中的智能合约。 Filecoin 虚拟机 (VM) 是负责执行所有参与者代码的系统组件。 在 Filecoin VM 上执行参与者（即链上执行）会产生汽油费。

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

演员是

以太坊

Filecoin 相当于虚拟机中的智能合约。 因此，Actor是系统的核心组件。 Filecoin 区块链当前状态的任何更改都必须由参与者方法调用触发。

下面将介绍Actor和Filecoin虚拟机之间的接口。

（这意味着下面描述的大部分内容并不严格属于 VM。相反，逻辑位于 VM 和 Actors 逻辑之间的接口处）

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

这里Actor State的结构由actor的余额，actor拥有的token，以及一组用于查询、检查和与链上状态交互的状态方法组成。

状态树是应用于 Filecoin 区块链的任何操作的执行输出。 链上（即 VM）状态数据结构是将地址绑定到参与者状态的映射（以哈希数组映射树 (HAMT) 的形式）。 每次执行 actor 方法时，VM 都会调用当前的 State Tree 函数。

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

从发送方转移到接收方的代币数量，以及调用接收方的带有参数的方法（可选/适用时）。

Actor 代码可以在处理接收到的消息的同时向其他 Actor 发送其他消息。 消息是同步处理的，也就是说最初比特币区块奖励是多少，actor 在恢复控制之前等待发送的消息完成。

消息的处理消耗计算和存储单位，均以气体表示。 消息的气体限制提供了处理该消息所需的计算上限。 消息的发送者按照其确定的 gas 价格支付执行消息（包括所有嵌套消息）所消耗的 gas 单位。 区块生产者选择将哪些消息包含在区块中，并根据每条消息的 gas 价格和消耗量获得奖励，从而形成一个市场。

消息语法验证

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

当单独发送时（在包含在块中之前） SignedMessage ，将消息包装为 SignedMessage 而不管使用的签名方案如何。 有效签名消息的总序列化大小不大于 message.MessageMaxSize。

区块链革命

语法上有效的 UnsignedMessage：

有一个格式正确的非空地址，

具有格式正确、非空的发件人地址，

具有不小于零且不大于总代币供应量 (2e9 * 1e18) 的值，并且

有一个非负的 GasPrice，

GasLimit 值至少等于与消息的序列化字节相关的气体消耗量，

比特币 2019 年 10 月

GasLimit 不大于 block gas limit 网络参数的值。

从 Message 结构中提取信息，例如发件人和收件人地址、要转移的价值、执行消息所需的资金以及消息的 CID。

假设消息最终应该包含在一个块中并添加到区块链中，应该检查消息的发送者和接收者的消息有效性、值（应该是非负的并且总是小于循环供应）、gas fee 价格（应该是非负数）和 BlockGasLimit 价格不应大于区块的 gas 费用限制。

消息语义验证

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

必须对语义上有效的 SignedMessage 进行签名，以验证有效负载是否已使用 From 地址标识的帐户执行者的公钥进行签名。 注意，当 From 地址为 ID 地址时，公钥必须在区块标识的父状态中的发送账户参与者的状态中查找。

注意：发送者必须存在，父状态由包含消息的块标识。 这意味着包含创建新帐户参与者的消息和来自同一参与者的消息的单个块是无效的。 来自该演员的第一条消息必须等到下一个纪元。 消息池可能会排除来自尚未上链的参与者的消息。

该消息没有进一步的语义验证，可能会使包含该消息的块无效。 每个语法上有效且正确签名的消息都可以包含在一个块中，并将导致执行接收。 MessageReceipt 结构包括以下内容：

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

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

瑞士币

消息收据包含顶级消息执行的结果。 每个语法上有效且正确签名的消息都可以包含在一个块中，并将导致执行接收。

语法上有效的消息收据具有： 一个非负的 ExitCode； 仅当退出代码为零时，返回才为非空； 和一个非负的 GasUsed。

VM 解释器根据其父块状态的一组提示来协调消息，从而产生一个新状态和一系列消息接收。 这个新状态的 CID 和接收集的 CID 包含在后续的块中，这些块必须同意这些 CID 以形成一组新的提示。

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

隐含信息

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

对于提示集中的每个块，隐式消息：

调用区块生产者的矿工参与者将（已验证的）选举 PoSt 提交作为区块中的第一条消息进行处理；

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

对于每个提示集，一个隐式消息：

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

所有隐式消息构造的发件人地址都是区分的系统帐户参与者。 他们将天然气价格指定为零，但必须将其包含在计算中。 为了计算新状态，它们必须成功（退出代码为零）。 隐式消息的回执不包含在回执列表中； 只有明确的消息有明确的收据。

煤气费

在大多数情况下，消息的发送者向生成包含该消息的区块的矿工支付执行该消息所需的燃料费。

消息执行后，每次执行消息的GAS费用会立即支付到矿工账户。 赚取的区块奖励或汽油费没有负担：两者都可以立即花费。

重复的电子邮件

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

总结提示集的执行顺序：

为第一个区块支付奖励

处理第一个区块的选举位置

第一个块的消息（BLS before SECP）

支付第二个奖励

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

第二个块的消息（SECP 之前的 BLS，跳过任何已经遇到的消息）

OKEX

[...后续块...]

时标

消息有效性和失败

有效块中的每条消息都可以被处理并生成回执（请注意，块有效性意味着所有消息在语法上都是有效的——请参阅消息语法——并正确签名）。 但是，执行的成功取决于消息应用到的状态。 如果消息执行失败，相应的回执将携带一个非零退出代码。

如果消息由于可以合理归因于矿工的原因而失败，包括在父块状态下永远无法成功的消息，或者因为发送者缺乏资金来支付最大消息成本，矿工将通过烧钱 Gas 来支付罚款费用（而不是向批量矿工发送费用）。

消息失败导致的唯一状态变化是：

发送方的增量 CallSeqNum，gas 费从发送方支付给包含消息的块的所有者；

惩罚等于失败消息的 gas 费，由矿工销毁（发送方 CallSeqNum 不变）。

如果处于前一个状态，消息执行将失败：

From Actor 在状态中不存在（矿工惩罚）

From Actor是否为account Actor（矿工惩罚）

消息的CallSeqNum与From Actor的CallSeqNum不匹配（矿工惩罚）

From Actor 没有足够的余额来支付消息的总和 Value 加上最大 gas 成本最初比特币区块奖励是多少，GasLimit * Gas​​Price（矿工惩罚）

参与者不在 To 状态，并且 To 地址不是 pubkey-style 地址

To actor 存在（或作为帐户隐式创建），但没有对应于非零 MethodNum 的方法

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