REVIEW 4 cited by
Grassroots Flash: A Payment System for Grassroots Cryptocurrencies
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
The goal of grassroots cryptocurrencies is to provide a foundation with which local digital economies can emerge independently of each other and of global digital platforms and global cryptocurrencies; can form and grow without initial capital or external credit; can trade with each other; and can gradually merge into a global digital economy. Grassroots cryptocurrencies turn mutual trust into liquidity and thus could be a powerful means for 'banking the unbanked'. Grassroots cryptocurrencies have not been provided yet with a payment system, which is the goal of this paper. Here, we present Grassroots Flash, a payment system for grassroots cryptocurrencies that employs the blocklace -- a DAG-like counterpart of the blockchain data structure. We analyze its security (safety, liveness, and privacy) and efficiency, prove that it is indeed grassroots.
Forward citations
Cited by 4 Pith papers
-
Volition-Guarded Multiagent Atomic Transactions: Describing People and their Machines
Volition-guarded multiagent atomic transactions decompose agents into person volitions plus machine state, enabling formal specs and proofs that social networks and coins/bonds are volitionally grassroots under a new ...
-
Volition Elicitation: Operational Semantics for People and Their Machines
vGLP extends GLP so that program reductions can be guarded by a person's expressed volition, with the UI derived from the semantics and correctness proofs for soundness, liveness, and compilation.
-
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI (Full Version)
dGLP and madGLP are deterministic, implementation-ready semantics for Grassroots Logic Programs, proved correct against the abstract nondeterministic semantics.
-
GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI
GLP is a single-assignment concurrent logic language whose multiagent semantics is claimed to guarantee that any program using cold-calls yields a grassroots platform, with the proof deferred to the full paper.
Discussion (0). Sign in to comment.