LibraryStorage and networks2018Design paperCorpus record
Helium: A Decentralized Wireless Network
Helium. Amir Haleem, Andrew Allen, Andrew Thompson.
The Helium paper for a wireless network built from independently owned hotspots. Coverage is the commodity. Proof-of-coverage is the paper's way of checking that a radio is where it says it is and that it can be heard. Later changes of purpose and token are not this document.
Helium's paper proposes a wireless network built by people who deploy hotspots, with proof-of-coverage as a way to show that a hotspot is where it claims and that it can see its neighbours.
- Evidence
- Primary paper
- Re-measured
- No
- Assumptions
- 4
- Records linked
- 4
Code
Source, repository, and what is actually hosted
- Helium white paperhttps://whitepaper.helium.com/
- The source URL is not a GitHub repository. No code remote is invented.
- Full text is not mirrored. Public availability is not a licence to copy the file onto this site.
- Add to a reading list
01 Claim ledger
What the paper is allowed to say
Each row is a sentence already in the study. The status is the same on every row: a model claim, not a live measurement.
Claim 01 · Paper model
The resource is radio coverage, not hash power
Miners in this design are hotspots. They are paid, in the paper's story, for providing network coverage that devices can actually use.
Claim 02 · Paper model
Proof of coverage is a radio challenge
A hotspot is challenged to send a beacon. Neighbours who hear it submit receipts. The geometry of who heard whom is the evidence that the radio is real and roughly where it says.
Claim 03 · Paper model
Location is asserted and then tested
The operator says where the hotspot is. The challenges are supposed to make a false location expensive. The quality of that test is the quality of the whole incentive.
Claim 04 · Paper model
A network token coordinates two sides
Deployers earn for coverage. Devices pay to send data. The paper uses one token economy to face both. That coupling is a design choice with the usual price risk.
Claim 05 · Paper model
Useful coverage and gamed coverage diverge
A proof that radios can hear each other is not a proof that a paying device wanted that location. The paper's mechanism and the later argument about gaming should be held apart.
02 Three cuts
Observation, model, falsifier
A desk does not stop at the summary. Each claim is cut three ways, using only this study's own assumptions and checks. Nothing here is a new figure.
01 The resource is radio coverage, not hash power
Observation
What the study says
Miners in this design are hotspots. They are paid, in the paper's story, for providing network coverage that devices can actually use.
Model
What has to hold
Device traffic exists. A perfect proof of coverage with no devices is a radio hobby with a subsidy.
Falsifier
What would retire it
How expensive is it to place witnesses that satisfy the geometry without providing useful coverage?
02 Proof of coverage is a radio challenge
Observation
What the study says
A hotspot is challenged to send a beacon. Neighbours who hear it submit receipts. The geometry of who heard whom is the evidence that the radio is real and roughly where it says.
Model
What has to hold
Beacon receipts are hard to forge from a distant antenna farm, under the parameters of the proof.
Falsifier
What would retire it
Does the proof show that a paying device can use this hotspot, or only that other hotspots heard it?
03 Location is asserted and then tested
Observation
What the study says
The operator says where the hotspot is. The challenges are supposed to make a false location expensive. The quality of that test is the quality of the whole incentive.
Model
What has to hold
Location assertions are checked often enough that a moved hotspot does not earn on an old claim forever.
Falsifier
What would retire it
Does the proof show that a paying device can use this hotspot, or only that other hotspots heard it?
04 A network token coordinates two sides
Observation
What the study says
Deployers earn for coverage. Devices pay to send data. The paper uses one token economy to face both. That coupling is a design choice with the usual price risk.
Model
What has to hold
Device traffic exists. A perfect proof of coverage with no devices is a radio hobby with a subsidy.
Falsifier
What would retire it
How expensive is it to place witnesses that satisfy the geometry without providing useful coverage?
05 Useful coverage and gamed coverage diverge
Observation
What the study says
A proof that radios can hear each other is not a proof that a paying device wanted that location. The paper's mechanism and the later argument about gaming should be held apart.
Model
What has to hold
Device traffic exists. A perfect proof of coverage with no devices is a radio hobby with a subsidy.
Falsifier
What would retire it
Does the proof show that a paying device can use this hotspot, or only that other hotspots heard it?
03 Sequence
One action, as an operating tape
- 01An operator asserts a hotspot's location and identity and brings it online.
- 02The protocol selects a challenger. The hotspot emits a beacon at the time and frequency required.
- 03Nearby hotspots that witness the beacon submit receipts, signed and time-bounded.
- 04The protocol scores the proof based on who heard it and whether that fits the asserted geography.
- 05Rewards follow the score. A device that wants to send data uses the network under a separate payment path the paper specifies.
04 Load-bearing
The argument, and where a pitch drops it
Radio proofs are physical and still gameable
The cut
Antennas, attenuation and clusters of hotspots placed to witness each other can satisfy a geometric test without serving a single sensor in a useful place. The paper's proof raises the cost of lying. It does not define 'useful' as 'a customer paid'. Later design changes were an admission of this gap.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
Proof-of-coverage can be gamed if the challenge design is weak. The paper's mechanism is only as good as its radio assumptions.
Witnesses are the security, and also the collusion set
The cut
A hotspot alone cannot easily prove its own coverage. It needs neighbours. Neighbours can be friends. The protocol has to make collusion more expensive than honest witnessing, which is an economic claim on top of the radio claim.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
Proof-of-coverage can be gamed if the challenge design is weak. The paper's mechanism is only as good as its radio assumptions.
Coverage is local
The cut
A global token and a local radio footprint are different maps. Paying the same reward schedule everywhere will overbuild some cities and skip others. The paper's marketplace has to face geography. A uniform emission curve does not.
Why it carries weight
If this cut is skipped, the paper's name is being used without the mechanism that makes the name mean anything.
Where it is dropped
Proof-of-coverage can be gamed if the challenge design is weak. The paper's mechanism is only as good as its radio assumptions.
05 Register
What has to be true
Cryptography · Not re-measured
Beacon receipts are hard to forge from a distant antenna farm, under the parameters of the proof.
Adversary · Not re-measured
Enough honest hotspots exist in a region for witnesses to mean something.
Cryptography · Not re-measured
Device traffic exists. A perfect proof of coverage with no devices is a radio hobby with a subsidy.
Model · Not re-measured
Location assertions are checked often enough that a moved hotspot does not earn on an old claim forever.
06 Divergence
What happened after the paper
Helium deployed a large hotspot network, then had to revise rewards because proof-of-coverage was gamed and because coverage did not match demand. The network later looked to new backhaul and a different token structure. The paper is the original coverage-proof thesis. The revisions are evidence about where the thesis was thin, not footnotes to ignore.
A later client, parameter set, or reward formula is a different object. Cite this paper for the mechanism. Cite a primary release for the network. This desk has not re-run the proof.
07 Pre-mortem
What to check before you use the idea
- 0 of 4 marked on this browser. A mark is a reading note, not a pass, a rating, or a recommendation.
08 Anatomy
The paper, in the order a builder needs
The problem it names
A telecom network is usually owned by the operator who also owns the spectrum and the towers. Helium's paper proposes that many owners run hotspots, that users pay for data, and that the protocol checks coverage instead of trusting a self-report.
What the design proposes
- Hotspots assert a location and participate in challenges that a radio in that place should be able to witness.
- Proof-of-coverage is the substitute for a central site survey.
- A two-sided market, in the paper, pays for coverage and charges for network use. Both sides have to exist.
How the mechanism is specified
- Challenges, witnesses and a consensus among hotspots are specified so that a hotspot cannot cheaply claim coverage it does not provide.
- The physical layer matters. A proof about a radio is not a proof about a financial transaction, and the paper should not be read as one.
- Later migrations of the network's data plane are subsequent decisions. The original paper is about the wireless network as specified.
What this page does not treat as proven
- Proof-of-coverage can be gamed if the challenge design is weak. The paper's mechanism is only as good as its radio assumptions.
- A dense map of hotspots is not the same as useful coverage for a paying device.
- We do not describe token emissions or hotspot income.
Why the desk still reads it
This is the DePIN paper on our desk when a venture says 'the device proves itself'. Helium's standard is a challenge another radio can witness. A self-reported GPS pin is not that standard.
09 Lexicon
Terms, opened into the record
- Hotspot
- A radio the operator deploys, which both provides coverage and participates in proofs.
- Proof of coverage
- A challenge-and-witness protocol meant to show a hotspot's radio is present where asserted.
- Beacon
- The radio transmission a challenged hotspot sends for neighbours to hear.
- Witness
- A nearby hotspot that submits a receipt saying it heard the beacon.
10 Repository
Every linked record on this page
Underlined words open a page that already exists: a concept, a protocol profile, a failure record, or another paper. If a word is not underlined, this desk does not have a record for it.
Papers
This is Blockchain Lab's reading of a public design paper. It is not the paper, not a copy of it, and not an offer of tokens, equity, custody or a partnership. Later network behaviour can diverge from the text. Nothing here is investment, legal or technical advice.
Research status: Design paper. Last reviewed: 1 October 2026. This is a reading of a public paper, not investment, legal or security advice.