Host Functions

[bbyalcinkaya]

Host Function Implementation Progress

This issue tracks the progress of implementing all Soroban host functions.

context

• log_from_linear_memory: x _
• obj_cmp: x 0
• contract_event: x 1
• get_ledger_version: x 2
• get_ledger_sequence: x 3
  • Implement get_ledger_sequence #16
• get_ledger_timestamp: x 4
  • Remaining host functions for FxDAO: 5/11 #43
• fail_with_error: x 5
  • Implement error types and error handling #26
• get_ledger_network_id: x 6
• get_current_contract_address: x 7
  • Host functions for the FxDAO test #27
• get_max_live_until_ledger: x 8

int

• obj_from_u64: i _
  • Initial semantics #10
• obj_to_u64: i 0
  • Initial semantics #10
• obj_from_i64: i 1
• obj_to_i64: i 2
  • Initial semantics #10
• obj_from_u128_pieces: i 3
  • Implement U128 and related host functions #12
• obj_to_u128_lo64: i 4
  • Implement U128 and related host functions #12
• obj_to_u128_hi64: i 5
  • Implement U128 and related host functions #12
• obj_from_i128_pieces: i 6
• obj_to_i128_lo64: i 7
• obj_to_i128_hi64: i 8
• obj_from_u256_pieces: i 9
• u256_val_from_be_bytes: i a
• u256_val_to_be_bytes: i b
• obj_to_u256_hi_hi: i c
• obj_to_u256_hi_lo: i d
• obj_to_u256_lo_hi: i e
• obj_to_u256_lo_lo: i f
• obj_from_i256_pieces: i g
• i256_val_from_be_bytes: i h
• i256_val_to_be_bytes: i i
• obj_to_i256_hi_hi: i j
• obj_to_i256_hi_lo: i k
• obj_to_i256_lo_hi: i l
• obj_to_i256_lo_lo: i m
• u256_add: i n
• u256_sub: i o
• u256_mul: i p
• u256_div: i q
• u256_rem_euclid: i r
• u256_pow: i s
• u256_shl: i t
• u256_shr: i u
• i256_add: i v
• i256_sub: i w
• i256_mul: i x
• i256_div: i y
• i256_rem_euclid: i z
• i256_pow: i A
• i256_shl: i B
• i256_shr: i C
• timepoint_obj_from_u64: i D
• timepoint_obj_to_u64: i E
• duration_obj_from_u64: i F
• duration_obj_to_u64: i G

map

• map_new: m _
• map_put: m 0
• map_get: m 1
• map_del: m 2
• map_len: m 3
• map_has: m 4
• map_key_by_pos: m 5
• map_val_by_pos: m 6
• map_keys: m 7
• map_values: m 8
• map_new_from_linear_memory: m 9
  • Implement Map #15
• map_unpack_to_linear_memory: m a
  • Implement Map #15

vec

• vec_new: v _
• vec_put: v 0
• vec_get: v 1
  • Remaining host functions for FxDAO: 5/11 #43
• vec_del: v 2
• vec_len: v 3
  • Remaining host functions for FxDAO: 5/11 #43
• vec_push_front: v 4
• vec_pop_front: v 5
• vec_push_back: v 6
  • Remaining host functions for FxDAO: 5/11 #43
• vec_pop_back: v 7
• vec_front: v 8
• vec_back: v 9
• vec_insert: v a
• vec_append: v b
• vec_slice: v c
• vec_first_index_of: v d
• vec_last_index_of: v e
• vec_binary_search: v f
• vec_new_from_linear_memory: v g
  • Implement Vec and Symbol #13
• vec_unpack_to_linear_memory: v h
  • Implement Vec and Symbol #13

ledger

• put_contract_data: l _
  • Storage Host Functions #18
• has_contract_data: l 0
  • Storage Host Functions #18
• get_contract_data: l 1
  • Storage Host Functions #18
• del_contract_data: l 2
  • Remaining host functions for FxDAO: 5/11 #43
• create_contract: l 3
• create_asset_contract: l 4
• upload_wasm: l 5
• update_current_contract_wasm: l 6
• extend_contract_data_ttl: l 7
• extend_current_contract_instance_and_code_ttl: l 8
  • Implement contract TTL extension functions #24
• extend_contract_instance_and_code_ttl: l 9
• get_contract_id: l a
• get_asset_contract_id: l b
• extend_contract_instance_ttl: l c
• extend_contract_code_ttl: l d

call

• call: d _
  • Host functions for the FxDAO test #27
• try_call: d 0

buf

• serialize_to_bytes: b _
• deserialize_from_bytes: b 0
• bytes_copy_to_linear_memory: b 1
• bytes_copy_from_linear_memory: b 2
• bytes_new_from_linear_memory: b 3
  • Host functions for the FxDAO test #27
• bytes_new: b 4
• bytes_put: b 5
• bytes_get: b 6
• bytes_del: b 7
• bytes_len: b 8
  • Host functions for the FxDAO test #27
• bytes_push: b 9
• bytes_pop: b a
• bytes_front: b b
• bytes_back: b c
• bytes_insert: b d
• bytes_append: b e
• bytes_slice: b f
• string_copy_to_linear_memory: b g
• symbol_copy_to_linear_memory: b h
• string_new_from_linear_memory: b i
• symbol_new_from_linear_memory: b j
  • Implement Vec and Symbol #13
• string_len: b k
• symbol_len: b l
• symbol_index_in_linear_memory: b m

crypto

• compute_hash_sha256: c _
• verify_sig_ed25519: c 0
• compute_hash_keccak256: c 1
• recover_key_ecdsa_secp256k1: c 2
• verify_sig_ecdsa_secp256r1: c 3

address

• require_auth_for_args: a _
• require_auth: a 0
• strkey_to_address: a 1
• address_to_strkey: a 2
• authorize_as_curr_contract: a 3

test

• dummy0: t _
• protocol_gated_dummy: t 0

prng

• prng_reseed: p _
• prng_bytes_new: p 0
• prng_u64_in_inclusive_range: p 1
• prng_vec_shuffle: p 2