Decentralized and Efficient Blockchain Rewriting with Bi-level Validity Verification.

Kemin Zhang Li Yang Lu Zhou Jianfeng Ma

Published in: SecureComm (2022)

Keyphrases

bi level
gray scale
cost effective
databases
cooperative
peer to peer
model checking
pricing model
database
decision making
np complete
computationally expensive
formal verification
rewrite rules
verification method