T-Watch: Towards Timed Execution of Private Transaction in Blockchains
0
⛏️
Sign in to get full access
Overview
- Blockchains like Bitcoin and Ethereum use transactions as the primary mechanism for changing the blockchain state
- Transactions are crucial evidence in blockchain forensic analysis
- Timed transactions allow users to schedule a transaction to execute at a future time
- This paper proposes T-Watch, a decentralized and cost-efficient approach for scheduling timed transactions in Ethereum with privacy guarantees
Plain English Explanation
In blockchains like Bitcoin and Ethereum, transactions are the fundamental way for the outside world to trigger changes to the blockchain's state. Transactions also serve as important evidence for forensic analysis of blockchain activities.
Timed transactions are a specific type of service that allow users to schedule a transaction to execute at a chosen future time. This paper introduces T-Watch, a new approach for enabling timed transactions in Ethereum blockchains in a decentralized and cost-efficient manner, while also preserving the privacy of the scheduled transactions.
T-Watch uses a combination of threshold secret sharing and decentralized smart contracts to maintain shares of the decryption key for a scheduled transaction. This ensures the private details of the transaction remain hidden until the specified future time when the transaction is executed.
To reduce the cost of executing the smart contracts in T-Watch, the protocol is designed to run in an "optimistic mode" by default, only switching to a more expensive "pessimistic mode" if any misbehaviors are detected. T-Watch also supports pooling of service requests to further lower the overall gas costs.
Technical Explanation
T-Watch employs a novel combination of threshold secret sharing and decentralized smart contracts to enable timed transactions in Ethereum blockchains.
The key idea is to maintain shares of the decryption key for a scheduled transaction using a group of "executors" recruited from the blockchain network. This ensures the private details of the scheduled transaction remain hidden until the specified future time when the transaction is executed by restoring the full decryption key.
To reduce the cost of executing the smart contracts in T-Watch, the protocol is carefully designed to run in an "optimistic mode" by default. In this mode, the protocol assumes all participants are honest and follows the prescribed steps efficiently. However, if any misbehaviors are detected, the protocol switches to a more expensive "pessimistic mode" to handle the situation.
Furthermore, T-Watch supports users to form "service request pooling", where multiple users can combine their timed transaction requests to further reduce the overall gas costs.
The authors rigorously analyze the security of T-Watch and implement the protocol on the Ethereum official test network. The results demonstrate that T-Watch is more scalable compared to the state-of-the-art solutions and can reduce the cost of executing timed transactions by over 90% through the use of pooling.
Critical Analysis
The paper presents a novel and practical solution for enabling timed transactions in Ethereum blockchains. The use of threshold secret sharing and decentralized smart contracts is an elegant approach to preserve the privacy of scheduled transactions while also reducing the execution costs.
However, the paper does not delve deeply into the potential limitations or edge cases of the T-Watch protocol. For example, it would be helpful to understand how the protocol handles scenarios where the group of executors experiences churn or if some executors become unresponsive or malicious over time.
Additionally, the paper does not provide a detailed analysis of the trade-offs between the optimistic and pessimistic modes of operation. It would be interesting to understand the specific conditions that trigger the transition between these modes and the implications on the overall performance and cost-efficiency.
Further research could also explore the applicability of T-Watch to other blockchain platforms beyond Ethereum, as well as the potential integration with other blockchain primitives, such as off-chain scaling solutions or decentralized governance.
Conclusion
The T-Watch protocol proposed in this paper provides a decentralized and cost-efficient approach for scheduling timed transactions in Ethereum blockchains while preserving the privacy of the scheduled transactions. By leveraging threshold secret sharing and optimistic-pessimistic smart contract execution, T-Watch represents a significant advancement in the field of blockchain transaction scheduling and could have important implications for the broader smart contract programming ecosystem.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
⛏️
0
T-Watch: Towards Timed Execution of Private Transaction in Blockchains
Chao Li, Balaji Palanisamy
In blockchains such as Bitcoin and Ethereum, transactions represent the primary mechanism that the external world can use to trigger a change of blockchain state. Transactions serve as key sources of evidence and play a vital role in forensic analysis. Timed transaction refers to a specific class of service that enables a user to schedule a transaction to change the blockchain state during a chosen future time-frame. This paper proposes T-Watch, a decentralized and cost-efficient approach for users to schedule timed execution of any type of transaction in Ethereum with privacy guarantees. T-Watch employs a novel combination of threshold secret sharing and decentralized smart contracts. To protect the private elements of a scheduled transaction from getting disclosed before the future time-frame, T-Watch maintains shares of the decryption key of the scheduled transaction using a group of executors recruited in a blockchain network before the specified future time-frame and restores the scheduled transaction at a proxy smart contract to trigger the change of blockchain state at the required time-frame. To reduce the cost of smart contract execution in T-Watch, we carefully design the proposed protocol to run in an optimistic mode by default and then switch to a pessimistic mode once misbehaviors occur. Furthermore, the protocol supports users to form service request pooling to further reduce the gas cost. We rigorously analyze the security of T-Watch and implement the protocol over the Ethereum official test network. The results demonstrate that T-Watch is more scalable compared to the state of the art and could reduce the cost by over 90% through pooling.
Read more5/15/2024
🚀
0
Ticket-based multi-strand method for increased efficiency in proof-of-work based blockchains
Elias Rudberg
This paper outlines a method aiming to increase the efficiency of proof-of-work based blockchains using a ticket-based approach. To avoid the limitation of serially adding one block at a time to a blockchain, multiple semi-independent chains are used such that several valid blocks can be added in parallel, when they are added to separate chains. Blocks are added to different chains, the chain index being determined by a ``ticket'' that the miner must produce before creating a new block. This allows increasing the transaction rate by several orders of magnitude while the system is still fully decentralized and permissionless, and maintaining security in the sense that a successful attack would require the attacker to control a significant portion of the whole network.
Read more6/14/2024
📊
0
Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains (Extended Version)
Yaron Hay, Roy Friedman
Executing smart contracts is a compute and storage-intensive task, which currently dominates modern blockchain's performance. Given that computers are becoming increasingly multicore, concurrency is an attractive approach to improve programs' execution runtime. A unique challenge of blockchains is that all replicas (miners or validators) must execute all smart contracts in the same logical order to maintain the semantics of State Machine Replication (SMR). In this work, we study the maximal level of parallelism attainable when focusing on the conflict graph between transactions packaged in the same block. This exposes a performance vulnerability that block creators may exploit against existing blockchain concurrency solutions, which rely on a total ordering phase for maintaining consistency amongst all replicas. To facilitate the formal aspects of our study, we develop a novel generic framework for Active State Machine Replication (ASMR) that is strictly serializable. We introduce the concept of graph scheduling and the definition of the minimal latency scheduling problem, which we prove to be NP-hard. We show that the restricted version of this problem for homogeneous transactions is equivalent to the classic Graph Vertex Coloring Problem, yet show that the heterogeneous case is more complex. We discuss the practical implications of these results.
Read more8/21/2024
🌀
0
The Latency Price of Threshold Cryptosystem in Blockchains
Zhuolun Xiang, Sourav Das, Zekun Li, Zhoujun Ma, Alexander Spiegelman
Threshold cryptography is essential for many blockchain protocols. For example, many protocols rely on threshold common coin to implement asynchronous consensus, leader elections, and provide support for randomized applications. Similarly, threshold signature schemes are frequently used for protocol efficiency and state certification, and threshold decryption and threshold time-lock puzzles are often necessary for privacy. In this paper, we study the interplay between threshold cryptography and a class of blockchains that use Byzantine-fault tolerant (BFT) consensus protocols with a focus on latency. More specifically, we focus on blockchain-native threshold cryptosystem, where the blockchain validators seek to run a threshold cryptographic protocol once for every block with the block contents as an input to the threshold cryptographic protocol. All existing approaches for blockchain-native threshold cryptosystems introduce a latency overhead of at least one message delay for running the threshold cryptographic protocol. In this paper, we first propose a mechanism to eliminate this overhead for blockchain-native threshold cryptosystems with tight thresholds, i.e., in threshold cryptographic protocols where the secrecy and reconstruction thresholds are the same. However, many real-world proof-of-stake-based blockchain-native threshold cryptosystems rely on ramp thresholds, where reconstruction thresholds are strictly greater than secrecy thresholds. For these blockchains, we formally demonstrate that the additional delay is unavoidable. We then introduce a mechanism to minimize this delay in the optimistic case. We implement our optimistic protocol for the proof-of-stake distributed randomness scheme on the Aptos blockchain. Our measurements from the Aptos mainnet show that the optimistic approach reduces latency overhead by 71%.
Read more7/18/2024