igneum/tools/proving-v1/report-2026-10-05.json

332 lines
No EOL
9 KiB
JSON

{
"v0": 60,
"v1": 120,
"segment": 4,
"unproven": 60,
"share_bps": 1000,
"steps": {
"status": {
"v0": "0x3c",
"v1": {
"activationDaa": "0x78",
"active": false,
"aggregatorId": null,
"aggregatorShareBps": "0x3e8",
"paidSegmentWei": "0x0",
"paidSegments": 0,
"pool": {
"entries": 0,
"failed": 0,
"pending": 0,
"verified": 0
},
"segmentBlocks": "0x4",
"segmentsInWindow": {
"pending": 0,
"proven": 0,
"unproven": 0
},
"shardProgramId": null,
"start": null,
"unprovenDaa": "0x3c"
}
},
"v1_start": {
"start": 119,
"tipDaa": 128
},
"case1": {
"segment": [
119,
122
],
"wei": "253611648000000000",
"paidSecs": 1.008,
"carrier": "0x81"
},
"case2": {
"segment": [
123,
126
],
"refused": "segment 123..126 does not chain to segment 119..122 (chain_len 4), which is proven (record paid at chain block 129)",
"paid": {
"carrierNumber": "0x87",
"chainLen": "0x8",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"payout": "0x4343434343434343434343434343434343434343",
"wei": "0x38505a6ce4a8000"
}
},
"case3": {
"unproven": [
127,
130
],
"restarted": [
131,
134
],
"status": {
"activationDaa": "0x78",
"active": true,
"aggregatorId": null,
"aggregatorShareBps": "0x3e8",
"paidSegmentWei": "0xa8f1428e9a42800",
"paidSegments": 3,
"pool": {
"entries": 3,
"failed": 0,
"pending": 0,
"verified": 0
},
"segmentBlocks": "0x4",
"segmentsInWindow": {
"pending": 15,
"proven": 3,
"unproven": 1
},
"shardProgramId": null,
"start": "0x77",
"unprovenDaa": "0x3c"
}
}
},
"checks": [
{
"name": "the node carries the v1 parameters",
"ok": true,
"detail": {
"activationDaa": "0x78",
"active": false,
"aggregatorId": null,
"aggregatorShareBps": "0x3e8",
"paidSegmentWei": "0x0",
"paidSegments": 0,
"pool": {
"entries": 0,
"failed": 0,
"pending": 0,
"verified": 0
},
"segmentBlocks": "0x4",
"segmentsInWindow": {
"pending": 0,
"proven": 0,
"unproven": 0
},
"shardProgramId": null,
"start": null,
"unprovenDaa": "0x3c"
}
},
{
"name": "every node agrees on the v1 start",
"ok": true,
"detail": 119
},
{
"name": "segment 0 is aligned at the start and pending",
"ok": true,
"detail": {
"first": "0x77",
"last": "0x7a",
"status": {
"deadline_daa": 183,
"status": "pending"
}
}
},
{
"name": "the native statement is the same on every node",
"ok": true,
"detail": "0x000000000000116f000000"
},
{
"name": "the aggregator share is a tenth of the segment credits",
"ok": true,
"detail": {
"expectedWei0": "253611648000000000",
"creditSum0": "2536116480000000000"
}
},
{
"name": "known-finished: segment 0 record accepted by n1",
"ok": true,
"detail": {
"accepted": true,
"block": "0xe03d6896eff5476fffb90d066efd77feb0e2eb9c527b967423b74bb5948f36d2",
"first": "0x77",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x7a",
"new": true,
"reason": "accepted"
}
},
{
"name": "known-finished: segment 0 paid on n0 (relayed over p2p, verified in trust mode, carried)",
"ok": true,
"detail": {
"paid": {
"carrierNumber": "0x81",
"chainLen": "0x4",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"payout": "0x4343434343434343434343434343434343434343",
"wei": "0x38502733df10000"
},
"secs": 1.008
}
},
{
"name": "every node paid segment 0 the same",
"ok": true,
"detail": [
"0x38502733df10000",
"0x38502733df10000",
"0x38502733df10000"
]
},
{
"name": "the payout address holds the aggregator share",
"ok": true,
"detail": {
"balance": "253611648000000000"
}
},
{
"name": "segment 1 names segment 0 as its proven previous",
"ok": true,
"detail": {
"carrierNumber": "0x81",
"chainLen": "0x4",
"first": "0x77",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x7a",
"proofHash": "0xed42fb45a37c81f151b2fde1b2b9b35ce0c76f7b59145eaa428f6760b739cae4",
"proofInPool": true
}
},
{
"name": "chain rule: a fresh-chain record for segment 1 is refused while segment 0 is proven",
"ok": true,
"detail": {
"accepted": false,
"block": "0x43b605649b1d40550fc280a520950a328b25e733b4efe9cc0a204e31e9351022",
"first": "0x7b",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x7e",
"new": false,
"reason": "segment 123..126 does not chain to segment 119..122 (chain_len 4), which is proven (record paid at chain block 129)"
}
},
{
"name": "chain rule: the continuing record (chain_len 8) is accepted",
"ok": true,
"detail": {
"accepted": true,
"block": "0x43b605649b1d40550fc280a520950a328b25e733b4efe9cc0a204e31e9351022",
"first": "0x7b",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x7e",
"new": true,
"reason": "accepted"
}
},
{
"name": "segment 1 paid with chain_len 8",
"ok": true,
"detail": {
"carrierNumber": "0x87",
"chainLen": "0x8",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"payout": "0x4343434343434343434343434343434343434343",
"wei": "0x38505a6ce4a8000"
}
},
{
"name": "segment 2 is pending with a deadline",
"ok": true,
"detail": {
"deadline_daa": 191,
"status": "pending"
}
},
{
"name": "known-failed: segment 3 cannot start a fresh chain while segment 2 is pending",
"ok": true,
"detail": {
"accepted": false,
"block": "0x4f502ffcbe86530352096707a93074ee8e1d43e3d2e94b06b8c71735c9eb0b46",
"first": "0x83",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x86",
"new": false,
"reason": "segment 131..134 does not chain to segment 127..130 (chain_len 4), which is pending until DAA 191"
}
},
{
"name": "known-failed: segment 2 is unproven after its deadline",
"ok": true,
"detail": {
"deadline_daa": 191,
"status": "unproven"
}
},
{
"name": "known-failed: a late record for segment 2 pays nothing (refused as unproven)",
"ok": true,
"detail": {
"accepted": false,
"block": "0xb46575c11a6e42efd2cdbc8a450c0f169c069409a1f6e107c7418cea9c594623",
"first": "0x7f",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x82",
"new": false,
"reason": "unproven: the record is carried at DAA 194, after the segment's deadline DAA 191"
}
},
{
"name": "segment 3 restarts the chain with a fresh-chain record after the unproven segment",
"ok": true,
"detail": {
"accepted": true,
"block": "0x4f502ffcbe86530352096707a93074ee8e1d43e3d2e94b06b8c71735c9eb0b46",
"first": "0x83",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"last": "0x86",
"new": true,
"reason": "accepted"
}
},
{
"name": "segment 3 paid with chain_len 4",
"ok": true,
"detail": {
"carrierNumber": "0xc1",
"chainLen": "0x4",
"keyHash": "0xc379ba2cdb239d2884d6bdb391d243ddfa869ab95ec4e72372e0e31fc9025fa0",
"payout": "0x4343434343434343434343434343434343434343",
"wei": "0x3850c0edd68a800"
}
},
{
"name": "the status counts proven and unproven segments",
"ok": true,
"detail": {
"pending": 15,
"proven": 3,
"unproven": 1
}
},
{
"name": "a v1 shard is paid 90% of its block share (one shard a block here)",
"ok": true,
"detail": {
"number": "0xc3",
"shardWei": "0x7ebcd81877b9c00",
"credit": "0x8cd1d3a96895800"
}
}
],
"ok": true
}