Options
All
  • Public
  • Public/Protected
  • All
Menu

Implements a vjsc SigmaProofOr (CDS) that can be loaded and verified from ElectionGuard code.

Hierarchy

  • SigmaProofOr
    • SigmaProofOr

Index

Constructors

constructor

Properties

sigmaProofs

sigmaProofs: SigmaProof[]

Methods

byteTreeToCommitment

  • byteTreeToCommitment(byteTree: ByteTree): PGroupElement

byteTreeToReply

  • byteTreeToReply(byteTree: ByteTree): PRingElement

challenge

  • challenge(first: ByteTree, second: HashFunction): PRingElement

instanceToByteTree

  • instanceToByteTree(instances: PGroupElement[]): ByteTree

prove

  • prove(label: Uint8Array, instance: any, witness: any, hashfunction: HashFunction, randomSource: RandomSource, statDist: number): Uint8Array
  • Parameters

    • label: Uint8Array
    • instance: any
    • witness: any
    • hashfunction: HashFunction
    • randomSource: RandomSource
    • statDist: number

    Returns Uint8Array

verify

  • verify(label: Uint8Array, instance: PGroupElement | PGroupElement[], hashfunction: HashFunction, proof: Uint8Array): boolean
  • Parameters

    • label: Uint8Array
    • instance: PGroupElement | PGroupElement[]
    • hashfunction: HashFunction
    • proof: Uint8Array

    Returns boolean

Generated using TypeDoc