pub async fn verify_producer_transaction(
    overlay: &BlockchainOverlayPtr,
    verifying_block_height: u32,
    block_target: u32,
    tx: &Transaction,
    tree: &mut MerkleTree
) -> Result<PublicKey>
Expand description

Verify WASM execution, signatures, and ZK proofs for a given producer Transaction, and apply it to the provided overlay. Returns transaction signature public key. Additionally, append its hash to the provided Merkle tree.