Struct SetupData 

pub struct SetupData {

    pub params: Params,
    pub fac: FacParams,
    pub setup_id: [u8; 32],
    pub server_id: Vec<u8>,
    pub n: BoxedUint,
    pub n_hat: BoxedUint,
    pub rho0: BoxedUint,
    pub rho: BoxedUint,
    pub t: BoxedUint,
    pub s1: BoxedUint,
    pub s2: BoxedUint,
    pub h: ProjectivePoint,
    pub f: ProjectivePoint,
    pub pi_mod: ModProof,
    pub pi_fac: FacProof,
    pub pi_df: DfProof,
}

Public setup of the server (spec §6.1).

Fields

params: Params

fac: FacParams

setup_id: [u8; 32]

server_id: Vec<u8>

n: BoxedUint

n_hat: BoxedUint

rho0: BoxedUint

rho: BoxedUint

t: BoxedUint

s1: BoxedUint

s2: BoxedUint

h: ProjectivePoint

f: ProjectivePoint

pi_mod: ModProof

pi_fac: FacProof

pi_df: DfProof

Implementations

impl SetupData

pub fn aux(&self) -> Vec<u8>

aux seed of h, f.

pub fn paillier_pk(&self) -> Result<PaillierPk>

Paillier public key (N, ρ).

pub fn to_bytes(&self) -> Result<Vec<u8>>

Canonical encoding (spec §10.2).

pub fn hash(&self) -> Result<[u8; 32]>

sid = SHA-256(to_bytes()).

pub fn from_bytes(bytes: &[u8], params: &Params) -> Result<Self>

Strict decoding with the standard Π_fac group.

pub fn from_bytes_with( bytes: &[u8], params: &Params, fac: &FacParams, ) -> Result<Self>

pub fn verify(&self, params: &Params) -> Result<VerifiedSetup>

Client verification (FR-S7) with the standard Π_fac group.

pub fn verify_with( &self, params: &Params, fac: &FacParams, ) -> Result<VerifiedSetup>

impl SetupData

pub fn assume_verified(&self, params: &Params) -> Result<VerifiedSetup>

For the server’s own data: builds the verified view without re-checking the proofs. Never use this on data received from another party.

Trait Implementations

impl Clone for SetupData

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SetupData

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.