Skip to main content

Module 0x2::zklogin_verified_issuer

use 0x1::string; use 0x2::object; use 0x2::transfer; use 0x2::tx_context;

Resource VerifiedIssuer

Possession of a VerifiedIssuer proves that the user's address was created using zklogin and with the given issuer (identity provider).

struct VerifiedIssuer has key

Fields
id: object::UID

The ID of this VerifiedIssuer

owner: address

The address this VerifiedID is associated with

issuer: string::String

The issuer

Constants

Error if the proof consisting of the inputs provided to the verification function is invalid.

const EInvalidInput: u64 = 0;

Error if the proof consisting of the inputs provided to the verification function is invalid.

const EInvalidProof: u64 = 1;

Function owner

Returns the address associated with the given VerifiedIssuer

public fun owner(verified_issuer: &zklogin_verified_issuer::VerifiedIssuer): address

Implementation

public fun owner(verified_issuer: &VerifiedIssuer): address { verified_issuer.owner }

Function issuer

Returns the issuer associated with the given VerifiedIssuer

public fun issuer(verified_issuer: &zklogin_verified_issuer::VerifiedIssuer): &string::String

Implementation

public fun issuer(verified_issuer: &VerifiedIssuer): &String { &verified_issuer.issuer }

Function delete

Delete a VerifiedIssuer

public fun delete(verified_issuer: zklogin_verified_issuer::VerifiedIssuer)

Implementation

public fun delete(verified_issuer: VerifiedIssuer) { let VerifiedIssuer { id, owner: _, issuer: _ } = verified_issuer; id.delete(); }

Function verify_zklogin_issuer

Verify that the caller's address was created using zklogin with the given issuer. If so, a VerifiedIssuer object with the issuers id transferred to the caller.

Aborts with EInvalidProof if the verification fails.

public fun verify_zklogin_issuer(address_seed: u256, issuer: string::String, ctx: &mut tx_context::TxContext)

Implementation

public fun verify_zklogin_issuer( address_seed: u256, issuer: String, ctx: &mut TxContext, ) { let sender = ctx.sender(); assert!(check_zklogin_issuer(sender, address_seed, &issuer), EInvalidProof); transfer::transfer( VerifiedIssuer { id: object::new(ctx), owner: sender, issuer }, sender ) }

Function check_zklogin_issuer

Returns true if address was created using zklogin with the given issuer and address seed.

public fun check_zklogin_issuer(address: address, address_seed: u256, issuer: &string::String): bool

Implementation

public fun check_zklogin_issuer( address: address, address_seed: u256, issuer: &String, ): bool { check_zklogin_issuer_internal(address, address_seed, issuer.as_bytes()) }

Function check_zklogin_issuer_internal

Returns true if address was created using zklogin with the given issuer and address seed.

Aborts with EInvalidInput if the iss input is not a valid UTF-8 string.

fun check_zklogin_issuer_internal(address: address, address_seed: u256, issuer: &vector<u8>): bool

Implementation

native fun check_zklogin_issuer_internal( address: address, address_seed: u256, issuer: &vector<u8>, ): bool;