Interface Flp<Measurement, AggResult>

interface Flp<Measurement, AggResult> {
    field: Field;
    jointRandLen: number;
    measurementLen: number;
    outputLen: number;
    proofLen: number;
    proveRandLen: number;
    queryRandLen: number;
    verifierLen: number;
    decide(verifier: bigint[]): boolean;
    decode(output: bigint[], numMeasurements: number): AggResult;
    encode(measurement: Measurement): bigint[];
    prove(
        encodedMeasurement: bigint[],
        proveRand: bigint[],
        jointRand: bigint[],
    ): bigint[];
    query(
        encodedMeasurement: bigint[],
        proof: bigint[],
        queryRand: bigint[],
        jointRand: bigint[],
        shares: number,
    ): bigint[];
    truncate(encodedMeasurement: bigint[]): bigint[];
}

Type Parameters

  • Measurement
  • AggResult

Properties

field: Field
jointRandLen: number
measurementLen: number
outputLen: number
proofLen: number
proveRandLen: number
queryRandLen: number
verifierLen: number

Methods

  • Parameters

    • verifier: bigint[]

    Returns boolean

  • Parameters

    • output: bigint[]
    • numMeasurements: number

    Returns AggResult

  • Parameters

    Returns bigint[]

  • Parameters

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

    Returns bigint[]

  • Parameters

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

    Returns bigint[]

  • Parameters

    • encodedMeasurement: bigint[]

    Returns bigint[]