Proof of Necessary Work: Succinct State Verification with Fairness Guarantees-Reference-Cited by-同舟云学术

Proof of Necessary Work: Succinct State Verification with Fairness Guarantees

Published:2023-12-01 Issue: Volume: Page:18-35
ISSN:0302-9743
Container-title:Financial Cryptography and Data Security
language:
Short-container-title:

Author:

Kattis Assimakis^ORCID,Bonneau Joseph^ORCID

Abstract

AbstractBlockchain-based payment systems utilize an append-only log of transactions whose correctness can be verified by any observer. Classically, verification costs grow linearly in either the number of transactions or blocks in the blockchain (often both). Incrementally Verifiable Computation (IVC) can be used to enable constant-time verification, but generating the necessary proofs is expensive. We introduce the notion of Proof of Necessary Work (PoNW), in which proof generation is an integral part of the proof-of-work used in Nakamoto consensus, producing proofs using energy that would otherwise be wasted. We implement and benchmark a prototype of our system, enabling stateless clients to verify the entire blockchain history in about 40 milliseconds.

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-47751-5_2

Reference35 articles.

1. Abusalah, H., Fuchsbauer, G., Gaži, P., Klein, K.: SNACKs: leveraging proofs of sequential work for blockchain light clients. Cryptology ePrint Archive, Paper 2022/240 (2022)

2. Announcing the ZPrize Competition. https://www.aleo.org/post/announcing-the-zprize-competition (2022). Accessed: 09 Aug 2022

3. Ben-Sasson, E., Chiesa, A., Tromer, E., Virza, M.: Succinct non-interactive zero knowledge for a von neumann architecture. In: USENIX Security (2014)

4. Ben-Sasson, E., Chiesa, A., Tromer, E., Virza, M.: Scalable zero knowledge via cycles of elliptic curves. Algorithmica 79(4), 1102–1160 (2017)

5. Bonneau, J., Meckler, I., Rao, V., Shapiro, E.: Mina: decentralized cryptocurrency at scale. https://docs.minaprotocol.com/static/pdf/technicalWhitepaper.pdf (2020). Accessed: 09 Aug 2022