Decentralized and Efficient Blockchain Rewriting with Bi-level Validity Verification. - Kemin Zhang 002; Li Yang; Lu Zhou; Jianfeng Ma (SecureComm, 2022)