不同于比特币,以太坊作为智能合约平台。每一笔交易作为消息在以太坊虚拟机中执行时,均会获得一个交易回执信息(Receipt)。形同在银行转账后,可以获得关于这笔转账的交易电子回单。
同样,在以太坊中一份交易回执记录了关于此笔交易的处理结果信息:
回执信息分为三部分:共识信息、交易信息、区块信息。下面分别介绍各类信息。
共识意味在在校验区块合法性时,这部分信息也参与校验。这些信息参与校验的原因是确保交易必须在区块中的固定顺序中执行,且记录了交易执行后的状态信息。这样可强化交易顺序。
Status: 成功与否,1表示成功,0表示失败。注意在高度1035301前,并非1或0,而是 StateRoot,表示此交易执行完毕后的以太坊状态。
//core/state_processor.go:104
var root []byte
if config.IsByzantium(header.Number) {
statedb.Finalise(true)
} else {
root = statedb.IntermediateRoot(config.IsEIP158(header.Number)).Bytes()
}
//...
receipt := types.NewReceipt(root, failed, *usedGas)
CumulativeGasUsed: 区块中已执行的交易累计消耗的Gas,包含当前交易。
Logs: 当前交易执行所产生的智能合约事件列表。
Bloom:是从 Logs 中提取的事件布隆过滤器,用于快速检测某主题的事件是否存在于Logs中。
这些信息是如何参与共识校验的呢?实际上参与校验的仅仅是回执哈希,而回执哈希计算只包含这些信息。 首先,在校验时获取整个区块回执信息的默克尔树的根哈希值。再判断此哈希值是否同区块头定义内容相同。
//core/block_validator.go:92
receiptSha := types.DeriveSha(receipts)
if receiptSha != header.ReceiptHash {
return fmt.Errorf("invalid receipt root hash (remote: %x local: %x)",
header.ReceiptHash, receiptSha)
}
而函数types.DeriveSha
中生成根哈希值,是将列表元素(这里是交易回执)的RLP编码信息构成默克树,最终获得列表的哈希值。
//core/types/derive_sha.go:32
func DeriveSha(list DerivableList) common.Hash {
keybuf := new(bytes.Buffer)
trie := new(trie.Trie)
for i := 0; i < list.Len(); i++ {
keybuf.Reset()
rlp.Encode(keybuf, uint(i))
trie.Update(keybuf.Bytes(), list.GetRlp(i))
}
return trie.Hash()
}
// core/types/receipt.go:237
func (r Receipts) GetRlp(i int) []byte {
bytes, err := rlp.EncodeToBytes(r[i])
if err != nil {
panic(err)
}
return bytes
}
继续往下看,交易回执实现了 RLP 编码接口。在方法EncodeRLP
中是构建了一个私有的receiptRLP
。
//core/types/receipt.go:119
func (r *Receipt) EncodeRLP(w io.Writer) error {
return rlp.Encode(w,
&receiptRLP{r.statusEncoding(), r.CumulativeGasUsed, r.Bloom, r.Logs})
}
从代码中可以看出 receiptRLP
仅仅包含上面提到的参与共识校验的内容。
//core/types/receipt.go:78
type receiptRLP struct {
PostStateOrStatus []byte
CumulativeGasUsed uint64
Bloom Bloom
Logs []*Log
}
这部分信息记录的是关于回执所对应的交易信息,有:
ContractAddress: 当这笔交易是部署新合约时,记录新合约的地址。
//core/state_processor.go:118
if msg.To() == nil {
receipt.ContractAddress = crypto.CreateAddress(vmenv.Context.Origin, tx.Nonce())
}
GasUsed: 这笔交易执行所消耗的 Gas燃料。
这些信息不参与共识的原因是这三项信息已经在其他地方校验。
这部分信息完全是为了方便外部读取交易回执,不但知道交易执行情况,还能方便的指定该交易属于哪个区块中第几笔交易。
这三项信息,主要是在数据库 Leveldb 中读取交易回执时,实时指定。
//core/rawdb/accessors_chain.go:315
receipts := make(types.Receipts, len(storageReceipts))
logIndex := uint(0)
for i, receipt := range storageReceipts {
//...
receipts[i] = (*types.Receipt)(receipt)
receipts[i].BlockHash = hash
receipts[i].BlockNumber = big.NewInt(0).SetUint64(number)
receipts[i].TransactionIndex = uint(i)
}
交易回执是在以太坊虚拟机处理完交易后,根据结果整理出的交易执行结果信息。反映了交易执行前后以太坊变化以及交易执行状态。
构造细节,已经在前面提及,不再细说。这里给出的完整的交易回执构造代码。
// core/state_processor.go:94
context := NewEVMContext(msg, header, bc, author)
vmenv := vm.NewEVM(context, statedb, config, cfg)
_, gas, failed, err := ApplyMessage(vmenv, msg, gp)
if err != nil {
return nil, 0, err
}
var root []byte
if config.IsByzantium(header.Number) {
statedb.Finalise(true)
} else {
root = statedb.IntermediateRoot(config.IsEIP158(header.Number)).Bytes()
}
*usedGas += gas
receipt := types.NewReceipt(root, failed, *usedGas)
receipt.TxHash = tx.Hash()
receipt.GasUsed = gas
if msg.To() == nil {
receipt.ContractAddress = crypto.CreateAddress(vmenv.Context.Origin, tx.Nonce())
}
receipt.Logs = statedb.GetLogs(tx.Hash())
receipt.Bloom = types.CreateBloom(types.Receipts{receipt})
receipt.BlockHash = statedb.BlockHash()
receipt.BlockNumber = header.Number
receipt.TransactionIndex = uint(statedb.TxIndex())
return receipt, gas, err
交易回执作为交易执行中间产物,为了方便快速获取某笔交易的执行明细。以太坊中有跟随区块存储时实时存储交易回执。但为了降低存储量,只存储了必要内容。
首先,在存储时,将交易回执对象转换为精简内容。
//core/rawdb/accessors_chain.go:338
storageReceipts := make([]*types.ReceiptForStorage, len(receipts))
for i, receipt := range receipts {
storageReceipts[i] = (*types.ReceiptForStorage)(receipt)
}
精简内容是专门为存储定义的一个结构ReceiptForStorage
。存储时将交易回执集进行RLP编码存储。
//core/rawdb/accessors_chain.go:342
bytes, err := rlp.EncodeToBytes(storageReceipts)
if err != nil {
log.Crit("Failed to encode block receipts", "err", err)
}
if err := db.Put(blockReceiptsKey(number, hash), bytes); err != nil {
log.Crit("Failed to store block receipts", "err", err)
}
所以看存储了哪些内容,只需要看 ReceiptForStorage
的 EncodeRLP
方法:
//core/types/receipt.go:179
func (r *ReceiptForStorage) EncodeRLP(w io.Writer) error {
enc := &receiptStorageRLP{
PostStateOrStatus: (*Receipt)(r).statusEncoding(),
CumulativeGasUsed: r.CumulativeGasUsed,
TxHash: r.TxHash,
ContractAddress: r.ContractAddress,
Logs: make([]*LogForStorage, len(r.Logs)),
GasUsed: r.GasUsed,
}
for i, log := range r.Logs {
enc.Logs[i] = (*LogForStorage)(log)
}
return rlp.Encode(w, enc)
}
根据EncodeRLP
方法实现,可以得出在存储时仅仅存储了部分内容,且 Logs 内容同样进行了特殊处理LogForStorage
。
上面讲完交易回执内容与构造和存储,下面我从etherscan上查找三中不同类型的交易回执数据,供大家找找感觉。
交易 0x01e180……0a4021 执行成功,且包含了两个事件日志。
如果是部署合约的交易,可以看到 contractAddress 有值。
和其他交易回执内容不同,在高度1035301 前的交易并无 status 字段,而是 root 字段。是在后续改进中去除 root 采用 status 的。
如果是失败的交易,则 status
为0。
hi 🙂,我录制了 《说透以太坊技术》的视频课程,快快上车!
代做工资流水公司株洲贷款流水查询重庆办对公流水银川办银行流水沈阳代开贷款流水烟台制作个人银行流水泰州查企业贷流水广州房贷工资流水 公司宜春个人流水查询南昌流水单报价哈尔滨车贷银行流水 办理珠海代办购房银行流水泰州打房贷流水合肥银行流水账单制作廊坊制作贷款工资流水银川贷款银行流水打印中山银行流水账费用上饶工资流水账单多少钱廊坊工资证明代做惠州查询日常消费流水金华做签证银行流水昆明个人银行流水价格淄博企业贷流水价格惠州制作自存流水宁德银行流水单样本常德收入证明制作中山打个人工资流水银行流水账制作九江工资流水单费用南宁贷款工资流水 开具武汉入职工资流水代做香港通过《维护国家安全条例》两大学生合买彩票中奖一人不认账让美丽中国“从细节出发”19岁小伙救下5人后溺亡 多方发声卫健委通报少年有偿捐血浆16次猝死汪小菲曝离婚始末何赛飞追着代拍打雅江山火三名扑火人员牺牲系谣言男子被猫抓伤后确诊“猫抓病”周杰伦一审败诉网易中国拥有亿元资产的家庭达13.3万户315晚会后胖东来又人满为患了高校汽车撞人致3死16伤 司机系学生张家界的山上“长”满了韩国人?张立群任西安交通大学校长手机成瘾是影响睡眠质量重要因素网友洛杉矶偶遇贾玲“重生之我在北大当嫡校长”单亲妈妈陷入热恋 14岁儿子报警倪萍分享减重40斤方法杨倩无缘巴黎奥运考生莫言也上北大硕士复试名单了许家印被限制高消费奥巴马现身唐宁街 黑色着装引猜测专访95后高颜值猪保姆男孩8年未见母亲被告知被遗忘七年后宇文玥被薅头发捞上岸郑州一火锅店爆改成麻辣烫店西双版纳热带植物园回应蜉蝣大爆发沉迷短剧的人就像掉进了杀猪盘当地回应沈阳致3死车祸车主疑毒驾开除党籍5年后 原水城县长再被查凯特王妃现身!外出购物视频曝光初中生遭15人围殴自卫刺伤3人判无罪事业单位女子向同事水杯投不明物质男子被流浪猫绊倒 投喂者赔24万外国人感慨凌晨的中国很安全路边卖淀粉肠阿姨主动出示声明书胖东来员工每周单休无小长假王树国卸任西安交大校长 师生送别小米汽车超级工厂正式揭幕黑马情侣提车了妈妈回应孩子在校撞护栏坠楼校方回应护栏损坏小学生课间坠楼房客欠租失踪 房东直发愁专家建议不必谈骨泥色变老人退休金被冒领16年 金额超20万西藏招商引资投资者子女可当地高考特朗普无法缴纳4.54亿美元罚金浙江一高校内汽车冲撞行人 多人受伤