tree

type CLTVMultisigClosure struct {
	MultisigClosure
	Locktime common.AbsoluteLocktime
}

type CSVMultisigClosure struct {
	MultisigClosure
	Locktime common.RelativeLocktime
}

type Closure interface {
	Script() ([]byte, error)
	Decode(script []byte) (bool, error)
	// WitnessSize returns the size of the witness excluding the script and control block
	// extraWitnessSize is here to count the condition witness size
	// or any other witness size that can't be computed from the script
	WitnessSize(extraWitnessSize ...int) int
	Witness(controlBlock []byte, signatures map[string][]byte) (wire.TxWitness, error)
}

type ConditionCSVMultisigClosure struct {
	CSVMultisigClosure
	Condition []byte
}

type ConditionMultisigClosure struct {
	MultisigClosure
	Condition []byte
}

type CoordinatorSession interface {
	AddNonce(*btcec.PublicKey, TreeNonces)
	AddSignatures(*btcec.PublicKey, TreePartialSigs)
	AggregateNonces() (TreeNonces, error)
	// SignTree combines the signatures and add them to the tree's psbts
	SignTree() (TxTree, error)
}

type IntentMessage struct {
	// InputTapTrees is the list of taproot trees associated with the spent inputs
	// the index of the taproot tree in the list corresponds to the index of the input + 1
	// (we ignore the first bip322 input, as it is duplicate of the second one)
	InputTapTrees []string `json:"input_tap_trees"`
	// OnchainOutputIndexes specifies what are the outputs in the proof tx
	// that should be considered as onchain by the Ark operator
	OnchainOutputIndexes []int `json:"onchain_output_indexes"`
	// ValidAt is the timestamp (in seconds) at which the proof should be considered valid
	// if set to 0, the proof will be considered valid indefinitely or until ExpireAt is reached
	ValidAt int64 `json:"valid_at"`
	// ExpireAt is the timestamp (in seconds) at which the proof should be considered invalid
	// if set to 0, the proof will be considered valid indefinitely
	ExpireAt int64 `json:"expire_at"`
	// Musig2Data contains the related information about the vtxo tree signing
	// if the outputs are not registered in the proof or all the outputs are onchain, this field is not required
	Musig2Data *Musig2 `json:"musig2_data"`
}

type Leaf struct {
	Script     string
	Amount     uint64
	Musig2Data *Musig2
}

type MultisigClosure struct {
	PubKeys []*secp256k1.PublicKey
	Type    MultisigType
}

type MultisigType int

type Musig2 struct {
	CosignersPublicKeys []string    `json:"cosigners_public_keys"`
	SigningType         SigningType `json:"signing_type"`
}

type Musig2Nonce struct {
	PubNonce [66]byte
}

type Node struct {
	Txid       string
	Tx         string
	ParentTxid string
	Leaf       bool
}

type SignerSession interface {
	Init(scriptRoot []byte, rootSharedOutputAmount int64, vtxoTree TxTree) error
	GetPublicKey() string
	GetNonces() (TreeNonces, error) // generate tree nonces for this session
	SetAggregatedNonces(TreeNonces) // set the aggregated nonces
	Sign() (TreePartialSigs, error) // sign the tree
}

type SigningType uint8

type TapTree []string

type TapscriptsVtxoScript struct {
	Closures []Closure
}

type TreeNonces [][]*Musig2Nonce // public nonces only

type TreePartialSigs [][]*musig2.PartialSignature

type TxTree [][]Node

type VtxoScript common.VtxoScript[bitcoinTapTree, Closure]