区块链的实例《二》

《区块链的实例《二》》

.协定

我用了大量的印刷体协定去表示正式的符号,其中一些对于现在的工作来说是非常具有意义:这两个高度结构化的集合中,高标准(“high-level”),状态值,被指的是粗体小写的希腊字母。他们注入了全局状态(“world-state”)并且被用σ代表(或者一个变体的thereupon)和机器状态(“machine-state”)被用μ代表。在高度结构化值中,可操作函数(“function operating”)被表示成一个大写的希腊字母,例如:γ,同时也是以太坊中的状态转换函数。对于更多的函数来说,通常用一个大写的字母,例如:C,通用的费用函数。这些也可能作为下角标被表示为一些特别的变量,例如:CSSTORE,费用函数中的SSTORE操作。对于特别的和可能外形清晰的函数,我可能设计成了打印机的文字,例如:Keccak-256哈希函数(按获奖作品SHA-3竞赛函数)被用KEC表示(通常是用来解释Keccak)。还有KEC512也正在被用作去表示Keccack-512哈希函数。数组通常也是用一个大写字母去代表,例如:T,被用作去表示一个以太坊的交易。如果相对下地定义,这个符号可能成为下角标用去表示一个独立的成分,例如:Tn,表示上述交易的随机数。这些下角标的形式用于表示它们的类型;例如:大写的下角标表式带有下角标成分的数组。标量和固定大小的字节顺序(或者同义字,数组)都能用小写的字母来表示,例如:n在数据文件中被用来一个交易的随机数。小写的希腊字母能代表一些特别的含义,例如:δ表示为所需的项目数在堆栈上所对应的操作。任意长度的序列通常用加粗的小写字母表示,例如O被表示为信息调用中输出数据的字节序列。有时候,加粗的大写字母表示一些特别重要的值。总体来说,我们认为标量都是正整数而且属于集合P。字节序列的集合是B,我们在附件B中书写了正式的定义。如果像这样的序列集合被限制它们的特有的长度,它能用下角标符号去代表。因此字节为32的所有序列集合命名为B32,所有正整数小于2^256的集合命名为P256。正规定义将会在4.4小结讨论。正方形括号被用作索引和代表独立的成分或者序列下的子序列,例如:μs [0]表示计算机堆栈中的第一个数字。对于子序列来说,省略号被用作具体去说明一定的范围,且含头尾的限制元素,例如:μm [0…31]表示计算机内存中的第一个32数字。在全局状态的情况下,σ是一个含多个账号的序列,本身的数组,正方形括号被用作去表示一个单独的账号。当去考虑现有的变量时,我遵循在给定的范围内去定义的原则,如果我们认为这些不可修改的输入值将被用□(“占位符”)来表示,可修改和有用的值用□^’表示,中间的值则用□*,□**() &c。在非常特别的场合下,为了扩大可读性和清晰性,我可能会使用字母-数字下角标表示中间值,尤其他们是特别的。当去考虑去用现有的函数时,给定一个函数f或者f*,其中序列之间替换了函数之间的映射关系。他们将被正式的定义在4.4小节。

《区块链的实例《二》》

okex以太坊今日行情

#欧易OKEx##数字货币##以太坊[超话]#

点赞