Struct ZkLogin 

pub struct ZkLogin {

    pub sub: ByteVec,
    pub aud: ByteVec,
    pub iss: ByteVec,
    pub salt: ByteVec,
    pub zkaddr: [Wire; 4],
    pub zkaddr_sha256: ByteVec,
    pub jwt_claims_header: JwtClaims,
    pub jwt_claims_payload: JwtClaims,
    pub jwt_signature_verify: Rs256Verify,
    pub base64_jwt_header: ByteVec,
    pub base64_jwt_payload: ByteVec,
    pub base64_jwt_signature: ByteVec,
    pub jwt_header: ByteVec,
    pub jwt_payload: ByteVec,
    pub jwt_signature: ByteVec,
    pub base64_jwt_payload_nonce: [Wire; 6],
    pub nonce_sha256: ByteVec,
    pub nonce: [Wire; 4],
    pub vk_u: [Wire; 4],
    pub t_max: ByteVec,
    pub nonce_r: ByteVec,
}

A circuit that implements zk login.

Fields

sub: ByteVec

The sub claim value

aud: ByteVec

The aud claim value

iss: ByteVec

The iss claim value

salt: ByteVec

The salt value

zkaddr: [Wire; 4]

The zkaddr (SHA256 hash of concat(sub, aud, iss, salt))

zkaddr_sha256: ByteVec

The message ByteVec whose SHA-256 is asserted to equal zkaddr

jwt_claims_header: JwtClaims

The subcircuit that verifies the JWT header.

jwt_claims_payload: JwtClaims

The subcircuit that verifies the JWT in the payload.

jwt_signature_verify: Rs256Verify

The subcircuit that verifies the RS256 signature in the JWT.

base64_jwt_header: ByteVec

The JWT header

base64_jwt_payload: ByteVec

The JWT payload

base64_jwt_signature: ByteVec

The JWT signature

jwt_header: ByteVec

The decoded JWT header

jwt_payload: ByteVec

The decoded jwt_payload

jwt_signature: ByteVec

The decoded jwt_signature (264 bytes for Base64, little-endian packing)

base64_jwt_payload_nonce: [Wire; 6]

The base64 encoded nonce

nonce_sha256: ByteVec

The message ByteVec whose SHA-256 is asserted to equal nonce

nonce: [Wire; 4]

The nonce value (32 bytes SHA256 hash)

vk_u: [Wire; 4]

The vk_u public key (32 bytes)

t_max: ByteVec

The t_max value

nonce_r: ByteVec

The nonce_r value

Implementations

impl ZkLogin

pub fn new(b: &mut CircuitBuilder, config: &Config) -> Self

pub fn populate_sub(&self, w: &mut WitnessFiller<'_>, sub_bytes: &[u8])

pub fn populate_aud(&self, w: &mut WitnessFiller<'_>, aud_bytes: &[u8])

pub fn populate_iss(&self, w: &mut WitnessFiller<'_>, iss_bytes: &[u8])

pub fn populate_salt(&self, w: &mut WitnessFiller<'_>, salt_bytes: &[u8])

pub fn populate_zkaddr(&self, w: &mut WitnessFiller<'_>, zkaddr_hash: &[u8; 32])

pub fn populate_zkaddr_preimage( &self, w: &mut WitnessFiller<'_>, zkaddr_preimage: &[u8], )

pub fn populate_jwt_header( &self, w: &mut WitnessFiller<'_>, header_bytes: &[u8], )

pub fn populate_jwt_payload( &self, w: &mut WitnessFiller<'_>, payload_bytes: &[u8], )

pub fn populate_jwt_signature( &self, w: &mut WitnessFiller<'_>, signature_bytes: &[u8], )

pub fn populate_base64_jwt_header( &self, w: &mut WitnessFiller<'_>, bytes: &[u8], )

pub fn populate_base64_jwt_payload( &self, w: &mut WitnessFiller<'_>, bytes: &[u8], )

pub fn populate_base64_jwt_signature( &self, w: &mut WitnessFiller<'_>, bytes: &[u8], )

pub fn populate_rsa_modulus( &self, w: &mut WitnessFiller<'_>, modulus_bytes: &[u8], )

pub fn populate_jwt_header_attributes(&self, w: &mut WitnessFiller<'_>)

pub fn populate_nonce(&self, w: &mut WitnessFiller<'_>, nonce_hash: &[u8; 32])

pub fn populate_nonce_preimage( &self, w: &mut WitnessFiller<'_>, nonce_preimage: &[u8], )

pub fn populate_vk_u(&self, w: &mut WitnessFiller<'_>, vk_u_bytes: &[u8; 32])

pub fn populate_t_max(&self, w: &mut WitnessFiller<'_>, t_max_bytes: &[u8])

pub fn populate_nonce_r(&self, w: &mut WitnessFiller<'_>, nonce_r_bytes: &[u8])

pub fn populate_base64_jwt_payload_nonce( &self, w: &mut WitnessFiller<'_>, base64_nonce: &[u8], )