Blockchain Locking Scripts for Tamper-Resistant Proof Verification

Resolve Bottlenecks,
Find Innovative SolutionsGenerate Solutions

Solution Overview

Problem

Existing blockchain technologies face challenges in securely transferring digital assets while allowing versatile applications beyond cryptocurrency, particularly in automating smart contracts and ensuring the integrity of zero-knowledge protocols.

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 efficient execution of zero-knowledge protocols on a blockchain by using cryptographic and mathematical techniques, specifically through elliptic curve elements and bilinear constraints.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If zero-knowledge protocols are executed on blockchain to enable versatile applications beyond cryptocurrency, then the adaptability and versatility of blockchain transactions is improved, but the computational overhead and power consumption increases

Engineering Contradiction:

Improveversatility of blockchain applicationsVSAvoidcomputational overhead and power consumption

Core Design Contradiction:

Adaptability or versatilityVSUse of energy by moving object

Solution Approach 1:

The patent extracts the computationally intensive verification process from the main blockchain validation flow by implementing a separate zero-knowledge proof verification mechanism. The verification key is secured in a locking script that can independently verify proofs without requiring full re-computation of the underlying cryptographic operations, thereby reducing overall computational overhead while maintaining versatility.

Inventive Principle:

Principle #2Taking out (Extraction)

Solution Approach 2:

The verification key is prepared and secured in advance within the locking script before the actual transaction validation occurs. This preliminary setup allows for efficient verification later without requiring complex computational operations during the critical validation phase, reducing power consumption during transaction processing.

Inventive Principle:

Principle #10Preliminary action

2Reliability

If locking script is used to secure verification key from alteration, then the reliability and security of digital asset transfers is improved, but the device complexity increases

Engineering Contradiction:

Improveintegrity of verification keyVSAvoidcomplexity of locking script mechanism

Core Design Contradiction:

ReliabilityVSDevice complexity

Solution Approach 1:

The locking script acts as an intermediary mechanism that securely holds the verification key without requiring direct manipulation or storage of the key in multiple locations. This intermediary structure simplifies the overall system architecture by centralizing key management in a single, tamper-resistant location that can be verified without exposing the key itself.

Inventive Principle:

Principle #24Intermediary (Mediator)

Solution Approach 2:

Instead of storing and transmitting the actual verification key multiple times, the patent uses cryptographic hashing to create a compact representation (lock script) that can be copied and verified efficiently. The locking script contains only the necessary verification data in a compressed form, reducing complexity while maintaining security.

Inventive Principle:

Principle #26Copying

3Strength

If cryptographic and mathematical techniques are utilized to enforce security in electronic transfers, then the strength and security of the system is improved, but the computational overhead increases

Engineering Contradiction:

Improvesecurity of electronic transfersVSAvoidcomputational power required

Core Design Contradiction:

StrengthVSPower

Solution Approach 1:

The patent changes the cryptographic parameters by using elliptic curve cryptography with optimized curve selection and parameter tuning. This allows for maintaining strong security properties while reducing the computational complexity of the cryptographic operations, thereby lowering power consumption during verification processes.

Inventive Principle:

Principle #35Parameter changes

Data Source

PatentUS12407693B2System for securing verification key from alteration and verifying validity of a proof of correctness

Publication Date: 2025.09.02 NCHAIN LICENSING AG

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.