Project
Bounded Verification Research
New
ZNN Requested
5,000
QSR Requested
50,000
USD Value
9,427.50
14 votes needed in 6 days 10 hours
11 Yes
5 No
2 Abstain
ZNN Request
5,000
QSR Request
50,000
USD Request
9,427.50
14 votes needed in 6 days 10 hours
11 Yes
5 No
2 Abstain
The work covers a sequence of related research notes exploring bounded verification under strict resource constraints, including header-only verification, bounded inclusion, and minimal state frontier verification.
Owner
Total phases
0
ID
be968cd5ff...2ca222f5f2
Created
18th Dec 2025 10:02:10 AM (UTC)
Updated
24th Dec 2025 05:31:30 AM (UTC)
{
"id": "be968cd5ffc72ef40bb40431ceac8257467cba86b28c8e022aec152ca222f5f2",
"owner": "z1qpfx2fmsk8hud5wwqe5dlywq9e3ln8tl20uc5n",
"name": "Bounded Verification Research",
"description": "The work covers a sequence of related research notes exploring bounded verification under strict resource constraints, including header-only verification, bounded inclusion, and minimal state frontier verification.",
"url": "https:\/\/github.com\/TminusZ\/zenon-developer-commons",
"znnFundsNeeded": "500000000000",
"qsrFundsNeeded": "5000000000000",
"creationTimestamp": 1766052130,
"lastUpdateTimestamp": 1766052130,
"status": 0,
"phaseIds": [],
"votes": {
"id": "be968cd5ffc72ef40bb40431ceac8257467cba86b28c8e022aec152ca222f5f2",
"total": 18,
"yes": 11,
"no": 5
},
"phases": []
}