Class CompositeProof

A proof of 1 or more statements and meta statements.

Hierarchy (view full)

BytearrayWrapper
- CompositeProof

Index

Constructors

constructor

new CompositeProof(value): CompositeProof
Parameters
- value: Uint8Array
Returns CompositeProof
Inherited from BytearrayWrapper.constructor
- Defined in bytearray-wrapper.ts:10

Properties

value

value: Uint8Array

Accessors

bytes

get bytes(): Uint8Array
Return the wrapped bytearray

Returns Uint8Array
Inherited from BytearrayWrapper.bytes
- Defined in bytearray-wrapper.ts:21

hex

get hex(): string
Return the hex representation of the wrapped bytearray

Returns string
Inherited from BytearrayWrapper.hex
- Defined in bytearray-wrapper.ts:35

length

get length(): number
Return the length of the wrapped bytearray

Returns number
Inherited from BytearrayWrapper.length
- Defined in bytearray-wrapper.ts:28

Methods

getKeyedProofs

getKeyedProofs(): Map<number,
    | BBDT16KeyedProof
    | VBAccumMembershipKeyedProof
    | KBUniAccumMembershipKeyedProof
    | KBUniAccumNonMembershipKeyedProof>
Get keyed proofs from a composite proof.

Returns Map<number,
    | BBDT16KeyedProof
    | VBAccumMembershipKeyedProof
    | KBUniAccumMembershipKeyedProof
    | KBUniAccumNonMembershipKeyedProof>
- The key in the returned map is the statement index
- Defined in composite-proof/proof.ts:153

getSaverCiphertext

getSaverCiphertext(statementIndex): SaverCiphertext
Get the ciphertext for the SAVER statement at index statementIndex. The proof involving any SAVER statement also contains the ciphertext corresponding to that statement. Will throw an error if it could not find the ciphertext or statement at that index
Parameters
- statementIndex: number
Returns SaverCiphertext
- Defined in composite-proof/proof.ts:92

getSaverCiphertexts

getSaverCiphertexts(statementIndices): SaverCiphertext[]
Parameters
- statementIndices: number[]
Returns SaverCiphertext[]
- Defined in composite-proof/proof.ts:96

verify

verify(proofSpec, nonce?): VerifyResult
Verify this composite proof using a ProofSpec
Parameters
- proofSpec: ProofSpec
- Optionalnonce: Uint8Array
Returns VerifyResult
- Defined in composite-proof/proof.ts:66

verifyUsingQuasiProofSpec

verifyUsingQuasiProofSpec(proofSpec, nonce?, presVersionGt9?): VerifyResult
Verify this composite proof using a QuasiProofSpecG1
Parameters
- proofSpec: QuasiProofSpec
- Optionalnonce: Uint8Array
- presVersionGt9: boolean = true
Returns VerifyResult
- Defined in composite-proof/proof.ts:75

verifyWithDeconstructedProofSpec

verifyWithDeconstructedProofSpec(statements, metaStatements, setupParams?, context?, nonce?, presVersionGt9?): VerifyResult
Parameters
- statements: Statements
- metaStatements: MetaStatements
- OptionalsetupParams: SetupParam[]
- Optionalcontext: Uint8Array
- Optionalnonce: Uint8Array
- presVersionGt9: boolean = true
Returns VerifyResult
- Defined in composite-proof/proof.ts:121

`Static`fromBytes

fromBytes(bytes): BytearrayWrapper
Parameters
- bytes: Uint8Array
Returns BytearrayWrapper
Inherited from BytearrayWrapper.fromBytes
- Defined in bytearray-wrapper.ts:14

`Static`fromHex

fromHex(hex): BytearrayWrapper
Parameters
- hex: string
Returns BytearrayWrapper
Inherited from BytearrayWrapper.fromHex
- Defined in bytearray-wrapper.ts:39

`Static`generate

generate(proofSpec, witnesses, nonce?): CompositeProof
Generate the composite proof using a ProofSpec
Parameters
- proofSpec: ProofSpec
- witnesses: Witnesses
- Optionalnonce: Uint8Array
Returns CompositeProof
- Defined in composite-proof/proof.ts:35

`Static`generateUsingQuasiProofSpec

generateUsingQuasiProofSpec(proofSpec, witnesses, nonce?): CompositeProof
Generate the composite proof using a QuasiProofSpecG1
Parameters
- proofSpec: QuasiProofSpec
- witnesses: Witnesses
- Optionalnonce: Uint8Array
Returns CompositeProof
- Defined in composite-proof/proof.ts:46

`Static`generateWithDeconstructedProofSpec

generateWithDeconstructedProofSpec(statements, metaStatements, witnesses, setupParams?, context?, nonce?): CompositeProof
Parameters
- statements: Statements
- metaStatements: MetaStatements
- witnesses: Witnesses
- OptionalsetupParams: SetupParam[]
- Optionalcontext: Uint8Array
- Optionalnonce: Uint8Array
Returns CompositeProof
- Defined in composite-proof/proof.ts:101

Class CompositeProof

Hierarchy (view full)

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

Parameters

Returns CompositeProof

Properties

value

Accessors

bytes

Returns Uint8Array

hex

Returns string

length

Returns number

Methods

getKeyedProofs

Returns Map<number, | BBDT16KeyedProof | VBAccumMembershipKeyedProof | KBUniAccumMembershipKeyedProof | KBUniAccumNonMembershipKeyedProof>

getSaverCiphertext

Parameters

Returns SaverCiphertext

getSaverCiphertexts

Parameters

Returns SaverCiphertext[]

verify

Parameters

Returns VerifyResult

verifyUsingQuasiProofSpec

Parameters

Returns VerifyResult

verifyWithDeconstructedProofSpec

Parameters

Returns VerifyResult

StaticfromBytes

Parameters

Returns BytearrayWrapper

StaticfromHex

Parameters

Returns BytearrayWrapper

Staticgenerate

Parameters

Returns CompositeProof

StaticgenerateUsingQuasiProofSpec

Parameters

Returns CompositeProof

StaticgenerateWithDeconstructedProofSpec

Parameters

Returns CompositeProof

Settings

On This Page

Returns Map<number,
| BBDT16KeyedProof
| VBAccumMembershipKeyedProof
| KBUniAccumMembershipKeyedProof
| KBUniAccumNonMembershipKeyedProof>

`Static`fromBytes

`Static`fromHex

`Static`generate

`Static`generateUsingQuasiProofSpec

`Static`generateWithDeconstructedProofSpec