REVIEW 3 major objections 3 minor 88 references
Rollback-Free Cross-Chain Atomicity Through Forward-Only Correction
T0 review · 3 major / 3 minor · reviewed 2026-08-01 · deepseek-v4-flash
Pith's one-line read This paper argues that cross-chain atomicity can be achieved by forward-only correction instead of rollback.
desk verdict A high-level vision for cross-chain atomicity by forward-only correction, but the central claim is unsupported and the mechanism likely cannot handle external side effects. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the combination of the Journaling Wrapper, the State Journal, and the Corrective Executor. The Journaling Wrapper predicts the storage slots a function will modify, reads their pre-images, executes the call, reads the post-images, locks those slots, and records the pair in the on-chain State Journal; when an operation fails, the Corrective Executor writes the recorded pre-images back as new confirmed transactions. This journal-and-correct mechanism is what replaces rollback: the pre-image remains recoverable as data even though the original transaction cannot be undone.
What would settle it
Deploy a smart contract whose function writes to a storage slot at an address computed at runtime (for example, via a delegatecall to an address stored in another contract), such that the wrapper's pre-scan of a fixed slot set misses that write; after a correction, the missed slot's original value will not be restored, leaving partial state and demonstrating that atomicity fails.
Extended reading notes
Core claim
The central claim is that atomicity under immutability requires abandoning reversal: instead of reverting a committed effect, a participant issues a new committed effect that compensates for it. The paper introduces a four-component architecture—a distributed coordinator, a journaling wrapper, an on-chain state journal, and a corrective executor—that together record the storage-slot pre-images and post-images of each call, lock those slots for the operation's duration, and apply inverse state changes as new transactions when the operation cannot complete. The framework generalizes atomic coordination beyond asset transfers to arbitrary smart contract function calls across heterogeneous chain
Load-bearing premise
The Journaling Wrapper must be able to predict and capture the exact storage slots that a function will modify before executing it, so that a later corrective write can restore the actual original state.
Editorial extensions
If this is right
- Cross-chain applications such as collateralized loans can execute atomically across multiple blockchains without needing a rollback mechanism.
- State held during an operation is bounded by lock expiry, preventing indefinite locking due to coordinator failure.
- Contention is confined to the specific storage slots an operation touches, leaving unrelated contract state available.
- No single coordinating party can unilaterally decide an operation's outcome, since corrective directives require quorum certificates.
- The append-only journal preserves a full history of both original calls and corrections, enabling auditability of cross-chain operations.
Reading between the lines
- The framework's correctness hinges on the wrapper's ability to pre-image every storage slot a function will modify; real contracts with dynamic storage layouts or delegatecalls may evade this, so a practical implementation would likely need runtime instrumentation or static analysis beyond what the paper specifies.
- The forward-only correction model is conceptually similar to compensating transactions in long-running sagas, but here the compensation is enforced deterministically on-chain, which could make it applicable to permissioned and permissionless settings alike.
- A natural testable extension is to compare this framework's overhead and contention profile against hash-time-lock-based protocols for simple asset swaps, where the journaling and correction costs can be quantified on real chains.
- If the pre-image prediction assumption can be relaxed, the same journal-and-correct mechanism might be adapted for cross-chain data availability or complex multi-step workflows beyond simple atomic commitment.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a framework for atomic cross-chain smart contract execution without rollback. It identifies immutability of confirmed blockchain transactions as the barrier to classical atomic commitment, and argues that atomicity must be achieved by 'forward-only correction': recording state changes in an on-chain journal and, if an operation cannot complete, issuing new transactions that write the recorded pre-images back into contract state. The architecture comprises a distributed Coordinator, a Journaling Wrapper that records storage-slot pre/post images and locks affected slots, an on-chain State Journal, and a Corrective Executor that applies inverse state changes. The paper's central claim is that this mechanism yields atomicity for general smart contract operations across heterogeneous chains while bounding state-hold duration and confining contention to touched state. The full specification, formal analysis, and prototype are explicitly deferred to future work in Section III.
Significance. If the proposed framework were correct, it would address a genuine and timely problem: cross-chain atomicity under blockchain immutability, where classical rollback-based protocols do not apply. The idea of journaling state changes and correcting them with new forward transactions is a reasonable direction and the paper correctly identifies lock duration and verifiable outcome determination as core challenges. However, the manuscript is a high-level position statement rather than a technically substantiated result. It contains no formal proof, no executable specification, no implementation, and no evaluation; Section III explicitly states that a full framework specification, formal safety/liveness analysis, and prototype are future work. The paper's contribution is therefore conceptual. The central atomicity claim is load-bearing and, as argued in the major comments, is not established — and the proposed mechanism as described has a fundamental gap regarding external side effects. The paper does not ship machine-checked proofs or reproducible code, so its value rests entirely on the plausibility of the described design.
major comments (3)
- [Section II-B and II-D] The atomicity claim depends on the Corrective Executor being able to undo all effects of an incomplete operation by writing recorded pre-image values back into the wrapped contract's state. But the Journaling Wrapper records only the storage slots of the contract it fronts that the target function modifies. A general smart contract function can also change state outside those slots: it can call an ERC-20 contract and alter that contract's balances, transfer native currency to an external address, emit events that external contracts or off-chain agents act upon, create new contracts, or use DELEGATECALL to write to arbitrary storage. None of these effects are captured in the pre/post-image pair described in Section II-B. Consequently, when the Corrective Executor performs its write-back, the local flag is reset but the token transfer or external call remains, so the cross-chain operation
- [Section II-B] The locking mechanism is specified only for 'other tracked calls' that would modify the locked slots. Ordinary reads and calls that do not write to those slots are permitted. During the hold period an external contract or user can observe the locked state and take a dependent action — for example, a lending protocol reading a collateralized token balance and issuing a loan based on that reading. If the operation is later corrected, the pre-image is restored but the dependent action remains, permanently committed on-chain. Atomicity is normally defined with respect to all observable effects, not just writes to the wrapped contract's storage. The paper does not define an isolation level or explain how read dependencies are handled. Without such a definition, the claim that the framework 'confines contention to the state an operation touches' is not sufficient to establish atomicity under i
- [Section II-A and II-C and III] The framework's safety and liveness properties are not specified, let alone proved. In particular, the interaction between the Coordinator's quorum-based finalization and the State Journal's lock expiry is not defined: if a correction is triggered by expiry on one chain while the Coordinator is still collecting evidence on another, the final outcome may be inconsistent across chains. The paper states that a correction directive must come from the registered Coordinator and carry a quorum certificate, but the conditions under which finalization is safe when some chains have already corrected are not addressed. Section III explicitly defers 'formal analysis of its safety and liveness guarantees' to future work. Since the central claim is that the framework 'enforces atomicity', the absence of even a precise statement of the correctness condition makes the claim unsupported.
minor comments (3)
- [Section II-B] The phrase 'reads the storage slots the target function will modify' presumes that the set of slots can be determined before execution. For real contracts with dynamic storage layouts, delegatecalls, or input-dependent access patterns, this is nontrivial and is not discussed. A precise definition of what the wrapper can observe is needed.
- [Section II-C] The State Journal entry is said to include 'the lock held over those slots and its expiry', but it is not explained how an on-chain journal can represent a lock that spans multiple chains or how lock expiry is enforced consistently across heterogeneous chains with different block times.
- [References] The related work on cross-chain atomicity is thin. The paper cites one VLDB paper on atomic commitment across blockchains, but does not position the proposal relative to existing atomic swap protocols, hash-time-locked contracts, or cross-chain interoperability frameworks. A short discussion would clarify the claimed novelty.
Circularity Check
No circularity: atomicity claim is an unsupported architectural proposal, not a derivation from fitted inputs or self-citation.
full rationale
The paper does not derive a quantitative or predictive result from fitted parameters, nor does it rely on self-citation, uniqueness theorems, or ansatz smuggling to force its design. The central mechanism (Sections II-B through II-D) is presented as a construction: the Journaling Wrapper records pre/post images, and the Corrective Executor writes pre-images back on a failed operation. That such a write restores the recorded slots is true by construction, but the paper does not claim atomicity follows by definition alone; rather, atomicity is asserted as the intended property. The paper openly defers formal support (Section III: 'In the future, we will focus on a full framework specification, formal analysis of its safety and liveness guarantees, and a prototype implementation'), which is a gap in evidence, not circular reasoning. The main weakness—external calls may mutate third-party state not captured by the wrapper—is an unsupported completeness assumption about pre/post capture, not a circular reduction of the conclusion to its premises. Accordingly, no circularity is present.
Assumptions & free parameters
assumptions (4)
- domain assumption Blockchain transactions are immutable and cannot be reverted.
- domain assumption The Journaling Wrapper can determine and read all storage slots a function will modify before execution.
- ad hoc to paper Writing recorded pre-image values back into state restores consistency without affecting other contract invariants or external side effects.
- domain assumption A replicated Coordinator with quorum certificates can issue directives without a single point of trust.
invented entities (3)
-
Journaling Wrapper
-
State Journal
-
Corrective Executor
Cite this review
Pith. "Pith review of Rollback-Free Cross-Chain Atomicity Through Forward-Only Correction." pith.science (2026). https://pith.science/paper/JUNTFP3K
@misc{pith2026260716959,
author = {Pith},
title = {Pith review of: Rollback-Free Cross-Chain Atomicity Through Forward-Only Correction},
year = {2026},
howpublished = {\url{https://pith.science/paper/JUNTFP3K}},
note = {Machine review of arXiv:2607.16959}
}
read the original abstract
Blockchain platforms have grown into an ecosystem of independent networks, and a growing class of applications now requires smart contracts on separate chains to act as one. Such operations must be atomic, yet immutability makes this fundamentally harder: a confirmed transaction cannot be reversed, so the rollback on which classical atomic commitment protocols depend is unavailable. Two challenges follow. Contract state must be held across an operation whose outcome is not yet known, and each chain's execution outcome must be established even though no chain can observe another. In response, we introduce a framework that achieves atomicity through forward-only correction, resolving incomplete operations with new on-chain transactions rather than reversal. The framework bounds how long contract state is held and confines contention to the state an operation touches, and it establishes outcomes from an on-chain record of what each chain executed, without relying on any single coordinating party. This work lays the foundation for atomic coordination of general smart contract operations across heterogeneous blockchains.
Figures
Reference graph
Works this paper leans on
-
[1]
Not your Type! Detecting Storage Collision Vulnerabilities in Ethereum Smart Contracts , author=. Netw. Distrib. Syst. Security Symp , year=
-
[2]
32nd USENIX Security Symposium (USENIX Security 23) , pages=
Proxy hunting: understanding and characterizing proxy-based upgradeable smart contracts in blockchains , author=. 32nd USENIX Security Symposium (USENIX Security 23) , pages=
-
[3]
Blockchain-Oriented Software Engineering: Challenges and New Directions , year=
Porru, Simone and Pinna, Andrea and Marchesi, Michele and Tonelli, Roberto , booktitle=. Blockchain-Oriented Software Engineering: Challenges and New Directions , year=
-
[4]
Empirical Software Engineering , volume=
Understanding the motivations, challenges and needs of blockchain software developers: A survey , author=. Empirical Software Engineering , volume=. 2019 , publisher=
2019
-
[5]
Identifying the Challenges of the Blockchain Community from StackExchange Topics and Trends , year=
Alahi, Irfan and Islam, Mubassher and Iqbal, Anindya and Bosu, Amiangshu , booktitle=. Identifying the Challenges of the Blockchain Community from StackExchange Topics and Trends , year=
-
[6]
and Nowostawski, Mariusz , booktitle=
Frantz, Christopher K. and Nowostawski, Mariusz , booktitle=. From Institutions to Code: Towards Automated Generation of Smart Contracts , year=
-
[7]
Tool demonstration: Fsolidm for designing secure ethereum smart contracts , author=. Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings 7 , pages=. 2018 , organization=
2018
-
[8]
Ethereum Smart Contract Analysis Tools: A Systematic Review , year=
Kushwaha, Satpal Singh and Joshi, Sandeep and Singh, Dilbag and Kaur, Manjit and Lee, Heung-No , journal=. Ethereum Smart Contract Analysis Tools: A Systematic Review , year=
Show all 88 references
-
[9]
Empirical Software Engineering , volume=
Maintenance-related concerns for post-deployed Ethereum smart contract development: issues, techniques, and future challenges , author=. Empirical Software Engineering , volume=. 2021 , publisher=
2021
-
[10]
, author=
Maintenance of Long-Living Smart Contracts. , author=. Software Engineering (Workshops) , year=
-
[11]
Information Systems and e-Business Management , volume=
Laying the foundation for smart contract development: an integrated engineering process model , author=. Information Systems and e-Business Management , volume=. 2021 , publisher=
2021
-
[12]
2023 , eprint=
LLM-in-the-loop: Leveraging Large Language Model for Thematic Analysis , author=. 2023 , eprint=
2023
-
[13]
2024 , eprint=
Automating Thematic Analysis: How LLMs Analyse Controversial Topics , author=. 2024 , eprint=
2024
-
[14]
2024 , eprint=
CAM: A Collection of Snapshots of GitHub Java Repositories Together with Metrics , author=. 2024 , eprint=
2024
-
[15]
30th usenix security symposium (USENIX Security 21) , pages=
\ EVMPatch \ : Timely and automated patching of ethereum smart contracts , author=. 30th usenix security symposium (USENIX Security 21) , pages=
-
[16]
arXiv preprint arXiv:2311.03530 , year=
Dao decentralization: Voting-bloc entropy, bribery, and dark daos , author=. arXiv preprint arXiv:2311.03530 , year=
-
[17]
Blockchain: Research and Applications , pages=
Analyzing voting power in decentralized governance: Who controls DAOs? , author=. Blockchain: Research and Applications , pages=. 2024 , publisher=
2024
-
[18]
arXiv preprint arXiv:2305.17655 , year=
Understanding blockchain governance: Analyzing decentralized voting to amend defi smart contracts , author=. arXiv preprint arXiv:2305.17655 , year=
-
[19]
29th USENIX Security Symposium (USENIX Security 20) , pages=
\ VoteAgain \ : A scalable coercion-resistant voting system , author=. 29th USENIX Security Symposium (USENIX Security 20) , pages=
-
[20]
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing , pages =
Herlihy, Maurice , title =. Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing , pages =. 2018 , isbn =. doi:10.1145/3212734.3212736 , abstract =
2018
-
[21]
Game Theoretical Analysis of Cross-Chain Swaps , year=
Belotti, Marianna and Moretti, Stefano and Potop-Butucaru, Maria and Secci, Stefano , booktitle=. Game Theoretical Analysis of Cross-Chain Swaps , year=
-
[22]
Proceedings of the 32nd USENIX Conference on Security Symposium , articleno =
Scaffino, Giulia and Aumayr, Lukas and Avarikioti, Zeta and Maffei, Matteo , title =. Proceedings of the 32nd USENIX Conference on Security Symposium , articleno =. 2023 , isbn =
2023
-
[23]
Distributed Ledger Technologies: Research and Practice , year=
Transactional cross-chain smart contract invocations , author=. Distributed Ledger Technologies: Research and Practice , year=
-
[24]
Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1--5, 2021, Revised Selected Papers, Part II 25 , pages=
Sok: Communication across distributed ledgers , author=. Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1--5, 2021, Revised Selected Papers, Part II 25 , pages=. 2021 , organization=
2021
-
[25]
Proceedings of the 2019 ACM SIGSAC conference on computer and communications security , pages=
Hyperservice: Interoperability and programmability across heterogeneous blockchains , author=. Proceedings of the 2019 ACM SIGSAC conference on computer and communications security , pages=
2019
-
[26]
IEEE Transactions on Information Forensics and Security , year=
Balancing Privacy and Regulation of Cross-chain Transaction Systems via SoK-assisted Policy Enhancement , author=. IEEE Transactions on Information Forensics and Security , year=
-
[27]
Security and Communication Networks , volume=
VM-Studio: A Universal Crosschain Smart Contract Verification and Execution Scheme , author=. Security and Communication Networks , volume=. 2023 , publisher=
2023
-
[28]
Cryptology ePrint Archive , year=
zkCross: A Novel Architecture for Cross-Chain Privacy-Preserving Auditing , author=. Cryptology ePrint Archive , year=
-
[29]
ACM Transactions on Software Engineering and Methodology , volume=
Storage state analysis and extraction of Ethereum blockchain smart contracts , author=. ACM Transactions on Software Engineering and Methodology , volume=. 2023 , publisher=
2023
-
[30]
Sound analysis and extraction of data from Smart Contract , author=
-
[31]
Proceedings of the European Conference on Pattern Languages of Programs 2020 , pages=
Patterns for blockchain data migration , author=. Proceedings of the European Conference on Pattern Languages of Programs 2020 , pages=
2020
-
[32]
arXiv preprint arXiv:2406.15071 , year=
Sok: Attacks on daos , author=. arXiv preprint arXiv:2406.15071 , year=
-
[33]
Available at SSRN 4416748 , year=
Balancing power in decentralized governance: Quadratic voting and information aggregation , author=. Available at SSRN 4416748 , year=
-
[34]
Frontiers in Blockchain , volume=
DAO voting mechanism resistant to whale and collusion problems , author=. Frontiers in Blockchain , volume=. 2024 , publisher=
2024
-
[35]
Process Migration in the Sprite Operating System , author=. Proc. 11th ACM Symp. Operating Systems Principles , pages=
-
[36]
Proceedings of the USENIX Workshop on Experiences with Distributed and Multiprocessor Systems (WEBDMS) , pages=
Experience with process migration in Sprite , author=. Proceedings of the USENIX Workshop on Experiences with Distributed and Multiprocessor Systems (WEBDMS) , pages=
-
[37]
Verifiable Smart Contract Portability , year=
Westerkamp, Martin , booktitle=. Verifiable Smart Contract Portability , year=
-
[38]
2016 , publisher=
The bitcoin lightning network: Scalable off-chain instant payments , author=. 2016 , publisher=
2016
-
[39]
Proceedings of the 2018 ACM symposium on principles of distributed computing , pages=
Atomic cross-chain swaps , author=. Proceedings of the 2018 ACM symposium on principles of distributed computing , pages=
2018
-
[40]
2021 IEEE 41st international conference on distributed computing systems (ICDCS) , pages=
A game-theoretic analysis of cross-chain atomic swaps with htlcs , author=. 2021 IEEE 41st international conference on distributed computing systems (ICDCS) , pages=. 2021 , organization=
2021
-
[41]
Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8--12, 2020, Proceedings 32 , pages=
Smart contract invocation protocol (SCIP): A protocol for the uniform integration of heterogeneous blockchain smart contracts , author=. Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8--12, 2020, Proceedings 32 , pa...
2020
-
[42]
IEEE Transactions on Network Science and Engineering , volume=
AtomCI: A new system for the atomic cross-chain smart contract invocation spanning heterogeneous blockchains , author=. IEEE Transactions on Network Science and Engineering , volume=. 2024 , publisher=
2024
-
[43]
SmartSync: Cross-Blockchain Smart Contract Interaction and Synchronization , year=
Westerkamp, Martin and Küpper, Axel , booktitle=. SmartSync: Cross-Blockchain Smart Contract Interaction and Synchronization , year=
-
[44]
2021 , howpublished =
Axelar Network: Connecting Applications with Blockchain Ecosystems , author =. 2021 , howpublished =
2021
-
[45]
White paper , volume=
Polkadot: Vision for a heterogeneous multi-chain framework , author=. White paper , volume=
-
[46]
arXiv preprint arXiv:2110.13871 , year=
Layerzero: Trustless omnichain interoperability protocol , author=. arXiv preprint arXiv:2110.13871 , year=
-
[47]
2021 IEEE international conference on blockchain (Blockchain) , pages=
Evaluating upgradable smart contract , author=. 2021 IEEE international conference on blockchain (Blockchain) , pages=. 2021 , organization=
2021
-
[48]
Proceedings of the ACM Web Conference 2024 , pages=
Characterizing ethereum upgradable smart contracts and their security implications , author=. Proceedings of the ACM Web Conference 2024 , pages=
2024
-
[49]
International Conference on Financial Cryptography and Data Security , pages=
Not so immutable: Upgradeability of smart contracts on ethereum , author=. International Conference on Financial Cryptography and Data Security , pages=. 2022 , organization=
2022
-
[50]
Not your type! Detecting storage collision vulnerabilities in ethereum smart contracts , author=. Proc. Netw. Distrib. Syst. Secur. Symp , pages=
-
[51]
32nd USENIX Security Symposium (USENIX Security 23) , pages=
Proxy hunting: Understanding and characterizing proxy-based upgradeable smart contracts in blockchains , author=. 32nd USENIX Security Symposium (USENIX Security 23) , pages=
-
[52]
arXiv preprint arXiv:2407.01493 , year=
Immutable in Principle, Upgradeable by Design: Exploratory Study of Smart Contract Upgradeability , author=. arXiv preprint arXiv:2407.01493 , year=
-
[53]
Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles , pages=
Understanding and detecting software upgrade failures in distributed systems , author=. Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles , pages=
-
[54]
9th Workshop on Hot Topics in Operating Systems (HotOS IX) , year=
* Scheduling and Simulation: How to Upgrade Distributed Systems , author=. 9th Workshop on Hot Topics in Operating Systems (HotOS IX) , year=
-
[55]
Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware , pages=
Toward Upgrades-as-a-service in Distributed Systems , author=. Proceedings of the 10th ACM/IFIP/USENIX International Conference on Middleware , pages=
-
[56]
1987 , publisher=
Concurrency control and recovery in database systems , author=. 1987 , publisher=
1987
-
[57]
Proceedings of the 1981 ACM SIGMOD international conference on Management of data , pages=
Nonblocking commit protocols , author=. Proceedings of the 1981 ACM SIGMOD international conference on Management of data , pages=
1981
-
[58]
arXiv preprint arXiv:1905.02847 , year=
Atomic commitment across blockchains , author=. arXiv preprint arXiv:1905.02847 , year=
1905 arXiv
-
[59]
General Purpose Atomic Crosschain Transactions , year=
Robinson, Peter and Ramesh, Raghavendra , booktitle=. General Purpose Atomic Crosschain Transactions , year=
-
[60]
International Conference on Financial Cryptography and Data Security , pages=
The hidden shortcomings of (d) aos--an empirical study of on-chain governance , author=. International Conference on Financial Cryptography and Data Security , pages=. 2023 , organization=
2023
-
[61]
2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) , pages=
Unpacking how decentralized autonomous organizations (daos) work in practice , author=. 2024 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) , pages=. 2024 , organization=
2024
-
[62]
Proceedings of the ACM on Software Engineering , volume=
Enhancing code understanding for impact analysis by combining transformers and program dependence graphs , author=. Proceedings of the ACM on Software Engineering , volume=. 2024 , publisher=
2024
-
[63]
Proceedings of the 26th ACM SIGSOFT international symposium on software testing and analysis , pages=
Refining interprocedural change-impact analysis using equivalence relations , author=. Proceedings of the 26th ACM SIGSOFT international symposium on software testing and analysis , pages=
-
[64]
Empirical Software Engineering , volume=
Integrating conceptual and logical couplings for change impact analysis in software , author=. Empirical Software Engineering , volume=. 2013 , publisher=
2013
-
[65]
IEEE Transactions on Software Engineering , year=
A Retrospective of ChangeDistiller: Tree Differencing for Fine-Grained Source Code Change Extraction , author=. IEEE Transactions on Software Engineering , year=
-
[66]
Available at SSRN 3440802 , year=
Bitcoin: A peer-to-peer electronic cash system , author=. Available at SSRN 3440802 , year=
-
[67]
GitHub repository , volume=
Ethereum white paper , author=. GitHub repository , volume=
-
[68]
EXTROPY: The Journal of Transhumanist Thought,(16) , volume=
Smart contracts: building blocks for digital markets , author=. EXTROPY: The Journal of Transhumanist Thought,(16) , volume=
-
[69]
Journal of Business Research , volume=
Past, present, and future of block-chain in finance , author=. Journal of Business Research , volume=. 2024 , publisher=
2024
-
[70]
, author=
A Framework for Modelling Blockchain based Supply Chain Management System to ensure soundness of Smart Contract Workflow. , author=. HICSS , pages=
-
[71]
Scientific Reports , volume=
Toward blockchain based electronic health record management with fine grained attribute based encryption and decentralized storage mechanisms , author=. Scientific Reports , volume=. 2025 , publisher=
2025
-
[72]
34th USENIX Security Symposium (USENIX Security 25) , pages=
\ Voting-Bloc \ Entropy: A New Metric for \ DAO \ Decentralization , author=. 34th USENIX Security Symposium (USENIX Security 25) , pages=
-
[73]
ACM SIGMOD Record , volume=
Distributed transactions in practice , author=. ACM SIGMOD Record , volume=. 1999 , publisher=
1999
-
[74]
Proceedings of the VLDB Endowment , volume=
Atomic commitment across blockchains , author=. Proceedings of the VLDB Endowment , volume=
-
[75]
1992 , publisher=
Transaction processing: concepts and techniques , author=. 1992 , publisher=
1992
-
[76]
1999 , publisher=
Principles of distributed database systems , author=. 1999 , publisher=
1999
-
[77]
Blockchain Consensus: An Introduction to Classical, Blockchain, and Quantum Consensus Protocols , pages=
Blockchain consensus , author=. Blockchain Consensus: An Introduction to Classical, Blockchain, and Quantum Consensus Protocols , pages=. 2022 , publisher=
2022
-
[78]
Szabo, ``Smart contracts: building blocks for digital markets,'' EXTROPY: The Journal of Transhumanist Thought,(16), vol
N. Szabo, ``Smart contracts: building blocks for digital markets,'' EXTROPY: The Journal of Transhumanist Thought,(16), vol. 18, no. 2, p. 28, 1996
1996
-
[79]
Buterin et al., ``Ethereum white paper,'' GitHub repository, vol
V. Buterin et al., ``Ethereum white paper,'' GitHub repository, vol. 1, no. 22-23, pp. 5--7, 2013
2013
-
[80]
G. D. Sharma, A. K. Tiwari, R. Chopra, and D. Dev, ``Past, present, and future of block-chain in finance,'' Journal of Business Research, vol. 177, p. 114640, 2024
2024
-
[81]
M. S. Rahman, I. Khalil, and A. Bouras, ``A framework for modelling blockchain based supply chain management system to ensure soundness of smart contract workflow.'' in HICSS, 2021, pp. 1--10
2021
-
[82]
Ullah, Z
A. Ullah, Z. Ullah, S. S. Rizvi, L. Gul, and S. J. Kwon, ``Toward blockchain based electronic health record management with fine grained attribute based encryption and decentralized storage mechanisms,'' Scientific Reports, vol. 15, no. 1, p. 34542, 2025
2025
-
[83]
Fabrega, A
A. Fabrega, A. Zhao, J. Yu, J. Austgen, S. Allen, K. Babel, M. Kelkar, and A. Juels, `` \ Voting-Bloc \ entropy: A new metric for \ DAO \ decentralization,'' in 34th USENIX Security Symposium (USENIX Security 25), 2025, pp. 1299--1318
2025
-
[84]
Nakamoto, ``Bitcoin: A peer-to-peer electronic cash system,'' Available at SSRN 3440802, 2008
S. Nakamoto, ``Bitcoin: A peer-to-peer electronic cash system,'' Available at SSRN 3440802, 2008
2008
-
[85]
P. Ram, L. Do, and P. Drew, ``Distributed transactions in practice,'' ACM SIGMOD Record, vol. 28, no. 3, pp. 49--55, 1999
1999
-
[86]
Zakhary, D
V. Zakhary, D. Agrawal, and A. El Abbadi, ``Atomic commitment across blockchains,'' Proceedings of the VLDB Endowment, vol. 13, no. 9, 2020
2020
-
[87]
Gray and A
J. Gray and A. Reuter, Transaction processing: concepts and techniques. 1em plus 0.5em minus 0.4em Elsevier, 1992
1992
-
[88]
M. T. \"O zsu, P. Valduriez et al., Principles of distributed database systems. 1em plus 0.5em minus 0.4em Springer, 1999, vol. 2
1999
Reviewed August 1, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.