§32. Kardashev Labs: Build and Measure
Copy/paste (plain text):
Jason St George. "§32. Kardashev Labs: Build and Measure" in Next Generation Stores of Value: Privacy, Proofs, Compute. Version v3.1. /v/3.1/read/part-vi/32-kardashev-labs/ Kardashev Labs: Build and Measure
§28: Implementation Sketches for Builders says what to ship first. This chapter says who ships it, on what horizon, at what order of cost, and—the question an allocator asks before any of those—what exactly is being bought. It is the one chapter in this thesis written for someone deciding whether to fund the work rather than whether to believe the argument, and it is placed here rather than in the front matter because its claims depend on everything before it.
What Is Being Bought: Stack First, Coin Optional
The thesis has conceded, in its own voice, four things an allocator will have noticed. Bitcoin’s buyerless work function is the monetarily superior design and nothing here improves on it (§30: Objections & Responses). The closest utility-token precedents reached low-single-digit fee coverage and never acquired monetary behaviour (§30: Objections & Responses). The fee base on which Phase III depends is expected to become measurable only on the far side of a financial clearing event the thesis does not predict and cannot time (§26: Adoption Curve & Ecosystem Dynamics). And the residual monetary premium—the three mechanisms of §10: Work Credits: Energy-Anchored Claims—is unsized, without precedent, and instrumented by red lines that the thesis treats as its default null (§27: Risk Analysis & Failure Modes).
Read together, those concessions fix what is underwritable and what is not.
The Investment Thesis, Stated Once
Underwritable: the verifiable stack as public infrastructure with a measurement institution attached—the VerifyPrice Observatory and its adversarial harness, VerifyReach, VerifySettle on one deployed non-custodial corridor, the PIDL receipt schema and SDKs, the Facility Capacity Receipt schema, and VerifyFlow wrapper telemetry. Every one of these has a buyer that is not a token holder: auditors, regulators, procurement desks, allocators pricing existing wrappers, and operators who need their capacity claims believed. Several of them are sellable before any base asset exists.
A free option, not an underwriting: that a separate bearer base asset behind that stack earns monetary premium. The thesis rates this conditional, gives it an empty base rate for fee-stream claims, and publishes eighteen conditions under which it is retired. Nothing in the lab’s budget depends on it being true, and nothing in the lab’s deliverables is worthless if it is false.
What the lab is therefore not: a token launch, a protocol foundation, or a proxy for buying the base asset early. Kardashev Labs issues no monetary instrument and holds no protocol treasury. If a base asset is ever issued, it is issued by a protocol whose constitution (§22: Layer 6: Governance & Telemetry) the lab may have drafted and must be able to fail.
That statement costs the thesis nothing it has not already conceded, and it is the only form in which a sophisticated allocator would fund the work. The monetary experiment rides on top of infrastructure that pays for itself in measurement, or it does not ride at all.
What Kardashev Labs Is
The name is a statement of scope, not of ambition: a civilisation’s position on the Kardashev scale is a measurement of the energy it can verifiably command, and this thesis has spent six Parts arguing that verification is the binding constraint on the next monetary object. The lab’s model is Bell Labs in one respect only—research and engineering under one roof, with the engineering disciplined by a customer—and it departs from Bell Labs in the respect that matters most here: its outputs are public goods by default, and its measurement outputs are published under the reproducibility contract of §23: Extended Telemetry whether or not they flatter the thesis.
Three functions, in priority order.
-
Measure. Run the observatory: VerifyPrice, VerifyReach, VerifySettle, VerifyFlow, and the Native Monetary Buyer Map, with signed multi-operator datasets anchored publicly. This is the lab’s first product and its permanent one. It is also the function that can be sold on day one: VerifyFlow against existing bitcoin wrappers requires no protocol to exist.
-
Build. Ship the Minimum Viable Stack of §28: Implementation Sketches for Builders as reference implementations under open licences: PIDL and the verifier harness, one BTCXMR corridor kernel, one multi-backend proof factory, the PaL and PRK SDKs, and the neutral-router fairness tests.
-
Research. Attack the open problems the thesis has been honest enough to name as open (§32: Kardashev Labs: Build and Measure), and publish negative results with the same prominence as positive ones.
Relationship to any protocol.
The lab writes specifications, reference implementations, and measurement; it does not operate the protocol, hold its treasury, or receive its fees. Any protocol adopting the stack pays the lab, if at all, as one customer among several for measurement and audit services, under published terms, so that the party being scored does not fund the scorer in a way it can withdraw (§14: Layer 0: Verifiable Machines & Energy applies the same rule to weights). The lab’s independence from the protocol is what makes its dashboards worth reading.
Deliverables on a Dated Horizon
§26: Adoption Curve & Ecosystem Dynamics omits calendar horizons for adoption, and it is right to: adoption is gated by metrics, not by quarters. A build programme is different. An allocator cannot underwrite “when the gates clear.” The table below therefore commits to dated deliverables from a funding start , and it is explicit about which phase of §26: Adoption Curve & Ecosystem Dynamics each deliverable belongs to. Every one of them is a Phase I artifact. That is not a hedge; it is the consequence of §26: Adoption Curve & Ecosystem Dynamics: Phase III is not reachable on a 36-month horizon under the thesis’s own model, and a plan that claimed otherwise would contradict the document it is attached to.
| Quarter | Deliverable | Acceptance test (public) | MVS step |
|---|---|---|---|
| +1 | PIDL v1 schema; reference verifier harness on three canonical workloads (PROOF_, MATMUL_4096 in both Freivalds [Freivalds 1977] and SNARK SKUs, one settlement workload); adversarial acceptance suite | Harness reproduces published VerifyPrice on two independent operators’ hardware within the reproducibility contract | 1 |
| +2 | VerifyPrice Observatory live with signed, anchored datasets; Laptop-Class and Server-Class reference verifiers published as bills of materials | Six weeks of continuous public series; first adversarial-mix report | 1, 3 |
| +3 | VerifyFlow v1 against existing bitcoin wrappers: , WRR, , MPR published weekly | Reproducible from public ETF data by a third party; first paying subscriber | — |
| +4 | BTCXMR corridor kernel with refund-first wallet UX; VerifySettle live | 1,000 mainnet swaps; protocol-attributable refund failures ; overall success ; p95 time-to-finality published | 2 |
| +5 | Multi-backend proof factory (one pairing SNARK, one STARK, one zkVM) issuing PIDL receipts; VerifyPrice per backend | Three months of receipts; inside modality band for every registered workload | 3 |
| +6 | PaL and PRK SDKs; verify(receipt) modules for contract, browser, CLI; first reference application (procurement or media provenance) in production with a named counterparty | External team ships against the SDK without lab assistance; receipts consumed by an auditor | 4 |
| +7 | VerifyReach v1 on OONI methodology [OONI 2012–] across ASNs; transport fallbacks (look-like-TLS, Snowflake, refraction [Frolov et al. 2019]) measured | Six months of public reachability series; first censored-region report | — |
| +8 | Neutral router with published fairness tests; FCR schema v1 with two facilities reporting | Fairness tests pass on a mixed prover set; FCR fields independently verified for one facility | 5 |
| +9 to +12 | Layer-0 sampling programme pilot on one L0-A profile (counterfeit, binning, firmware-substitution targets); first open L0-C components (RoT, RNG, metering) taped out on an available open PDK; MatMul-PoUW devnet with the usefulness dilemma instrumented rather than assumed away | Published sampling report with stated sensitivity; devnet centralization and series | 6 |
Kardashev Labs deliverables from funding start , by quarter. Every row is a Phase I artifact. Acceptance tests are public and adversarial by construction; a row that fails its test is reported as failed.
Two rows deserve comment. The BTCZEC corridor named in earlier versions as a co-equal first target is absent, because shielded-ZEC adaptor-signature swaps do not exist and transparent-ZEC HTLCs forfeit the privacy the corridor is for (§20: Layer 5: Value & Settlement); it returns when that work is done, and the lab’s research agenda includes it. And the PoUW devnet is last and is labelled a laboratory, because §32: Kardashev Labs: Build and Measure names the problem it exists to study.
Team Shape
The lab is small enough that its director knows every result personally, and it is built in this order:
-
Measurement (first hires, 4–5): two measurement engineers who own the observatory and the reproducibility contract; one data engineer for anchoring, signing, and publication; one quantitative analyst for VerifyFlow and the Buyer Map; one adversarial tester whose job is to break the harness.
-
Proof systems and workloads (3–4): engineers with production experience in at least two proof systems; one with numerical-analysis depth for acceptance bounds and workload registration.
-
Settlement and privacy (2–3): corridor and wallet engineers with adaptor-signature and shielded-protocol experience; one security reviewer.
-
Network and distribution (2): transport and censorship-measurement engineering; software-update and transparency-log engineering.
-
Hardware (1–2, from +6): an open-silicon engineer for the L0-C components and a sampling-programme lead with a hardware-security background.
-
Direction (2): a director who has run a measurement or standards organisation, and a research lead who has published negative results.
Governance, legal, and policy counsel are retained, not hired, until §24: Legal, Policy, and Jurisdictional Posture says otherwise.
Planning Envelope
This section states the structure of the envelope and deliberately no figures. A CC BY document is the wrong place for a budget: numbers in it anchor every later negotiation, age within a year, and turn a thesis into a pitch. A costed plan—roles at loaded cost by month, capital items by class, vendor quotes where they exist, and a sensitivity table—is held as a separate document for qualified counterparties, and its existence rather than its contents is what this chapter records.
The envelope has six lines, and each is driven by something the thesis already specifies:
-
People. The team of §32: Kardashev Labs: Build and Measure, at senior engineering and research compensation, fully loaded. The dominant line by a wide margin; its driver is the hiring order, not the headcount.
-
Compute and proving capital. A GPU cluster for the proof factory and canonical-workload benchmarking, and reference-verifier fleets in the Laptop and Server classes of §19: Layer 4: Truth & Work. Driven by the workload registry and by the proving-cost series of Appendix E: Hardware Profiles, which is why that series is published before the second tranche.
-
Measurement operations. Multi-operator observatory hosting, anchoring, VerifyReach vantage points across at least fifty ASNs, and data publication. Driven by the operator count the reproducibility contract requires.
-
Security review. External review of the corridor kernel, SDKs, and harness; bug bounties. Driven by the number of shipped surfaces.
-
Open silicon (from +6). Shuttle runs on an available open PDK for the RoT, RNG, and metering components of Appendix E: Hardware Profiles, and lab time for the sampling pilot on one profile. Driven by shuttle availability, which the lab does not control.
-
Legal, policy, and administration. Entity formation, licensing, and counsel retained under §24: Legal, Policy, and Jurisdictional Posture.
Excluded by design: any hardware-sampling programme at the scale §14: Layer 0: Verifiable Machines & Energy contemplates for a live network, which is funded from protocol fees and not by the lab; any protocol treasury; and any base-asset purchase.
Tranches and gates.
The plan is funded in tranches gated by the deliverables of §32: Kardashev Labs: Build and Measure rather than by the calendar, which is the thesis’s own rule applied to the institution proposing to test it. The first tranche runs to +6 and is released against the receipt schema, the harness, and the first VerifyPrice publication; the second runs to +12 against the corridor, the observatory, and the first proving-cost reading; the extension to 36 months is not offered unless the “build without buyers” condition of §32: Kardashev Labs: Build and Measure has been passed. An allocator who wants a single cheque for three years is being asked to fund a forecast, and this document does not publish forecasts.
Revenue against the envelope.
The lab is not designed to be self-funding on this horizon, and it should not pretend to be. Three revenue lines are real and should be pursued from +3: VerifyFlow subscriptions from allocators pricing existing wrappers; measurement and audit engagements for operators who need FCR and VerifyPrice attestations; and reference-application integration work with named counterparties. Together they are unlikely to cover more than a fifth to a third of the 36-month envelope, and the remainder is grant, consortium, or strategic capital that is buying public goods and an option, in that order.
Entity, Licensing, and What the Lab Owns
The lab is best housed in a non-profit or public-benefit entity whose charter forbids it from issuing a monetary instrument, holding a protocol treasury, or taking fees that any single protocol can withdraw. Reference implementations ship under permissive open-source licences; measurement datasets ship under an open-data licence with the signing and anchoring rules of §23: Extended Telemetry; specifications are public. What the lab owns is its reputation for publishing numbers that do not flatter it, and that asset is destroyed by the first exception.
Funders receive what a funder of a measurement institution receives: governance seats on the entity, priority access to data and engineering time under published terms, and the option to fund any protocol the lab’s work makes possible on the same footing as anyone else. They do not receive tokens, because there are none to give.
Research Agenda: The Problems Named as Open
A build lab that only builds is a contractor. The following problems are the ones this thesis has, in the course of correcting itself, identified as unsolved, and they are the reason the institution needs a research function. Each is stated with the chapter that names it and the result that would count as progress.
-
Usefulness versus unpredictability in proof-of-useful-work (§19: Layer 4: Truth & Work). Header-seeded inputs are useless to buyers; client-supplied inputs are precomputable. Progress: a hybrid design with a stated, tested collusion bound between client and miner.
-
Verifiable accelerator compute (§14: Layer 0: Verifiable Machines & Energy). Generic GPU work cannot yet be proof-wrapped at acceptable overhead. Progress: the proving-cost series of Appendix E: Hardware Profiles—cost per cycles or constraints on the reference prover, measured quarterly, with the proving overhead per SKU beside it—with the modality bet stated as a slope and its eight-quarter kill condition, and the class of workloads for which M1 verification is economic at each point on the curve.
-
Detection sensitivity of hardware sampling (§14: Layer 0: Verifiable Machines & Energy). The sampling bound assumes a sensitivity nobody has measured for leading-node silicon. Progress: a published for each threat class, beginning with the ones sampling can actually catch.
-
Shielded cross-chain settlement (§20: Layer 5: Value & Settlement). BTCshielded-ZEC atomic swaps with bounded-time no-loss exit do not exist. Progress: a construction, or a proof that one requires protocol changes on the ZEC side.
-
Delivered Verified Capacity as a computable object (§14: Layer 0: Verifiable Machines & Energy). The flow model is not yet unit-coherent across the energy-to-proof chain. Progress: a generalized-flow formulation with a published graph-construction procedure, run against real FCR data.
-
Whether cheap verification moves collateral terms at all (§10: Work Credits: Energy-Anchored Claims). The scoped prediction—lower haircut dispersion and faster convergence, not lower levels—has never been tested on any asset. Progress: the study on bitcoin’s own record, native units against wrapped, run before any base asset exists, so that Red Line 17 has a baseline.
-
The base-rate question (§31: Why a Base Asset Behind These Could Become Money). No equity-like claim on a fee stream is known to have become money. Progress: a documented negative, or the first counterexample, from the historical record.
Item 6 is the one the lab should run first, because it costs almost nothing, requires no protocol, and is the only experiment in this list whose result could retire the monetary claim before a dollar is spent building for it.
How the Lab Fails
An institution built to publish kill conditions for a thesis should publish its own.
-
Measurement capture. If the observatory’s datasets cannot be reproduced by an operator the lab does not control for two consecutive quarters, the lab has become the thing Red Line 4 describes and should be wound down or re-chartered.
-
Build without buyers. If, by +8, no counterparty outside the lab consumes a receipt, subscribes to VerifyFlow, or ships against the SDK, the infrastructure has no demonstrated demand and the envelope should not be extended to 36 months.
-
Research without results. If none of the seven problems above has a published positive or negative result by +12, the research function is not earning its share of the envelope.
-
Capture by a protocol. If any single protocol’s payments exceed a published share of the lab’s revenue, or if the lab’s staff hold a base asset the lab measures without disclosure, the independence that makes the dashboards worth reading is gone.
None of these is a red line for the thesis. They are red lines for the institution proposed to test it, and an allocator should hold the lab to them with the same lack of sentiment the lab is asked to bring to the thesis.
New here? Start with the one-minute version.
Tip: hover a heading to reveal its permalink symbol for copying.