Interface Flp<Measurement, AggResult>

field

jointRandLen

measurementLen

outputLen

proofLen

proveRandLen

queryRandLen

verifierLen

decide

• decide(verifier: bigint[]): boolean

  Parameters

  • verifier: bigint[]

  Returns boolean

decode

• decode(output: bigint[], numMeasurements: number): AggResult

  Parameters

  • output: bigint[]
  • numMeasurements: number

  Returns AggResult

encode

• encode(measurement: Measurement): bigint[]

  Parameters

  • measurement: Measurement

  Returns bigint[]

prove

• prove(
      encodedMeasurement: bigint[],
      proveRand: bigint[],
      jointRand: bigint[],
  ): bigint[]

  Parameters

  • encodedMeasurement: bigint[]
  • proveRand: bigint[]
  • jointRand: bigint[]

  Returns bigint[]

query

• query(
      encodedMeasurement: bigint[],
      proof: bigint[],
      queryRand: bigint[],
      jointRand: bigint[],
      shares: number,
  ): bigint[]

  Parameters

  • encodedMeasurement: bigint[]
  • proof: bigint[]
  • queryRand: bigint[]
  • jointRand: bigint[]
  • shares: number

  Returns bigint[]

truncate

• truncate(encodedMeasurement: bigint[]): bigint[]

  Parameters

  • encodedMeasurement: bigint[]

  Returns bigint[]