Block 区块

BlockHeader
TransactionBody

Input、Output、TxKernel

注意：区块头保存的是这几者的 Merklish root, 而这里是关联着具体的实体。

/// A block as expressed in the MimbleWimble protocol. The reward is
/// non-explicit, assumed to be deducible from block height (similar to
/// bitcoin's schedule) and expressed as a global transaction fee (added v.H),
/// additive to the total of fees ever collected.
pub struct Block {
    /// The header with metadata and commitments to the rest of the data
    pub header: BlockHeader,
    /// The body - inputs/outputs/kernels
    body: TransactionBody,
}

从“转账”的角度出发，区块拥有输入、输出、TxKernel，它就是一个大的交易！

区块里的输入、输出并不完全“拷贝”其下面的交易，它们做 cut_through 操作。即把有相同 commitment 的输入、输出修剪掉。

A block is simply built from:

A block header.
The list of inputs remaining after cut-through.
The list of outputs remaining after cut-through.
The transaction kernels containing, for each transaction:
- The public keyr*Gobtained from the summation of all the commitments.
- The signatures generated using the excess value.
- The mining fee.

CompactBlock 压缩区块

区块头

nonce

Output

TxKernel

ShortId # 一个标识

对比标准的区块，把“输入”去掉了，多了唯一标识 ShortId

/// Compact representation of a full block.

/// Each input/output/kernel is represented as a short_id.

/// A node is reasonably likely to have already seen all tx data (tx broadcast

/// before block) and can go request missing tx data from peers if necessary to

/// hydrate a compact block into a full block.

/// 区块里面主要包含交易，既然在产生区块之前就已经产生了交易（交易被打包成块之前已经进行广播了），并且交易数据已经传送，那么就不需要重复传送了。

/// 主要作用是减少网络请求所需要的传输数据

/// “压缩”与“修剪”是不同的概念。

/// 当前主要用在传输、（交易池、API客户端）

/// 它即能完整表示区块里包含的信息，又能减少数据量

pub struct CompactBlock {

/// The header with metadata and commitments to the rest of the data

pub header: BlockHeader, // 完全复制

/// Nonce for connection specific short_ids

pub nonce: u64, // 随机产生，下面计算 ShortId 会用到

/// List of full outputs - specifically the coinbase output(s)

pub out_full: Vec<Output>, // 仅采用 coinbase 部分

/// List of full kernels - specifically the coinbase kernel(s)

pub kern_full: Vec<TxKernel>, // 仅采用 coinbase 部分

/// List of transaction kernels, excluding those in the full list

/// (short_ids)

pub kern_ids: Vec<ShortId>, // 除了 coinbase 外的 kernels，仅取头部，使用了上面的 nonce 进行哈希处理

}

重要操作：validate 区块校验

verify_weight

verify_sorted

verify_cut_through

verify_coinbase

verify_inputs

verify_kernel_lock_heights

verify_kernel_sums

verify_rangeproofs

verify_kernel_signatures

特殊区块(最简单的区块)

创世区块

重要操作

构建、验证、和 compact_block 相互转换，修剪（cut_through）等。

cut_through

    /// Matches any output with a potential spending input, eliminating them
    /// from the block. Provides a simple way to cut-through the block. The
    /// elimination is stable with respect to the order of inputs and outputs.
    /// Method consumes the block.
    ///
    /// NOTE: exclude coinbase from cut-through process
    /// if a block contains a new coinbase output and
    /// is a transaction spending a previous coinbase
    /// we do not want to cut-through (all coinbase must be preserved)

hydrate_from

    /// Hydrate a block from a compact block.
    /// Note: caller must validate the block themselves, we do not validate it
    /// here.

as_compact_block

/// Generate the compact block representation.

with_reward

    /// Builds a new block ready to mine from the header of the previous block,
    /// a vector of transactions and the reward information. Checks
    /// that all transactions are valid and calculates the Merkle tree.

validate

    /// Validates all the elements in a block that can be checked without
    /// additional data. Includes commitment sums and kernels, Merkle
    /// trees, reward, etc.

区块 Block