zanobase

type AccountPublicAddr struct {
	SpendKey Value256
	ViewKey  Value256
	Flags    uint8
}

type BGEProof struct {
	A  *Point    // public_key, premultiplied by 1/8
	B  *Point    // public_key, premultiplied by 1/8
	Pk []*Point  // premultiplied by 1/8, size = m
	F  []*Scalar // scalar_vec_t size = m * (n - 1)
	Y  *Scalar   // scalar_t
	Z  *Scalar   // scalar_t
}

type BPPSignature struct {
	Lv    []*Point // std::vector<public_key> size = ceil( log_2(m * n) )
	Rv    []*Point // std::vector<public_key>
	A0    *Point   // public_key
	A     *Point   // public_key
	B     *Point   // public_key
	R     *Scalar  // scalar_t
	S     *Scalar  // scalar_t
	Delta *Scalar  // scalar_t
}

type CLSAG_GGX_Input struct {
	BlindedAssetId   Value256
	StealthAddress   Value256
	AmountCommitment Value256
}

type CLSAG_Sig struct {
	C  *Scalar   // scalar_t
	Rg []*Scalar // for G-components (layers 0, 1),    size = size of the ring
	Rx []*Scalar // for X-component  (layer 2),        size = size of the ring
	K1 *Point    // public_key auxiliary key image for layer 1 (G)
	K2 *Point    // public_key auxiliary key image for layer 2 (X)
}

type GenContext struct {
	AssetIds                            []*Point
	BlindedAssetIds                     []*Point
	AmountCommitments                   []*Point
	AssetIdBlindingMasks                []*Scalar
	Amounts                             []*Scalar
	AmountBlindingMasks                 []*Scalar
	PseudoOutsBlindedAssetIds           []*Point
	PseudoOutsPlusRealOutBlindingMasks  []*Scalar
	RealZcInsAssetIds                   []*Point
	ZcInputAmounts                      []uint64
	PseudoOutAmountCommitmentsSum       *Point
	PseudoOutAmountBlindingMasksSum     *Scalar
	RealInAssetIdBlindingMaskXAmountSum *Scalar
	AmountCommitmentsSum                *Point
	AmountBlindingMasksSum              *Scalar
	AssetIdBlindingMaskXAmountSum       *Scalar
	AoAssetId                           *Point
	AoAssetIdPt                         *Point
	AoAmountCommitment                  *Point
	AoAmountBlindingMask                *Scalar
	AoCommitmentInOutputs               bool
	TxKey                               *KeyPair
	TxPubKeyP                           *Point
}

type GenericDoubleSchnorrSig struct {
	C  *Scalar
	Y0 *Scalar
	Y1 *Scalar
}

type KeyImageIndex struct {
	OutIndex uint64
	Image    Value256 // ec_point
}

type KeyPair struct {
	// TODO KeyPair doesn't have a BEGIN_SERIALIZE_OBJECT
	Pub *Point
	Sec *Scalar
}

type Point struct {
	*edwards25519.Point
}

type RefById struct {
	Hash Value256 // source transaction hash
	N    uint32   // output index in source transaction
}

type Scalar struct {
	*edwards25519.Scalar
}

type Tag uint8

type Transaction struct {
	Version Varint     `json:"version"` // varint, ==2
	Vin     []*Variant `json:"vin"`     // txin_v = boost::variant<txin_gen[0], txin_to_key[1], txin_multisig[2], txin_htlc[34], txin_zc_input[37]>
	Extra   []*Variant `json:"extra"`   // extra_v
	Vout    []*Variant `json:"vout"`    // tx_out_v = boost::variant<tx_out_bare[36], tx_out_zarcanum[38]>
	// up to here this was transaction_prefix
	Attachment []*Variant `json:"attachment,omitempty"`
	Signatures []*Variant `json:"signatures"` // signature_v = boost::variant<NLSAG_sig, void_sig, ZC_sig, zarcanum_sig>
	Proofs     []*Variant `json:"proofs"`     // proof_v
}

type TransactionPrefix struct {
	Version Varint     `json:"version"` // varint, ==2
	Vin     []*Variant `json:"vin"`     // txin_v = boost::variant<txin_gen[0], txin_to_key[1], txin_multisig[2], txin_htlc[34], txin_zc_input[37]>
	Extra   []*Variant `json:"extra"`   // extra_v
	Vout    []*Variant `json:"vout"`    // tx_out_v = boost::variant<tx_out_bare[36], tx_out_zarcanum[38]>
}

type TransactionV3 struct {
	Version Varint     `json:"version"` // varint, ==2
	Vin     []*Variant `json:"vin"`     // txin_v = boost::variant<txin_gen[0], txin_to_key[1], txin_multisig[2], txin_htlc[34], txin_zc_input[37]>
	Extra   []*Variant `json:"extra"`   // extra_v
	Vout    []*Variant `json:"vout"`    // tx_out_v = boost::variant<tx_out_bare[36], tx_out_zarcanum[38]>
	// up to here this was transaction_prefix
	Attachment []*Variant `json:"attachment,omitempty"`
	Signatures []*Variant `json:"signatures"`  // signature_v = boost::variant<NLSAG_sig, void_sig, ZC_sig, zarcanum_sig>
	Proofs     []*Variant `json:"proofs"`      // proof_v
	HardforkId uint8      `json:"hardfork_id"` // uint8_t
}

type TxInGen struct {
	Height uint64
}

type TxInZcInput struct {
	// referring_input
	KeyOffsets []*Payload `json:"key_offsets"` // std::vector<txout_ref_v>; typedef boost::variant<uint64_t, ref_by_id> txout_ref_v
	// txin_zc_input
	KeyImage   *Point     `json:"key_image"`             // crypto::key_image = ec_point
	EtcDetails []*Payload `json:"etc_details,omitempty"` // std::vector<txin_etc_details_v> = std::vector<boost::variant<signed_parts, extra_attachment_info>>
}

type TxOutZarcanium struct {
	// tx_out_zarcanum
	StealthAddress   Value256
	ConcealingPoint  Value256 // group element Q, see also Zarcanum paper, premultiplied by 1/8
	AmountCommitment Value256 // premultiplied by 1/8
	BlindedAssetId   Value256 // group element T, premultiplied by 1/8
	EncryptedAmount  uint64
	MixAttr          uint8
}

type UGAggProof struct {
	AmountCommitmentsForRPAgg []*Point  `json:"amount_commitments_for_rp_aggregation"` // std::vector<public_key> E' = e * U + y' * G, premultiplied by 1/8
	Y0s                       []*Scalar `json:"y0s"`                                   // scalar_vec_t
	Y1s                       []*Scalar `json:"y1s"`                                   // scalar_vec_t
	C                         *Scalar   `json:"c"`                                     // common challenge
}

type Value256 [32]byte

type Variant struct {
	Tag   Tag
	Value any // any type stored as a boost::variant
}

type Varint uint64

type ZCAssetSurjectionProof struct {
	// zc_asset_surjection_proof
	BGEProofs []*BGEProof // std::vector<crypto::BGE_proof_s> bge_proofs
}

type ZCBalanceProof struct {
	// zc_balance_proof
	DSS *GenericDoubleSchnorrSig // crypto::generic_double_schnorr_sig_s
}

type ZCOutsRangeProof struct {
	// zc_outs_range_proof
	BPP *BPPSignature // for commitments in form: amount * U + mask * G
	// crypto::vector_UG_aggregation_proof_serialized
	AggregationProof *UGAggProof // E'_j = e_j * U + y'_j * G    +   vector Shnorr
}

type ZCSig struct {
	// ZC_sig
	PseudoOutAmountCommitment *Point // premultiplied by 1/8
	PseudoOutBlindedAssetId   *Point // premultiplied by 1/8
	// crypto::CLSAG_GGX_signature_serialized clsags_ggx
	GGX *CLSAG_Sig
}

type ZarcaniumTxDataV1 struct {
	Fee uint64 `json:"fee"`
}