131d35a52b
Fields, TurboSHAKE128 (RFC 9861 vectors) and XofTurboShake128, the FLP in the Lagrange basis, sharding, verification, aggregation, unsharding and the ping-pong messages; the draft's published Prio3 vectors (commit 888e4b1) vendored under live-conformance/aggregate/vdaf-22/ and run by tests/telemetry_aggregate.rs. New dependencies behind the feature: keccak, aes-gcm, hkdf (RustCrypto, Apache-2.0 OR MIT); the lockfile only gains entries. Co-Authored-By: Claude Opus 5.5 <[email protected]>
329 lines
9.9 KiB
JSON
329 lines
9.9 KiB
JSON
{
|
|
"agg_param": "",
|
|
"agg_result": 3,
|
|
"agg_shares": [
|
|
"06d76f4248fd447e",
|
|
"fe2890bdb602bb81"
|
|
],
|
|
"ctx": "736f6d65206170706c69636174696f6e",
|
|
"operations": [
|
|
{
|
|
"operation": "shard",
|
|
"report_index": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_init",
|
|
"report_index": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_init",
|
|
"report_index": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "verifier_shares_to_message",
|
|
"report_index": 0,
|
|
"round": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_next",
|
|
"report_index": 0,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_next",
|
|
"report_index": 0,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "shard",
|
|
"report_index": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_init",
|
|
"report_index": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_init",
|
|
"report_index": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "verifier_shares_to_message",
|
|
"report_index": 1,
|
|
"round": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_next",
|
|
"report_index": 1,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_next",
|
|
"report_index": 1,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "shard",
|
|
"report_index": 2,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_init",
|
|
"report_index": 2,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_init",
|
|
"report_index": 2,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "verifier_shares_to_message",
|
|
"report_index": 2,
|
|
"round": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_next",
|
|
"report_index": 2,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_next",
|
|
"report_index": 2,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "shard",
|
|
"report_index": 3,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_init",
|
|
"report_index": 3,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_init",
|
|
"report_index": 3,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "verifier_shares_to_message",
|
|
"report_index": 3,
|
|
"round": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_next",
|
|
"report_index": 3,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_next",
|
|
"report_index": 3,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "shard",
|
|
"report_index": 4,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_init",
|
|
"report_index": 4,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_init",
|
|
"report_index": 4,
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "verifier_shares_to_message",
|
|
"report_index": 4,
|
|
"round": 0,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "verify_next",
|
|
"report_index": 4,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "verify_next",
|
|
"report_index": 4,
|
|
"round": 1,
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 0,
|
|
"operation": "aggregate",
|
|
"success": true
|
|
},
|
|
{
|
|
"aggregator_id": 1,
|
|
"operation": "aggregate",
|
|
"success": true
|
|
},
|
|
{
|
|
"operation": "unshard",
|
|
"success": true
|
|
}
|
|
],
|
|
"reports": [
|
|
{
|
|
"input_shares": [
|
|
"345e16daa732744c34dc71fa4c85d209f9af2ecf751609386ed9e2714ecc9e6b9d5b1d204331060f00d81b4cb8485926",
|
|
"000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
],
|
|
"measurement": 0,
|
|
"nonce": "000102030405060708090a0b0c0d0e0f",
|
|
"out_shares": [
|
|
"345e16daa732744c",
|
|
"cda1e92557cd8bb3"
|
|
],
|
|
"public_share": "",
|
|
"rand": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f",
|
|
"verifier_messages": [
|
|
""
|
|
],
|
|
"verifier_shares": [
|
|
[
|
|
"cd7905720f16e5d9581413b6234dedbe5d9c52e658dd03f08c70fd3a675786b4",
|
|
"3486fa8defe91a26a2eb81c1638c36bcf227593ab1b0e78b0d2775a9788ca884"
|
|
]
|
|
]
|
|
},
|
|
{
|
|
"input_shares": [
|
|
"355e16daa732744c34dc71fa4c85d209f9af2ecf751609386ed9e2714ecc9e6bb2277498ac41e75c01d81b4cb8485926",
|
|
"000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
],
|
|
"measurement": 1,
|
|
"nonce": "000102030405060708090a0b0c0d0e0f",
|
|
"out_shares": [
|
|
"355e16daa732744c",
|
|
"cda1e92557cd8bb3"
|
|
],
|
|
"public_share": "",
|
|
"rand": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f",
|
|
"verifier_messages": [
|
|
""
|
|
],
|
|
"verifier_shares": [
|
|
[
|
|
"cd7905720f16e5d9ef7657a336307ae8f3fe96d36cc09019257268349e7a7d72",
|
|
"3486fa8defe91a26a2eb81c1638c36bcf227593ab1b0e78b0d2775a9788ca884"
|
|
]
|
|
]
|
|
},
|
|
{
|
|
"input_shares": [
|
|
"355e16daa732744c34dc71fa4c85d209f9af2ecf751609386ed9e2714ecc9e6bb2277498ac41e75c01d81b4cb8485926",
|
|
"000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
],
|
|
"measurement": 1,
|
|
"nonce": "000102030405060708090a0b0c0d0e0f",
|
|
"out_shares": [
|
|
"355e16daa732744c",
|
|
"cda1e92557cd8bb3"
|
|
],
|
|
"public_share": "",
|
|
"rand": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f",
|
|
"verifier_messages": [
|
|
""
|
|
],
|
|
"verifier_shares": [
|
|
[
|
|
"cd7905720f16e5d9ef7657a336307ae8f3fe96d36cc09019257268349e7a7d72",
|
|
"3486fa8defe91a26a2eb81c1638c36bcf227593ab1b0e78b0d2775a9788ca884"
|
|
]
|
|
]
|
|
},
|
|
{
|
|
"input_shares": [
|
|
"345e16daa732744c34dc71fa4c85d209f9af2ecf751609386ed9e2714ecc9e6b9d5b1d204331060f00d81b4cb8485926",
|
|
"000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
],
|
|
"measurement": 0,
|
|
"nonce": "000102030405060708090a0b0c0d0e0f",
|
|
"out_shares": [
|
|
"345e16daa732744c",
|
|
"cda1e92557cd8bb3"
|
|
],
|
|
"public_share": "",
|
|
"rand": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f",
|
|
"verifier_messages": [
|
|
""
|
|
],
|
|
"verifier_shares": [
|
|
[
|
|
"cd7905720f16e5d9581413b6234dedbe5d9c52e658dd03f08c70fd3a675786b4",
|
|
"3486fa8defe91a26a2eb81c1638c36bcf227593ab1b0e78b0d2775a9788ca884"
|
|
]
|
|
]
|
|
},
|
|
{
|
|
"input_shares": [
|
|
"355e16daa732744c34dc71fa4c85d209f9af2ecf751609386ed9e2714ecc9e6bb2277498ac41e75c01d81b4cb8485926",
|
|
"000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
],
|
|
"measurement": 1,
|
|
"nonce": "000102030405060708090a0b0c0d0e0f",
|
|
"out_shares": [
|
|
"355e16daa732744c",
|
|
"cda1e92557cd8bb3"
|
|
],
|
|
"public_share": "",
|
|
"rand": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f202122232425262728292a2b2c2d2e2f303132333435363738393a3b3c3d3e3f",
|
|
"verifier_messages": [
|
|
""
|
|
],
|
|
"verifier_shares": [
|
|
[
|
|
"cd7905720f16e5d9ef7657a336307ae8f3fe96d36cc09019257268349e7a7d72",
|
|
"3486fa8defe91a26a2eb81c1638c36bcf227593ab1b0e78b0d2775a9788ca884"
|
|
]
|
|
]
|
|
}
|
|
],
|
|
"shares": 2,
|
|
"verify_key": "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f"
|
|
}
|