supported.cddl

unit_interval = #6.30([uint, uint])

coin = uint
epoch = uint

vkey = bytes
signature = bytes

hash28 = [uint]
hash32 = [uint]

addr_keyhash = hash28
scripthash   = hash28

genesis_delegate_hash = hash32
pool_keyhash          = hash32
genesishash           = hash32
metadata_hash         = hash32
vrf_keyhash           = hash32

vkeywitness = [ vkey, signature ]

msig_pubkey = [0, addr_keyhash]
msig_all = [1, [ * multisig_script ]]
msig_any = [2, [ * multisig_script ]]
msig_n_of_k = [3, n: uint, [ * multisig_script ]]

multisig_script =
  [  msig_pubkey
  // msig_all
  // msig_any
  // msig_n_of_k
  ]

transaction_index = uint


transaction_input = [ transaction_id : $hash32
                    , index : uint
                    ]

transaction_output = [address, amount : uint]

stake_credential =
  [  0, addr_keyhash
  // 1, scripthash
  ]


withdrawals = { * stake_credential => coin }


; we'll remove this later
address = bytes

move_instantaneous_reward = { * stake_credential => coin }

relay =
  [  single_host_addr
  // single_host_name
  // multi_host_name
  ]

pool_params = ( operator:       pool_keyhash
              , vrf_keyhash:    vrf_keyhash
              , pledge:         coin
              , cost:           coin
              , margin:         unit_interval
              , reward_account: stake_credential
              , pool_owners:    [addr_keyhash]
              , relays:         [* relay]
              , pool_metadata:  pool_metadata / null
              )

port = uint .le 65535
ipv4 = bytes .size 4
ipv6 = bytes .size 16
dns_name = tstr .size (0..64)

single_host_addr = ( 0
                   , port / null
                   , ipv4 / null
                   , ipv6 / null
                   )
single_host_name = ( 1
                   , port / null
                   , dns_name ; An A or AAAA DNS record
                   )
multi_host_name = ( 2
                   , port / null
                   , dns_name ; A SRV DNS record
                   )

pool_metadata = [url, metadata_hash]
url = tstr .size (0..64)

stake_registration = [0, stake_credential]
stake_deregistration = [1, stake_credential]
stake_delegation = [2, stake_credential, pool_keyhash]
pool_registration = [3, pool_params]
pool_retirement = [4, pool_keyhash, epoch]
genesis_key_delegation = [5, genesishash, genesis_delegate_hash]
move_instantaneous_rewards_cert = [6, move_instantaneous_reward]

certificate =
  [ stake_registration
  // stake_deregistration
  // stake_delegation
  // pool_registration
  // pool_retirement
  // genesis_key_delegation
  // move_instantaneous_rewards_cert
  ]

transaction_body =
  { 0 : [transaction_input]
  , 1 : [* transaction_output]
  , 2 : coin ; fee
  , 3 : uint ; ttl
  , ? 4 : [* certificate]
  , ? 5 : withdrawals
;  , ? 6 : update
;  , ? 7 : metadata_hash
  }

transaction_witness_set =
  { ?0 => [* vkeywitness ]
  , ?1 => [* multisig_script ]
  ; In the future, new kinds of witnesses can be added like this:
  ; , ?2 => [* monetary_policy_script ]
  ; , ?3 => [* plutus_script ]
  }