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
field
jointRandLen
jointRandLen: number
measurementLen
measurementLen: number
outputLen
outputLen: number
proofLen
proofLen: 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
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[]