Class Statement

Relation which needs to be proven. Contains any public data that needs to be known to both prover and verifier

Constructors

constructor

Methods

attributeBoundPseudonym attributeBoundPseudonymVerifier bbdt16Mac bbdt16MacConstantTime bbdt16MacFromSetupParamRefs bbdt16MacFromSetupParamRefsConstantTime bbdt16MacFullVerifier bbdt16MacFullVerifierConstantTime bbdt16MacFullVerifierFromSetupParamRefs bbdt16MacFullVerifierFromSetupParamRefsConstantTime bbsPlusSignatureProver bbsPlusSignatureProverConstantTime bbsPlusSignatureProverFromSetupParamRefs bbsPlusSignatureProverFromSetupParamRefsConstantTime bbsPlusSignatureVerifier bbsPlusSignatureVerifierConstantTime bbsPlusSignatureVerifierFromSetupParamRefs bbsPlusSignatureVerifierFromSetupParamRefsConstantTime bbsSignatureProver bbsSignatureProverConstantTime bbsSignatureProverFromSetupParamRefs bbsSignatureProverFromSetupParamRefsConstantTime bbsSignatureVerifier bbsSignatureVerifierConstantTime bbsSignatureVerifierFromSetupParamRefs bbsSignatureVerifierFromSetupParamRefsConstantTime boundCheckBpp boundCheckBppFromCompressedParams boundCheckBppFromSetupParamRefs boundCheckLegoProver boundCheckLegoProverFromCompressedParams boundCheckLegoProverFromSetupParamRefs boundCheckLegoVerifier boundCheckLegoVerifierFromCompressedParams boundCheckLegoVerifierFromSetupParamRefs boundCheckSmc boundCheckSmcFromCompressedParams boundCheckSmcFromSetupParamRefs boundCheckSmcWithKVProver boundCheckSmcWithKVProverFromCompressedParams boundCheckSmcWithKVProverFromSetupParamRefs boundCheckSmcWithKVVerifier boundCheckSmcWithKVVerifierFromCompressedParams boundCheckSmcWithKVVerifierFromSetupParamRefs kbUniAccumulatorMembershipKV kbUniAccumulatorMembershipKVFullVerifier kbUniAccumulatorMembershipProver kbUniAccumulatorMembershipVerifier kbUniAccumulatorMembershipVerifierFromSetupParamRefs kbUniAccumulatorNonMembershipKV kbUniAccumulatorNonMembershipKVFullVerifier kbUniAccumulatorNonMembershipProver kbUniAccumulatorNonMembershipVerifier kbUniAccumulatorNonMembershipVerifierFromSetupParamRefs pedersenCommitmentG1 pedersenCommitmentG1FromSetupParamRef pseudonym pseudonymVerifier psSignature psSignatureConstantTime psSignatureFromSetupParamRefs psSignatureFromSetupParamRefsConstantTime publicInequalityG1 publicInequalityG1FromCompressedParams publicInequalityG1FromSetupParamRefs r1csCircomProver r1csCircomProverFromCompressedParams r1csCircomProverFromSetupParamRefs r1csCircomVerifier r1csCircomVerifierFromCompressedParams r1csCircomVerifierFromSetupParamRefs saverProver saverProverFromCompressedParams saverProverFromSetupParamRefs saverVerifier saverVerifierFromCompressedParams saverVerifierFromSetupParamRefs vbAccumulatorMembership vbAccumulatorMembershipFromSetupParamRefs vbAccumulatorMembershipKV vbAccumulatorMembershipKVFullVerifier vbAccumulatorNonMembership vbAccumulatorNonMembershipFromSetupParamRefs

Constructors

constructor

Methods

StaticattributeBoundPseudonym

  • attributeBoundPseudonym(pseudonym, basesForAttributes, baseForSecretKey?): Uint8Array

  • Statement for proving knowledge of secret key and attributes behind pseudonym

    Parameters

    Returns Uint8Array

StaticattributeBoundPseudonymVerifier

  • attributeBoundPseudonymVerifier(pseudonym, basesForAttributes, baseForSecretKey?): Uint8Array

  • Parameters

    • pseudonym: Uint8Array
    • basesForAttributes: Uint8Array[]
    • OptionalbaseForSecretKey: Uint8Array

    Returns Uint8Array

Staticbbdt16Mac

Staticbbdt16MacConstantTime

  • bbdt16MacConstantTime(macParams, revealedMessages, encodeMessages): Uint8Array

  • Parameters

    • macParams: BBDT16MacParams
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

Staticbbdt16MacFromSetupParamRefs

  • bbdt16MacFromSetupParamRefs(macParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Parameters

    • macParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

Staticbbdt16MacFromSetupParamRefsConstantTime

  • bbdt16MacFromSetupParamRefsConstantTime(macParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Parameters

    • macParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

Staticbbdt16MacFullVerifier

Staticbbdt16MacFullVerifierConstantTime

Staticbbdt16MacFullVerifierFromSetupParamRefs

  • bbdt16MacFullVerifierFromSetupParamRefs(macParamsRef, secretKey, revealedMessages, encodeMessages): Uint8Array

  • Parameters

    • macParamsRef: number
    • secretKey: BBDT16MacSecretKey
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

Staticbbdt16MacFullVerifierFromSetupParamRefsConstantTime

  • bbdt16MacFullVerifierFromSetupParamRefsConstantTime(macParamsRef, secretKey, revealedMessages, encodeMessages): Uint8Array

  • Parameters

    • macParamsRef: number
    • secretKey: BBDT16MacSecretKey
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsPlusSignatureProver

  • bbsPlusSignatureProver(sigParams, revealedMessages, encodeMessages): Uint8Array

  • Create statement for proving knowledge of BBS+ signature

    Parameters

    Returns Uint8Array

StaticbbsPlusSignatureProverConstantTime

  • bbsPlusSignatureProverConstantTime(sigParams, revealedMessages, encodeMessages): Uint8Array

  • Create statement for proving knowledge of BBS+ signature

    Parameters

    Returns Uint8Array

StaticbbsPlusSignatureProverFromSetupParamRefs

  • bbsPlusSignatureProverFromSetupParamRefs(sigParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsPlusSignatureProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsPlusSignatureProverFromSetupParamRefsConstantTime

  • bbsPlusSignatureProverFromSetupParamRefsConstantTime(sigParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsPlusSignatureProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsPlusSignatureVerifier

StaticbbsPlusSignatureVerifierConstantTime

StaticbbsPlusSignatureVerifierFromSetupParamRefs

  • bbsPlusSignatureVerifierFromSetupParamRefs(sigParamsRef, publicKeyRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsPlusSignatureVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsPlusSignatureVerifierFromSetupParamRefsConstantTime

  • bbsPlusSignatureVerifierFromSetupParamRefsConstantTime(sigParamsRef, publicKeyRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsPlusSignatureVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureProver

  • bbsSignatureProver(sigParams, revealedMessages, encodeMessages): Uint8Array

  • Create statement for proving knowledge of BBS signature

    Parameters

    • sigParams: BBSSignatureParams
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureProverConstantTime

  • bbsSignatureProverConstantTime(sigParams, revealedMessages, encodeMessages): Uint8Array

  • Create statement for proving knowledge of BBS signature

    Parameters

    • sigParams: BBSSignatureParams
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureProverFromSetupParamRefs

  • bbsSignatureProverFromSetupParamRefs(sigParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsSignatureProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureProverFromSetupParamRefsConstantTime

  • bbsSignatureProverFromSetupParamRefsConstantTime(sigParamsRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsSignatureProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureVerifier

StaticbbsSignatureVerifierConstantTime

  • bbsSignatureVerifierConstantTime(sigParams, publicKey, revealedMessages, encodeMessages): Uint8Array

  • Create statement for verifying knowledge of BBS signature

    Parameters

    Returns Uint8Array

StaticbbsSignatureVerifierFromSetupParamRefs

  • bbsSignatureVerifierFromSetupParamRefs(sigParamsRef, publicKeyRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsSignatureVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticbbsSignatureVerifierFromSetupParamRefsConstantTime

  • bbsSignatureVerifierFromSetupParamRefsConstantTime(sigParamsRef, publicKeyRef, revealedMessages, encodeMessages): Uint8Array

  • Same as Statement.bbsSignatureVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>
    • encodeMessages: boolean

    Returns Uint8Array

StaticboundCheckBpp

  • boundCheckBpp(min, max, params): Uint8Array

  • Create statement for proving bounds of a message using Bulletproofs++.

    Parameters

    • min: number

      Inclusive lower bound on the message, must be a positive integer.

    • max: number

      Exclusive upper bound on the message, must be a positive integer.

    • params: BoundCheckBppParamsUncompressed

      Setup params for Bulletproofs++

    Returns Uint8Array

StaticboundCheckBppFromCompressedParams

  • boundCheckBppFromCompressedParams(min, max, params): Uint8Array

  • Same as Statement.boundCheckBpp except that it takes compressed parameters.

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • params: BoundCheckBppParams

      Setup params for Bulletproofs++

    Returns Uint8Array

StaticboundCheckBppFromSetupParamRefs

  • boundCheckBppFromSetupParamRefs(min, max, params): Uint8Array

  • Same as Statement.boundCheckBpp but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • params: number

      Index of setup params in array of SetupParam

    Returns Uint8Array

StaticboundCheckLegoProver

  • boundCheckLegoProver(min, max, snarkPk): Uint8Array

  • Create statement for proving bounds [min, max) of a message using LegoGroth16, for the prover.

    Parameters

    • min: number

      Inclusive lower bound on the message, must be a positive integer.

    • max: number

      Exclusive upper bound on the message, must be a positive integer.

    • snarkPk: LegoProvingKeyUncompressed

      Proving key for LegoGroth16

    Returns Uint8Array

StaticboundCheckLegoProverFromCompressedParams

  • boundCheckLegoProverFromCompressedParams(min, max, snarkPk): Uint8Array

  • Same as Statement.boundCheckLegoProver except that it takes compressed parameters.

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • snarkPk: LegoProvingKey

      Proving key for LegoGroth16

    Returns Uint8Array

StaticboundCheckLegoProverFromSetupParamRefs

  • boundCheckLegoProverFromSetupParamRefs(min, max, snarkPkRef): Uint8Array

  • Same as Statement.boundCheckLegoProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • snarkPkRef: number

      Index of proving key in array of SetupParam

    Returns Uint8Array

StaticboundCheckLegoVerifier

  • boundCheckLegoVerifier(min, max, snarkVk): Uint8Array

  • Create statement for verifying bounds [min, max) of a message using LegoGroth16, for the verifier.

    Parameters

    • min: number

      Inclusive lower bound on the message, must be a positive integer.

    • max: number

      Exclusive upper bound on the message, must be a positive integer.

    • snarkVk: LegoVerifyingKeyUncompressed

      Verifying key for LegoGroth16

    Returns Uint8Array

StaticboundCheckLegoVerifierFromCompressedParams

  • boundCheckLegoVerifierFromCompressedParams(min, max, snarkVk): Uint8Array

  • Same as Statement.boundCheckLegoVerifier except that it takes compressed parameters.

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • snarkVk: LegoVerifyingKey

      Verifying key for LegoGroth16

    Returns Uint8Array

StaticboundCheckLegoVerifierFromSetupParamRefs

  • boundCheckLegoVerifierFromSetupParamRefs(min, max, snarkVkRef): Uint8Array

  • Same as Statement.boundCheckLegoVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • snarkVkRef: number

      Index of verifying key in array of SetupParam

    Returns Uint8Array

StaticboundCheckSmc

  • boundCheckSmc(min, max, params): Uint8Array

  • Create statement for proving bounds of a message using set-membership check based range proof.

    Parameters

    • min: number

      Inclusive lower bound on the message, must be a positive integer.

    • max: number

      Exclusive upper bound on the message, must be a positive integer.

    • params: BoundCheckSmcParamsUncompressed

      Setup params for Bulletproofs++

    Returns Uint8Array

StaticboundCheckSmcFromCompressedParams

  • boundCheckSmcFromCompressedParams(min, max, params): Uint8Array

  • Same as Statement.boundCheckSmc except that it takes compressed parameters.

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • params: BoundCheckSmcParams

      Setup params for Bulletproofs++

    Returns Uint8Array

StaticboundCheckSmcFromSetupParamRefs

  • boundCheckSmcFromSetupParamRefs(min, max, params): Uint8Array

  • Same as Statement.boundCheckSmc but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • params: number

      Index of setup params in array of SetupParam

    Returns Uint8Array

StaticboundCheckSmcWithKVProver

  • boundCheckSmcWithKVProver(min, max, params): Uint8Array

  • Create statement for proving bounds [min, max) of a message using set-membership check based range proof and keyed verification, for the prover.

    Parameters

    Returns Uint8Array

StaticboundCheckSmcWithKVProverFromCompressedParams

  • boundCheckSmcWithKVProverFromCompressedParams(min, max, params): Uint8Array

  • Same as Statement.boundCheckSmcWithKVProver except that it takes compressed parameters.

    Parameters

    Returns Uint8Array

StaticboundCheckSmcWithKVProverFromSetupParamRefs

  • boundCheckSmcWithKVProverFromSetupParamRefs(min, max, paramsRef): Uint8Array

  • Same as Statement.boundCheckSmcWithKVProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • paramsRef: number

      Index of params in array of SetupParam

    Returns Uint8Array

StaticboundCheckSmcWithKVVerifier

  • boundCheckSmcWithKVVerifier(min, max, params): Uint8Array

  • Create statement for verifying bounds [min, max) of a message using LegoGroth16, for the verifier.

    Parameters

    Returns Uint8Array

StaticboundCheckSmcWithKVVerifierFromCompressedParams

  • boundCheckSmcWithKVVerifierFromCompressedParams(min, max, params): Uint8Array

  • Same as Statement.boundCheckSmcWithKVVerifier except that it takes compressed parameters.

    Parameters

    Returns Uint8Array

StaticboundCheckSmcWithKVVerifierFromSetupParamRefs

  • boundCheckSmcWithKVVerifierFromSetupParamRefs(min, max, params): Uint8Array

  • Same as Statement.boundCheckSmcWithKVVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • min: number

      Inclusive lower bound on the message.

    • max: number

      Exclusive upper bound on the message.

    • params: number

      Index of params in array of SetupParam

    Returns Uint8Array

StatickbUniAccumulatorMembershipKV

StatickbUniAccumulatorMembershipKVFullVerifier

StatickbUniAccumulatorMembershipProver

  • kbUniAccumulatorMembershipProver(accumulated): Uint8Array

  • Create statement for proving knowledge of KB universal accumulator membership

    Parameters

    • accumulated: Uint8Array

    Returns Uint8Array

StatickbUniAccumulatorMembershipVerifier

StatickbUniAccumulatorMembershipVerifierFromSetupParamRefs

  • kbUniAccumulatorMembershipVerifierFromSetupParamRefs(params, publicKey, accumulated): Uint8Array

  • Same as Statement.kbUniAccumulatorMembershipVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • params: number
    • publicKey: number
    • accumulated: Uint8Array

    Returns Uint8Array

StatickbUniAccumulatorNonMembershipKV

StatickbUniAccumulatorNonMembershipKVFullVerifier

StatickbUniAccumulatorNonMembershipProver

  • kbUniAccumulatorNonMembershipProver(accumulated): Uint8Array

  • Create statement for proving knowledge of ¸ non-membership

    Parameters

    • accumulated: Uint8Array

    Returns Uint8Array

StatickbUniAccumulatorNonMembershipVerifier

StatickbUniAccumulatorNonMembershipVerifierFromSetupParamRefs

  • kbUniAccumulatorNonMembershipVerifierFromSetupParamRefs(params, publicKey, accumulated): Uint8Array

  • Same as Statement.kbUniAccumulatorNonMembershipVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • params: number
    • publicKey: number
    • accumulated: Uint8Array

    Returns Uint8Array

StaticpedersenCommitmentG1

  • pedersenCommitmentG1(commitmentKey, commitment): Uint8Array

  • Create statement for proving knowledge of opening of Pedersen commitment with commitment key and commitment in G1

    Parameters

    • commitmentKey: Uint8Array[]

      commitment key used to create the commitment

    • commitment: Uint8Array

    Returns Uint8Array

StaticpedersenCommitmentG1FromSetupParamRef

  • pedersenCommitmentG1FromSetupParamRef(commitmentKeyRef, commitment): Uint8Array

  • Same as Statement.pedersenCommitmentG1 but does not take the commitment key directly but a reference to it

    Parameters

    • commitmentKeyRef: number
    • commitment: Uint8Array

    Returns Uint8Array

Staticpseudonym

  • pseudonym(pseudonym, base): Uint8Array

  • Statement for proving knowledge of secret key behind pseudonym

    Parameters

    Returns Uint8Array

StaticpseudonymVerifier

StaticpsSignature

StaticpsSignatureConstantTime

  • psSignatureConstantTime(sigParams, publicKey, revealedMessages): Uint8Array

  • Create statement for proving knowledge of Pointcheval-Sanders signature

    Parameters

    Returns Uint8Array

StaticpsSignatureFromSetupParamRefs

  • psSignatureFromSetupParamRefs(sigParamsRef, publicKeyRef, revealedMessages): Uint8Array

  • Same as Statement.psSignature but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>

    Returns Uint8Array

StaticpsSignatureFromSetupParamRefsConstantTime

  • psSignatureFromSetupParamRefsConstantTime(sigParamsRef, publicKeyRef, revealedMessages): Uint8Array

  • Same as Statement.psSignature but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • sigParamsRef: number
    • publicKeyRef: number
    • revealedMessages: Map<number, Uint8Array>

    Returns Uint8Array

StaticpublicInequalityG1

  • publicInequalityG1(inequalTo, commKey): Uint8Array

  • Create statement for proving inequality of a credential

    Parameters

    • inequalTo: Uint8Array
    • commKey: PederCommKeyUncompressed

    Returns Uint8Array

StaticpublicInequalityG1FromCompressedParams

  • publicInequalityG1FromCompressedParams(inequalTo, commKey): Uint8Array

  • Parameters

    • inequalTo: Uint8Array
    • commKey: PederCommKey

    Returns Uint8Array

StaticpublicInequalityG1FromSetupParamRefs

  • publicInequalityG1FromSetupParamRefs(inequalTo, commKey): Uint8Array

  • Parameters

    • inequalTo: Uint8Array
    • commKey: number

    Returns Uint8Array

Staticr1csCircomProver

Staticr1csCircomProverFromCompressedParams

Staticr1csCircomProverFromSetupParamRefs

  • r1csCircomProverFromSetupParamRefs(processedR1cs, wasmBytes, snarkPkRef): Uint8Array

  • Parameters

    • processedR1cs: number
    • wasmBytes: number
    • snarkPkRef: number

    Returns Uint8Array

Staticr1csCircomVerifier

Staticr1csCircomVerifierFromCompressedParams

Staticr1csCircomVerifierFromSetupParamRefs

  • r1csCircomVerifierFromSetupParamRefs(publicInputsRef, snarkVkRef): Uint8Array

  • Parameters

    • publicInputsRef: number
    • snarkVkRef: number

    Returns Uint8Array

StaticsaverProver

StaticsaverProverFromCompressedParams

StaticsaverProverFromSetupParamRefs

  • saverProverFromSetupParamRefs(encGensRef, commKeyRef, encryptionKeyRef, snarkPkRef, chunkBitSize): Uint8Array

  • Same as Statement.saverProver but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • encGensRef: number
    • commKeyRef: number
    • encryptionKeyRef: number
    • snarkPkRef: number
    • chunkBitSize: number

      Must be same as the one used by the decryptor to create the parameters.

    Returns Uint8Array

StaticsaverVerifier

StaticsaverVerifierFromCompressedParams

StaticsaverVerifierFromSetupParamRefs

  • saverVerifierFromSetupParamRefs(encGensRef, commGensKey, encryptionKeyRef, snarkVkRef, chunkBitSize): Uint8Array

  • Same as Statement.saverVerifier but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • encGensRef: number
    • commGensKey: number
    • encryptionKeyRef: number
    • snarkVkRef: number
    • chunkBitSize: number

    Returns Uint8Array

StaticvbAccumulatorMembership

StaticvbAccumulatorMembershipFromSetupParamRefs

  • vbAccumulatorMembershipFromSetupParamRefs(params, publicKey, provingKey, accumulated): Uint8Array

  • Same as Statement.vbAccumulatorMembership but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • params: number
    • publicKey: number
    • provingKey: number
    • accumulated: Uint8Array

    Returns Uint8Array

StaticvbAccumulatorMembershipKV

StaticvbAccumulatorMembershipKVFullVerifier

StaticvbAccumulatorNonMembership

StaticvbAccumulatorNonMembershipFromSetupParamRefs

  • vbAccumulatorNonMembershipFromSetupParamRefs(params, publicKey, provingKey, accumulated): Uint8Array

  • Same as Statement.vbAccumulatorNonMembership but does not take the parameters directly but a reference to them as indices in the array of SetupParam

    Parameters

    • params: number
    • publicKey: number
    • provingKey: number
    • accumulated: Uint8Array

    Returns Uint8Array

Settings

Member Visibility

On This Page

Constructors
Methods
attributeBoundPseudonymattributeBoundPseudonymVerifierbbdt16Macbbdt16MacConstantTimebbdt16MacFromSetupParamRefsbbdt16MacFromSetupParamRefsConstantTimebbdt16MacFullVerifierbbdt16MacFullVerifierConstantTimebbdt16MacFullVerifierFromSetupParamRefsbbdt16MacFullVerifierFromSetupParamRefsConstantTimebbsPlusSignatureProverbbsPlusSignatureProverConstantTimebbsPlusSignatureProverFromSetupParamRefsbbsPlusSignatureProverFromSetupParamRefsConstantTimebbsPlusSignatureVerifierbbsPlusSignatureVerifierConstantTimebbsPlusSignatureVerifierFromSetupParamRefsbbsPlusSignatureVerifierFromSetupParamRefsConstantTimebbsSignatureProverbbsSignatureProverConstantTimebbsSignatureProverFromSetupParamRefsbbsSignatureProverFromSetupParamRefsConstantTimebbsSignatureVerifierbbsSignatureVerifierConstantTimebbsSignatureVerifierFromSetupParamRefsbbsSignatureVerifierFromSetupParamRefsConstantTimeboundCheckBppboundCheckBppFromCompressedParamsboundCheckBppFromSetupParamRefsboundCheckLegoProverboundCheckLegoProverFromCompressedParamsboundCheckLegoProverFromSetupParamRefsboundCheckLegoVerifierboundCheckLegoVerifierFromCompressedParamsboundCheckLegoVerifierFromSetupParamRefsboundCheckSmcboundCheckSmcFromCompressedParamsboundCheckSmcFromSetupParamRefsboundCheckSmcWithKVProverboundCheckSmcWithKVProverFromCompressedParamsboundCheckSmcWithKVProverFromSetupParamRefsboundCheckSmcWithKVVerifierboundCheckSmcWithKVVerifierFromCompressedParamsboundCheckSmcWithKVVerifierFromSetupParamRefskbUniAccumulatorMembershipKVkbUniAccumulatorMembershipKVFullVerifierkbUniAccumulatorMembershipProverkbUniAccumulatorMembershipVerifierkbUniAccumulatorMembershipVerifierFromSetupParamRefskbUniAccumulatorNonMembershipKVkbUniAccumulatorNonMembershipKVFullVerifierkbUniAccumulatorNonMembershipProverkbUniAccumulatorNonMembershipVerifierkbUniAccumulatorNonMembershipVerifierFromSetupParamRefspedersenCommitmentG1pedersenCommitmentG1FromSetupParamRefpseudonympseudonymVerifierpsSignaturepsSignatureConstantTimepsSignatureFromSetupParamRefspsSignatureFromSetupParamRefsConstantTimepublicInequalityG1publicInequalityG1FromCompressedParamspublicInequalityG1FromSetupParamRefsr1csCircomProverr1csCircomProverFromCompressedParamsr1csCircomProverFromSetupParamRefsr1csCircomVerifierr1csCircomVerifierFromCompressedParamsr1csCircomVerifierFromSetupParamRefssaverProversaverProverFromCompressedParamssaverProverFromSetupParamRefssaverVerifiersaverVerifierFromCompressedParamssaverVerifierFromSetupParamRefsvbAccumulatorMembershipvbAccumulatorMembershipFromSetupParamRefsvbAccumulatorMembershipKVvbAccumulatorMembershipKVFullVerifiervbAccumulatorNonMembershipvbAccumulatorNonMembershipFromSetupParamRefs