[Resource Topic] 2022/1478: Limits on revocable proof systems, with applications to stateless blockchains

Welcome to the resource topic for 2022/1478

Title:
Limits on revocable proof systems, with applications to stateless blockchains

Authors: Miranda Christ, Joseph Bonneau

Abstract:

Motivated by the goal of building a cryptocurrency with succinct global state, we introduce the abstract notion of a revocable proof system. We prove an information-theoretic result on the relation between global state size and the required number of local proof updates as statements are revoked (e.g., coins are spent). We apply our result to conclude that there is no useful trade-off point when building a stateless cryptocurrency: the system must either have a linear-sized global state (in the number of accounts in the system) or require a near-linear rate of local proof updates. The notion of a revocable proof system is quite general and also provides new lower bounds for set commitments, vector commitments and authenticated dictionaries.

ePrint: https://eprint.iacr.org/2022/1478

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .