Struct OprfNullifier 

pub struct OprfNullifier {
    pub query_proof_input: QueryProofCircuitInput<TREE_DEPTH>,
    pub verifiable_oprf_output: VerifiableOprfOutput,
    pub nullifier: Nullifier,
}

Nullifier computed using OPRF Nodes.

Fields

query_proof_input: QueryProofCircuitInput<TREE_DEPTH>

The raw inputs to the Query Proof circuit

verifiable_oprf_output: VerifiableOprfOutput

The result of the distributed OPRF protocol.

nullifier: Nullifier

The final nullifier value to be used in a Proof.

This is equal to VerifiableOprfOutput::output and is already unblinded.

Implementations

impl OprfNullifier

pub async fn generate( services: &[String], threshold: usize, query_material: &CircomGroth16Material, authenticator_input: AuthenticatorProofInput, proof_request: &ProofRequest, connector: Connector, ) -> Result<Self, ProofError>

Generates a nullifier through the provided OPRF nodes for a specific proof request.

This method will handle the signature from the Authenticator authorizing the request for the OPRF nodes.

Arguments

• services: The list of endpoints of all OPRF nodes.
• threshold: The minimum number of OPRF nodes responses required to compute a valid nullifier. The source of truth for this value lives in the OprfKeyRegistry contract.
• query_material: The material for the query proof circuit.
• authenticator_input: See AuthenticatorProofInput for more details.
• proof_request: The proof request provided by the RP.

Errors

Returns ProofError in the following cases:

• PublicKeyNotFound - the public key for the given authenticator private key is not found in the key_set.
• InvalidDLogProof – the DLog equality proof could not be verified.
• Other errors may propagate from network requests, proof generation, or Groth16 verification.

Trait Implementations

impl Clone for OprfNullifier

fn clone(&self) -> OprfNullifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OprfNullifier

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

Formats the value using the given formatter.