Bounded Verification Research

{
    "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": 1767105490,
    "status": 1,
    "phaseIds": [
        "32e5f3fd26b3848b6a236ad4660df4344a39bee8f93e9898c5afad0ac9421338"
    ],
    "votes": {
        "id": "be968cd5ffc72ef40bb40431ceac8257467cba86b28c8e022aec152ca222f5f2",
        "total": 32,
        "yes": 25,
        "no": 5
    },
    "phases": [
        {
            "phase": {
                "id": "32e5f3fd26b3848b6a236ad4660df4344a39bee8f93e9898c5afad0ac9421338",
                "projectID": "be968cd5ffc72ef40bb40431ceac8257467cba86b28c8e022aec152ca222f5f2",
                "name": "Completed Research",
                "description": "This phase covers research, analysis, and documentation that has already been completed and publicly released in good faith prior to and during the proposal period.",
                "url": "https:\/\/github.com\/TminusZ\/zenon-developer-commons\/blob\/main\/docs\/az\/STATUS_UPDATE_FULL_QUORUM.md",
                "znnFundsNeeded": "500000000000",
                "qsrFundsNeeded": "5000000000000",
                "creationTimestamp": 1767105490,
                "acceptedTimestamp": 0,
                "status": 0
            },
            "votes": {
                "id": "32e5f3fd26b3848b6a236ad4660df4344a39bee8f93e9898c5afad0ac9421338",
                "total": 20,
                "yes": 19,
                "no": 0
            }
        }
    ]
}