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[];} Properties
jointRandLen
jointRandLen: number
measurementLen
measurementLen: number
outputLen
outputLen: number
proveRandLen
proveRandLen: number
queryRandLen
queryRandLen: number
verifierLen
verifierLen: number
Methods
decide
- decide(verifier: bigint[]): boolean
Returns boolean
decode
- decode(output: bigint[], numMeasurements: number): AggResult
Parameters
- output: bigint[]
- numMeasurements: number
encode
- encode(measurement: Measurement): bigint[]
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[]