Code
Hub
Workspaces
Following
Trending
Connect
MCP
copy
Create free account
hub
/
github.com/argumentcomputer/ix
/ defn_const
Function
defn_const
crates/ixon/src/serialize.rs:2422–2424 ·
view source on GitHub ↗
(refs: Vec<Address>)
Source
from the content-addressed store, hash-verified
2420
let addr = get_address(buf)?;
2421
let len = Tag0::get(buf)?.size as usize;
2422
if buf.len() < len {
2423
return Err(format!(
2424
"Env::get_anon: need {} bytes for constant, have {}"
,
2425
len,
2426
buf.len()
2427
));
Callers
10
env_root_present_when_consts_nonempty
Function · 0.70
env_root_invariant_under_insertion_order
Function · 0.70
env_root_changes_with_extra_const
Function · 0.70
env_root_mismatch_rejected
Function · 0.70
env_const_bytes_tampering_rejected_by_get
Function · 0.70
env_const_bytes_tampering_rejected_by_get_anon
Function · 0.70
env_const_bytes_tampering_rejected_by_get_anon_mmap
Function · 0.70
get_anon_keeps_consts_drops_metadata
Function · 0.70
get_anon_merkle_root_verified
Function · 0.70
get_anon_mmap_survives_file_unlink
Function · 0.70
Calls
1
defn_const_discriminator
Function · 0.85
Tested by
10
env_root_present_when_consts_nonempty
Function · 0.56
env_root_invariant_under_insertion_order
Function · 0.56
env_root_changes_with_extra_const
Function · 0.56
env_root_mismatch_rejected
Function · 0.56
env_const_bytes_tampering_rejected_by_get
Function · 0.56
env_const_bytes_tampering_rejected_by_get_anon
Function · 0.56
env_const_bytes_tampering_rejected_by_get_anon_mmap
Function · 0.56
get_anon_keeps_consts_drops_metadata
Function · 0.56
get_anon_merkle_root_verified
Function · 0.56
get_anon_mmap_survives_file_unlink
Function · 0.56