执行模式
本页介绍 Kaia 智能合约的执行模型、数据结构和生命周期。
执行模式
平台 API 可生成交易,详见 Platform API Specification。 这些交易被发送到_共识节点(CNs\ )_,存储在一个区块中。 CN 检查收到的每笔交易是否有效。 有效的事务会保存在事务池中,否则会被丢弃。 CN 在其事务池中选择当前区块中的可执行事务,并逐一执行。
要执行交易,发送方必须支付一定数额的 KAIA 作为交易费。 KAIA 的这笔交易费是根据天然气和乘数(即_)、单价计算的。 气体是计算的基本单位。 在 Kaia 节点上执行的每个操作都会消耗预定量的气体。 交易所需的 KAIA 确切金额按交易费中的公式计算。 如果发送方提交的交易附带的气体不足,交易可能会失败。 如果发件人账户余额不足,交易也可能失败。
当一个事务成功执行后,它就会被包含在当前区块中。 CN 收集交易,直到达到区块气体限制或区块时间限制。 然后,CN 将这些交易生成一个区块。 这一步需要在区块中填写几个字段。 例如,它必须计算交易、收据、状态等的哈希值。 填写完所有必填字段后,CN 会生成一个区块哈希值。
区块生成完成后,区块会传播到所有其他 CN。 其他 CN 都会验证传播的区块,并通过 BFT 共识算法就验证结果达成共识。 当大多数 CN 成功完成验证过程后,区块就会被存储到区块链中。 由于 BFT 共识算法满足即时终局性属性,因此区块是终局的,永远不会被删除。 一个区块最终完成后,该区块中所有事务的执行都将得到不可逆转的保证,而且如果发送者提出要求,其执行结果可以返回给发送者。
增强整体提案人和委员会遴选的随机性
Kaia 采用了一种新机制,在区块提议者和委员会选择过程中引入了可验证的链上随机性。 这种机制涉及到块标头中的两个新字段:randomReveal "和 "mixHash"。
在这个系统中,区块提议者生成并承诺随机值。 区块中的 "randomReveal "字段包含提议者的签名,该签名使用特定签名方案生成,并根据当前提议的区块编号进行计算。 然后,"mixHash "就会使用这个揭示的随机值和其他区块数据进行计算,从而为网络创建一个随机源。
区块提案人和委员会的遴选过程就是利用这种生成的随机性。 使用这种随机性的目的是使选择过程更加不可预测和公平,从而提高网络的整体安全性。 这种机制的一个特殊用例是允许区块提议者在上一个区块完成之前保持隐私,从而为网络增加了一层额外的安全性。
执行流程形成了一个循环,每个区块的随机性都会影响未来区块提议者和委员会的选择。 这就为这些过程引入了不可预测性因素,同时又保持了其可验证性。
值得注意的是,虽然这种随机性被用于选择过程,但在区块挖掘结束时,奖励仍会根据投注金额直接修改状态进行分配。 随机性决定了哪些验证者被选中成为接受奖励的委员会成员,而不是分配奖励的数量。
若干安全考虑因素对这一机制至关重要:
- 为防止重放攻击,每个区块的每个
randomReveal
值都必须是唯一的。 - 区块提议者必须诚实地生成并提交其 "随机揭示",以防止 "混合哈希 "被篡改。
- 提案者必须在区块提案之前对其
randomReveal
保密,以防止其他参与者预测和可能的操纵。 - randomReveal "必须经过适当签名和验证,以防篡改。
这种机制的目的是在区块创建和委员会选择过程中引入不可预测性,同时保持可验证性。 值得注意的是,虽然本系统提供了一个增强随机性的框架,但随着网络的发展和完善,使用这种随机性的提案人和委员会选择算法的具体实现方式可能会随时间推移而发生变化。
交易执行限制
Kaia Mainnet 和 Kairos Testnet 目前对交易执行有以下限制: