Method generate_taproot_leaf_script

bridge/src/connectors/connector_e.rs:37–61

(&self, leaf_index: u32)

impl TaprootConnector for ConnectorE {
    fn generate_taproot_leaf_script(&self, leaf_index: u32) -> ScriptBuf {
        assert_eq!(leaf_index, 0, "Invalid leaf index");
        let mut script = script! {};
        for (message, pk) in self.commitment_public_keys.iter().rev() {
            match message {
                CommitmentMessageId::Groth16IntermediateValues((_, size)) => {
                    script = script.push_script(
                        script! {
                            {winternitz_message_checksig_verify(pk, *size)}
                            for _ in 0..*size {
                                OP_DROP
                            }
                            // it's must be exactly one on stack after execution
                            OP_TRUE
                        }
                        .compile(),
                    );
                }
                _ => {
                    panic!("connector e only reveal intermediate value of groth16")
                }
            }
        }
        script.compile()
    }

    fn generate_taproot_leaf_tx_in(&self, leaf_index: u32, input: &Input) -> TxIn {
        assert_eq!(leaf_index, 0, "Invalid leaf index");