Locking Script Verification Key Protection for Blockchain Proof Checks
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing blockchain technologies face limitations in executing complex smart contracts and verifying the validity of transactions efficiently, particularly due to the computational overhead required for each node to validate the correctness of computations, which restricts the complexity and scalability of smart contracts.
Innovation Solution
A method and system that utilize a locking script to secure a verification key from alteration and verify the validity of a proof of correctness, enabling a zero-knowledge protocol on a blockchain, allowing a client to outsource computational tasks to a worker and generate a proof of correctness that can be verified by all nodes efficiently, using quadratic arithmetic programs and bilinear constraints.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Reliability
If each node validates the correctness of computations independently, then the reliability of smart contract execution is improved, but the computational overhead and validation time increase
Solution Approach 1:
The patent introduces a proof of correctness as an intermediary element that mediates between the computation performed by a worker and the verification by blockchain nodes. Instead of nodes independently re-executing complex computations, they verify a cryptographic proof that attests to the correctness of the computation results. This intermediary proof mechanism maintains reliability while dramatically reducing validation time and computational overhead.
Solution Approach 2:
The patent creates a cryptographic copy or representation of the computation validity through the proof of correctness. Rather than nodes performing the actual computation themselves, they verify a condensed representation (the proof) that captures the essential validity information. This copying approach allows distributed verification without duplicating the full computational workload across all nodes.
2Adaptability or versatility
If complex smart contracts are executed on the blockchain, then the functionality and versatility are improved, but the computational overhead and power consumption increase
Solution Approach 1:
The proof of correctness acts as an intermediary that enables complex smart contract functionality without requiring all nodes to perform the computationally intensive operations. The worker performs the complex computation once and generates a proof, which then serves as evidence of correctness for all nodes. This mediator approach preserves versatility while eliminating redundant computational energy consumption.
Solution Approach 2:
The patent replaces the mechanical re-execution of computations by each node with a cryptographic verification process. Instead of nodes mechanically repeating complex calculations, they use cryptographic proofs and verification algorithms that require minimal computational resources. This substitution dramatically reduces power consumption while maintaining the ability to execute complex smart contracts.
3Ease of operation
If verification key is made accessible for proof verification, then the ease of operation is improved, but the security risk from potential alteration increases
Solution Approach 1:
The patent employs a locking script that contains a hash or cryptographic representation of the verification key rather than the key itself. Nodes verify proofs by comparing cryptographic derivations against this locked representation. This copying approach allows the verification key to be effectively distributed and accessed for verification purposes while the locking script ensures that any alteration would be detectable, thus maintaining security.
Solution Approach 2:
The locking script is prepared in advance with embedded security constraints that prevent unauthorized modification of the verification key. By pre-configuring the locking script with the correct verification key hash and verification logic, the system establishes preliminary protective measures that automatically reject any attempts to alter the key. This preliminary anti-action ensures security is maintained while the verification key remains accessible for legitimate verification operations.
Data Source
AI summary
The invention relates to distributed ledger technologies such as consensus-based blockchains. A blockchain transaction may include digital resources that are encumbered by a locking script that encodes a set of conditions that must be fulfilled before the encumbered resources may be used (e.g., transferring ownership/control of encumbered resources). A worker (e.g., a computer system) performs one or more computations to generate a proof, which is encoded as part of an unlocking script. A verification algorithm may utilize the proof, a verification key, and additional data such as a cryptographic material associated with the worker (e.g., a digital signature) to verify that digital assets of the transaction should be transferred. As a result of the validation of this transaction, any third party is able to check the contract was executed corrected rather than re-executing the contract, thus saving computational power.