Cryptology ePrint Archive: Report 2021/724

Tri-op redactable blockchains with block modification, removal, and insertion

Mohammad Sadeq Dousti and Alptekin Kp

Abstract: In distributed computations and cryptography, it is desirable to record events on a public ledger, such that later alterations are computationally infeasible. An implementation of this idea is called blockchain, which is a distributed protocol that allows the creation of an immutable ledger. While such an idea is very appealing, the ledger may be contaminated with incorrect, illegal, or even dangerous data, and everyone running the blockchain protocol has no option but to store and propagate the unwanted data. The ledger is bloated over time, and it is not possible to remove redundant information. Finally, missing data cannot be inserted later. Redactable blockchains were invented to allow the ledger to be mutated in a controlled manner. To date, redactable blockchains support at most two types of redactions: block modification and removal. The next logical step is to support block insertions. However, we show that this seemingly innocuous enhancement renders all previous constructs insecure. We put forward a model for blockchains supporting all three redaction operations, and construct a blockchain that is provably secure under this formal definition.

Category / Keywords: foundations / Bitcoin, blockchain, redactable blockchain, block change, block insertion, block removal

Date: received 30 May 2021, last revised 1 Jun 2021

Contact author: msdousti at gmail com

Available format(s): PDF | BibTeX Citation

Note: Submitted to "Special Issue on Advances on Blockchains and Applications", Turk J. Elec Eng & Comp Sci.

Version: 20210601:085935 (All versions of this report)

Short URL: ia.cr/2021/724


[ Cryptology ePrint archive ]