Parameter | Description |
---|---|
SHARES | Number of input shares into which each measurement is sharded |
Measurement | Type of each measurement |
AggParam | Type of aggregation parameter |
OutShare | Type of each output share |
AggResult | Type of the aggregate result |
Parameter | Description |
---|---|
VERIFY_KEY_SIZE | Size (in bytes) of the verification key ( |
ROUNDS | Number of rounds of communication during the Preparation stage ( |
SHARES | Number of input shares into which each measurement is sharded ( |
Measurement | Type of each measurement |
AggParam | Type of aggregation parameter |
Prep | State of each Aggregator during Preparation ( |
OutShare | Type of each output share |
AggResult | Type of the aggregate result |
Parameter | Value |
---|---|
MODULUS | 2^32 * 4294967295 + 1 |
ENCODED_SIZE | 8 |
Generator | 7^4294967295 |
GEN_ORDER | 2^32 |
Parameter | Value |
---|---|
MODULUS | 2^66 * 4611686018427387897 + 1 |
ENCODED_SIZE | 16 |
Generator | 7^4611686018427387897 |
GEN_ORDER | 2^66 |
Parameter | Description |
---|---|
PROVE_RAND_LEN | Length of the prover randomness, the number of random field elements consumed by the prover when generating a proof |
QUERY_RAND_LEN | Length of the query randomness, the number of random field elements consumed by the verifier |
JOINT_RAND_LEN | Length of the joint randomness, the number of random field elements consumed by both the prover and verifier |
INPUT_LEN | Length of the encoded measurement ( |
OUTPUT_LEN | Length of the aggregatable output ( |
PROOF_LEN | Length of the proof |
VERIFIER_LEN | Length of the verifier message generated by querying the input and proof |
Measurement | Type of the measurement |
Field | As defined in ( |
Parameter | Value |
---|---|
VERIFY_KEY_SIZE | Prg.SEED_SIZE |
ROUNDS | 1 |
SHARES | in [2, 255) |
Measurement | Flp.Measurement |
AggParam | None |
Prep | Tuple[Vec[Flp.Field], Optional[Bytes], Bytes] |
OutShare | Vec[Flp.Field] |
AggResult | Vec[Unsigned] |
Parameter | Description |
---|---|
GADGETS | A list of gadgets |
GADGET_CALLS | Number of times each gadget is called |
INPUT_LEN | Length of the input |
OUTPUT_LEN | Length of the aggregatable output |
JOINT_RAND_LEN | Length of the random input |
Measurement | The type of measurement |
Field | An FFT-friendly finite field as defined in |
Parameter | Value |
---|---|
PROVE_RAND_LEN |
Valid.prove_rand_len() (see |
QUERY_RAND_LEN |
Valid.query_rand_len() (see |
JOINT_RAND_LEN | Valid.JOINT_RAND_LEN |
INPUT_LEN | Valid.INPUT_LEN |
OUTPUT_LEN | Valid.OUTPUT_LEN |
PROOF_LEN |
Valid.proof_len() (see |
VERIFIER_LEN |
Valid.verifier_len() (see |
Measurement | Valid.Measurement |
Field | Valid.Field |
Parameter | Value |
---|---|
GADGETS | [Mul] |
GADGET_CALLS | [1] |
INPUT_LEN | 1 |
OUTPUT_LEN | 1 |
JOINT_RAND_LEN | 0 |
Measurement | Unsigned, in range [0,2) |
Field |
Field64 ( |
Parameter | Value |
---|---|
GADGETS | [Range2] |
GADGET_CALLS | [bits] |
INPUT_LEN | bits |
OUTPUT_LEN | 1 |
JOINT_RAND_LEN | 1 |
Measurement | Unsigned, in range [0, 2^bits) |
Field |
Field128 ( |
Parameter | Value |
---|---|
GADGETS | [Range2] |
GADGET_CALLS | [buckets + 1] |
INPUT_LEN | buckets + 1 |
OUTPUT_LEN | buckets + 1 |
JOINT_RAND_LEN | 2 |
Measurement | Integer |
Field |
Field128 ( |