从 sCrypt 智能合约中访问区块链数据（3）

区块头包含区块创建时的时间戳。但通常我们想要访问区块高度，它不包含在块头中。我们设计了一种新技术来无需信任地获取包含在 coinbase 交易中的区块高度。

Coinbase 交易的区块高度

coinbase 交易是区块中的第一笔交易。

区块中的 Coinbase 交易

BIP34 规定区块高度必须是 coinbase 交易解锁脚本中的第一项，如下所示。

一个Coinbase 交易

函数 blockHeight() 返回具有给定区块头的块的高度，如下所示。使用我们之前的技术，我们可以在第 14 行和第 17 行使用 Merkle 证明访问给定块中的交易。我们可以进一步验证它是满足第 3 行到第 5 行三个约束条件的 coinbase 交易：

// is raw transaction a coinbase tx
static function isCoinbase(bytes tx) : bool {
    return tx[4:5] == b'01' // only 1 input
        && tx[5:37] == b'0000000000000000000000000000000000000000000000000000000000000000' // null txid: all zeros
        && tx[37:41] == b'FFFFFFFF';    // null vout: all Fs
}



// get height of the block identified by the header
static function blockHeight(BlockHeader bh, bytes coinbaseTx, MerkleProof merkleproof) : int {
    
    // ensure coinbase it's in the block
    require(txInBlock(hash256(coinbaseTx), bh, merkleproof));

    // ensure it's coinbase
    require(MerklePath.isCoinbase(merkleproof));
    // alternative
    // require(isCoinbase(merkleproof));

    return readBlockHeight(coinbaseTx);
}

// parse block height from coinbase tx: BIP34
static function readBlockHeight(bytes coinbaseTx) : int {
    // block height is at the beginning of the unlocking script and encoded in varint
    return Utils.fromLEUnsigned(Utils.readVarint(coinbaseTx[BLOCK_HEIGHT_POS:]));
}

Blockchain 合约部分代码

验证 Coinbase 的其它方法

还有另一种验证交易的方法是 coinbase，使用它的 Merkle 路径。由于 coinbase 是区块中的第一笔交易，因此其 Merkle 路径上的所有节点都必须位于右侧，如下图所示。

Coinbase 交易及其默克尔路径

// a tx if coinbase if all nodes on its Merkle path are on the right branch
static function isCoinbase(MerkleProof merkleproof) : bool {

    bool res = true;
    loop (DEPTH) : i {
        Node node = merkleproof[i];
        if (node.left != INVALID_NODE) {
            // node on the right
            res = res && node.left == RIGHT_NODE;
        }
    }
    return res;
}

MerklePath 源代码

总结

一旦我们有了一个区块的高度，我们就可以在各种智能合约中使用它。

我们在下面列出了几个例子：

1. 一种只能在一定区块高度后才能解锁的合约，类似于 CheckLockTimeVerify。

2. 如果矿工至少开采了从高度 720000 到 720010 的区块中的一个，则只向矿工支付报酬，矿工接受合作伙伴的私人低费用交易。

我们期待您可以在这些技术的基础上建立各种创造性的合约。