Blockchain DFA State Control for Reliable Smart Contracts
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing contract management systems are inefficient, prone to synchronization issues, and lack secure, automated execution mechanisms, leading to security and cost inefficiencies.
Innovation Solution
Implementing a deterministic finite automaton (DFA) on a blockchain to automate and enforce contract execution, using unspent transaction outputs (UTXOs) to represent states and transitions, with input signals triggering state changes and recording them on the immutable ledger.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If contracts are manually maintained with local stores and copies, then parties can access contract information, but synchronization issues arise and security risks increase
Solution Approach 1:
The patent merges multiple contract copies held by different parties into a single unified smart contract stored on the blockchain. This eliminates synchronization issues between local copies while maintaining accessibility for all parties through the distributed ledger, directly resolving the contradiction between reliability and complexity.
Solution Approach 2:
The smart contract automatically executes contractual obligations without requiring manual intervention or coordination between parties. The automated execution mechanism eliminates the complexity of manual contract management while enhancing reliability through deterministic enforcement of agreed terms.
2Productivity
If smart contracts are automated on blockchain, then execution efficiency and security improve, but system complexity increases
Solution Approach 1:
The patent replaces manual contract execution mechanisms with automated blockchain-based smart contracts. This substitution eliminates the need for intermediaries and manual coordination, significantly improving execution efficiency while the standardized smart contract framework manages the inherent complexity.
Solution Approach 2:
The smart contract platform provides a universal solution that can handle multiple types of contractual agreements through a single standardized framework. This multi-functionality improves productivity across diverse contract types while consolidating complexity into a unified system rather than requiring separate solutions for each contract type.
3Ease of operation
If multiple local copies of contracts are maintained, then parties can access agreements, but storage costs and maintenance overhead increase
Solution Approach 1:
The patent uses cryptographic hashing to create verifiable copies of contract data that can be distributed to parties without requiring storage of the full contract. Each party holds a hash reference to the single source of truth on the blockchain, maintaining ease of verification while eliminating the storage and maintenance costs of multiple full copies.
Data Source
Figure 1
Figure 2
Figure 3~4
AI summary
The invention relates to a technique for implementing, controlling and automating a task or process on a blockchain such as, but not limited to, the Bitcoin blockchain. The invention is particularly suited for, but not limited to, automated execution of contracts such as smart contracts for financial agreements. However, other types of tasks and non-financial contracts can be implemented. The invention can be viewed as the implementation or incarnation of a state machine or DFA on a blockchain by using the unspent outputs of blockchain Transactions to represents the states of the machine, and spending of those outputs as the transition of the machine from one state to another. The invention provides a technical realisation and implementation of a mathematical model of computation conceived as an abstract machine that can be in one of a finite set of states, and can change from one state to another (transition) when a triggering event of a finite set (called input) occurs. The invention comprises compilation and codification techniques for the DFA implementation.