Struct TIP403Registry 

pub struct TIP403Registry {
    pub policy_id_counter: <u64 as StorableType>::Handler,
    pub policy_records: <Mapping<u64, PolicyRecord> as StorableType>::Handler,
    pub policy_set: <Mapping<u64, Mapping<Address, bool>> as StorableType>::Handler,
    address: Address,
    storage: StorageCtx,
}

Fields

policy_id_counter: <u64 as StorableType>::Handler

policy_records: <Mapping<u64, PolicyRecord> as StorableType>::Handler

policy_set: <Mapping<u64, Mapping<Address, bool>> as StorableType>::Handler

address: Address

storage: StorageCtx

Implementations

impl TIP403Registry

pub fn new() -> Self

Creates an instance of the precompile.

Caution: This does not initialize the account, see Self::initialize.

fn __new(address: Address) -> Self

fn __initialize(&mut self) -> Result<()>

fn emit_event(&mut self, event: impl IntoLogData) -> Result<()>

pub fn emitted_events(&self) -> &Vec<LogData>

Available on crate features test-utils only.

pub fn clear_emitted_events(&mut self)

Available on crate features test-utils only.

pub fn assert_emitted_events(&self, expected: Vec<impl IntoLogData>)

Available on crate features test-utils only.

impl TIP403Registry

pub fn initialize(&mut self) -> Result<()>

Initializes the TIP-403 registry precompile.

pub fn policy_id_counter(&self) -> Result<u64>

Returns the next policy ID to be assigned (always ≥ 2, since IDs 0 and 1 are reserved).

pub fn policy_exists(&self, call: policyExistsCall) -> Result<bool>

Returns true if the given policy ID exists (built-in or user-created).

pub fn policy_data(&self, call: policyDataCall) -> Result<policyDataReturn>

Returns the type and admin of a policy. Reverts if the policy does not exist or has an invalid type.

Errors

• PolicyNotFound — the policy ID does not exist
• InvalidPolicyType — stored type cannot be decoded (e.g. pre-T1 COMPOUND on T2+)

pub fn compound_policy_data( &self, call: compoundPolicyDataCall, ) -> Result<compoundPolicyDataReturn>

Returns the sub-policy IDs of a compound policy (TIP-1015).

Errors

• IncompatiblePolicyType — the policy exists but is not compound
• PolicyNotFound — the policy ID does not exist

pub fn create_policy( &mut self, msg_sender: Address, call: createPolicyCall, ) -> Result<u64>

Creates a new simple (whitelist or blacklist) policy and returns its ID.

Errors

• IncompatiblePolicyType — policyType is not WHITELIST or BLACKLIST (T2+)
• UnderOverflow — policy ID counter overflows

pub fn create_policy_with_accounts( &mut self, msg_sender: Address, call: createPolicyWithAccountsCall, ) -> Result<u64>

Creates a simple policy and pre-populates it with an initial set of accounts.

Errors

• IncompatiblePolicyType — policyType is not WHITELIST or BLACKLIST (T2+), or accounts are non-empty for compound/invalid types (pre-T2)
• UnderOverflow — policy ID counter overflows

pub fn set_policy_admin( &mut self, msg_sender: Address, call: setPolicyAdminCall, ) -> Result<()>

Transfers admin control of a policy. Only callable by the current admin.

Errors

• Unauthorized — msg_sender is not the current admin
• PolicyNotFound — the policy ID does not exist (T2+)

pub fn modify_policy_whitelist( &mut self, msg_sender: Address, call: modifyPolicyWhitelistCall, ) -> Result<()>

Adds or removes an account from a whitelist policy. Admin-only.

Errors

• Unauthorized — msg_sender is not the policy admin
• IncompatiblePolicyType — the policy is not a whitelist
• PolicyNotFound — the policy ID does not exist (T2+)

pub fn modify_policy_blacklist( &mut self, msg_sender: Address, call: modifyPolicyBlacklistCall, ) -> Result<()>

Adds or removes an account from a blacklist policy. Admin-only.

Errors

• Unauthorized — msg_sender is not the policy admin
• IncompatiblePolicyType — the policy is not a blacklist
• PolicyNotFound — the policy ID does not exist (T2+)

pub fn create_compound_policy( &mut self, msg_sender: Address, call: createCompoundPolicyCall, ) -> Result<u64>

Creates a new compound policy that references three simple sub-policies (TIP-1015). Compound policies have no admin and cannot be modified after creation.

Errors

• PolicyNotFound — a referenced sub-policy ID does not exist
• PolicyNotSimple — a referenced sub-policy is itself compound
• UnderOverflow — policy ID counter overflows

pub fn is_authorized_as( &self, policy_id: u64, user: Address, role: AuthRole, ) -> Result<bool>

Core role-based authorization check (TIP-1015). Resolves built-in policies (0 = reject, 1 = allow) immediately, delegates compound policies to their sub-policies, and evaluates simple policies via is_simple.

Errors

• PolicyNotFound — the policy ID does not exist (T2+)
• InvalidPolicyType — stored type cannot be decoded
• IncompatiblePolicyType — a compound policy was passed where a simple one is required

fn builtin_authorization(&self, policy_id: u64) -> Option<bool>

Returns authorization result for built-in policies (REJECT_ALL_POLICY_ID / ALLOW_ALL_POLICY_ID). Returns None for user-created policies.

fn is_authorized_simple(&self, policy_id: u64, user: Address) -> Result<bool>

Authorization for simple (non-compound) policies only.

WARNING: skips compound check - caller must guarantee policy is simple.

fn is_simple( &self, policy_id: u64, user: Address, data: &PolicyData, ) -> Result<bool>

Authorization check for simple (non-compound) policies

fn validate_simple_policy(&self, policy_id: u64) -> Result<()>

Validates that a policy ID references an existing simple policy (not compound)

fn get_policy_data(&self, policy_id: u64) -> Result<PolicyData>

Returns policy data for the given policy ID. Errors with PolicyNotFound for invalid policy ids.

fn set_policy_data(&mut self, policy_id: u64, data: PolicyData) -> Result<()>

fn set_policy_set( &mut self, policy_id: u64, account: Address, value: bool, ) -> Result<()>

impl TIP403Registry

pub fn create_precompile(cfg: &CfgEnv<TempoHardfork>) -> DynPrecompile

Creates the EVM precompile for this type.

Trait Implementations

impl ContractStorage for TIP403Registry

fn address(&self) -> Address

Contract address.

fn storage(&self) -> &StorageCtx

Contract storage accessor.

fn storage_mut(&mut self) -> &mut StorageCtx

Contract storage mutable accessor.

fn is_initialized(&self) -> Result<bool>

Returns true if the contract has been initialized (has bytecode deployed).

impl Default for TIP403Registry

fn default() -> Self

Returns the “default value” for a type.

impl Precompile for TIP403Registry

fn call(&mut self, calldata: &[u8], msg_sender: Address) -> PrecompileResult

Dispatches an EVM call to this precompile.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 312 bytes