Module 0x1::signer

• Function borrow_address
• Function address_of
• Specification

Function borrow_address

signer is a builtin move type that represents an address that has been verfied by the VM.

VM Runtime representation is equivalent to following:

enum signer has drop {
Master { account: address },
Permissioned { account: address, permissions_address: address },
}

for bcs serialization:

struct signer has drop {
account: address,
}

^ The discrepency is needed to maintain backwards compatibility of signer serialization semantics.

borrow_address borrows this inner field

public fun borrow_address(self: &signer): &address

native public fun borrow_address(self: &signer): &address;

Function address_of

public fun address_of(self: &signer): address

public fun address_of(self: &signer): address {
    *borrow_address(self)
}

Specification

Return true only if self is a transaction signer. This is a spec function only available in spec.

native fun is_txn_signer(self: signer): bool;

Return true only if a is a transaction signer address. This is a spec function only available in spec.

native fun is_txn_signer_addr(a: address): bool;