feat: add ckb mbt proof verify precompile contract

[KaoImin]

What this PR does / why we need it?

This PR add ckb-mbt(aka merkle binary tree) proof verify precompile contract. The input struct is

#[derive(EthAbiCodec, EthAbiType, Clone, Debug, PartialEq, Eq)]
pub struct VerifyProofPayload {
    /// If the verify_type is 0, the leaves should be in the
    /// raw_transactions_root, otherwise in the witnesses_root.
    pub verify_type:           u8,
    pub transactions_root:     [u8; 32],
    pub witnesses_root:        [u8; 32],
    pub raw_transactions_root: [u8; 32],
    pub proof:                 Proof,
}

#[derive(EthAbiCodec, EthAbiType, Clone, Debug, PartialEq, Eq)]
pub struct Proof {
    pub indices: Vec<u32>,
    pub lemmas:  Vec<[u8; 32]>,
    pub leaves:  Vec<[u8; 32]>,
}

Because of the transactions_root in a CKB block header is consist of two layers:

                                                                          
                                  Transactions Root                        
                                        /   \                              
                                       /     \                             
                                      /       \                            
                                     /         \                           
                                    v           v                          
                  Raw Transactions Root          Witnesses Root            
                    /       |     \               |         \              
                   /        |      \              |          \             
                  /         |       \             |           \            
                 v          v        v            v            v           
            TxHash00    TxHash01   TxHash02   WitnessHash00   WitnessHash01
                                                                           

So apart from the transactions, witnesses root also needs. And it should be use ABI encode to bytes such as:

abi.encode(VerifyProofPayload(transactions_root, witnesses_root, raw_transactions_root, indices, lemmas, leaves))

What is the impact of this PR?

No Breaking Change

PR relation:

• Ref #

CI Settings

CI Usage

Tip: Check the CI you want to run below, and then comment /run-ci.

CI Switch

• Web3 Compatible Tests
• OCT 1-5 And 12-15
• OCT 6-10
• OCT 11
• OCT 16-19
• v3 Core Tests

CI Description

CI Name	Description
Web3 Compatible Test	Test the Web3 compatibility of Axon
v3 Core Test	Run the compatibility tests provided by Uniswap V3
OCT 1-5 | 6-10 | 11 | 12-15 | 16-19	Run the compatibility tests provided by OpenZeppelin

[jjyr]

This contract only supports verify raw_transaction, but users may want to also verify the witness transaction(to ensure the witness part is valid on CKB). This contract must support merkle verify the witness_root.

I suggest to add another input field tx_verify_type: u8 to indicates wether we want to verify a raw_transaction or a witness_transaction.

If the tx_verify_type is 0, the merkle root must equals raw_transaction_root, if the tx_verify_type is 1 the merkle root must equals to witness_transaction_root.

[KaoImin]

This contract only supports verify raw_transaction, but users may want to also verify the witness transaction(to ensure the witness part is valid on CKB). This contract must support merkle verify the witness_root.

I suggest to add another input field tx_verify_type: u8 to indicates wether we want to verify a raw_transaction or a witness_transaction.

If the tx_verify_type is 0, the merkle root must equals raw_transaction_root, if the tx_verify_type is 1 the merkle root must equals to witness_transaction_root.

Sounds good.