Search

CN-122022996-A - General atomic asset exchange architecture capable of formalizing proving and method thereof

CN122022996ACN 122022996 ACN122022996 ACN 122022996ACN-122022996-A

Abstract

The invention discloses a universal atomic asset exchange architecture capable of formalizing proving and a method thereof, belonging to the fields of distributed account book technology, financial science and technology, security calculation, formalizing verification and computer system, comprising an formalizing standard layer which defines an atomic exchange invariant, legal asset state conversion operation and formalizing resource cost model thereof, and a trusted executor layer which is constrained by the formalizing standard layer and runs on compatible hardware, wherein the trusted executor layer comprises an optimal atomic execution path planner which is used for calculating an atomic exchange execution path which meets an asset exchange request and has the lowest cost according to the formalizing standard layer, and an atomic state submitting mechanism which is used for atomically updating all asset states related to the exchange to an invariable account book or completely rollback the execution based on an verifiable execution certificate which indicates success or failure of the execution.

Inventors

  • XU QIAO

Assignees

  • 广州市君盘实业股份有限公司

Dates

Publication Date
20260512
Application Date
20251024

Claims (10)

  1. 1. A universal atomic asset exchange architecture capable of formalizing a proof, comprising: a formalized specification layer defining atomicity exchange invariants, legal asset state transition operations, and formalized resource cost models; And a trusted executor layer whose behavior is constrained by the formal specification layer and running on compatible hardware, the trusted executor layer comprising: An optimal atomic execution path planner for computing an atomic exchange execution path satisfying the asset exchange request and having the lowest cost according to the formal specification layer, and an atomic state commit mechanism for atomically updating all asset states related to the exchange to an immutable ledger or performing full rollback based on a verifiable execution credential indicating success or failure of execution.
  2. 2. A generic atomic asset exchange architecture of formalized attestations according to claim 1, wherein the formalized specification layer further comprises formalized attestations defining equivalencies between different asset classes, and the trusted executor layer further comprises formalized interface adapters generated or verified based on the equivalencies attestations for securely mapping different asset classes to a unified internal representation for exchange processing.
  3. 3. A computing system for atomic asset exchange, comprising: A formalized proof generic atomic asset exchange architecture as defined in claim 1, and a formalized instruction set architecture hardware containing specialized instructions or atomic primitives for directly supporting atomic asset state transition operations, credential validation or security state submission defined by the formalized specification layer.
  4. 4. A universal atomic asset exchange method for formalized attestation, performed in a trusted executor constrained by formalized specifications, comprising the steps of: receiving an asset exchange request; Calculating an optimal atomic execution path satisfying the asset exchange request based on the formal specification; executing the path to generate a binary verifiable execution credential indicating success or failure of execution, and Based on the value of the binary verifiable execution credential, the exchange results are atomically committed to an immutable ledger or all state changes are rolled back through an atomic state commit mechanism.
  5. 5. The method of claim 4, wherein the step of atomically submitting the results of the exchange or rolling back all state changes comprises updating all asset state records related to the exchange in the immutable ledger in an atomic operation if the credential value is 1 and accounting for transaction costs, and ensuring that all intermediate asset state changes are completely withdrawn if the credential value is 0.
  6. 6. A universal atomic asset exchange method for formalized proof according to claim 4 wherein in the step of executing the path, different asset classes related to the exchange are securely mapped to a unified internal representation for processing using formalized interface adapters generated or validated based on asset equivalence proofs in the formalized specification.
  7. 7. The formalized provable universal atomic asset exchange method of claim 4 wherein the received asset exchange request contains a maximum cost boundary constraint and the method further comprises calculating the real-time resource cost required to execute the path and comparing the real-time cost to the maximum cost boundary before executing the path and performing subsequent commit or rollback steps only if the real-time cost is less than or equal to the maximum cost boundary.
  8. 8. A formalized proof universal atomic asset exchange method according to claim 4, wherein the generated binary verifiable execution credential is an independently verifiable mathematical proof artifact that certifies whether exchange execution was successful, obeys all exchange invariants, and completes within the requested resource boundary.
  9. 9. The atomic asset exchange method according to claim 4, wherein the immutable ledger contains a series of verifiable execution records written by the atomic state commit mechanism, each record containing formalized attestation references to respective exchange operations or atomic failure states and reasons.
  10. 10. The architecture of claim 1, the system of claim 3, or the method of claim 4, for use in constructing a universal atomic asset exchange backbone providing provable secure settlement services without trust intermediaries.

Description

General atomic asset exchange architecture capable of formalizing proving and method thereof Technical Field The invention relates to the technical fields of distributed account book technology, financial science and technology, safe calculation, formal verification and computer system, in particular to a universal atomic asset exchange architecture capable of formalizing verification and a method thereof. Background The prior art financial transaction and asset exchange system comprises a traditional stock exchange, an inter-bank payment system and various blockchain and cryptocurrency exchanges, has fundamental defects, and prevents efficient, safe and universal value exchange, and mainly comprises settlement risks caused by atomic loss, dependence and related cost and risks on trusted third parties, slip points and first-aid running risks caused by non-deterministic transaction processes, lack of formal proof of transaction effectiveness and finalization, interoperability barriers among different asset systems and ubiquitous telescopic bottlenecks. The existing exchange system not only has trust and atomicity problems, but also causes remarkable processing delay (processing latency) and throughput bottleneck (throughput bottlenecks) due to the multi-layer software stack, complex matching engine and multi-stage clearing flow, cannot meet the requirements of future high-frequency, large-scale and real-time value exchange, and forces market participants to make difficult choices among security, speed, cost and generality. Disclosure of Invention Aiming at the defects of the prior art, the invention provides a universal atomic asset exchange architecture capable of formally proving and a method thereof, and solves the problems in the background art. According to one aspect of the invention, the general atomic property exchange architecture capable of formalizing proving and the method thereof are provided, and the aim of the invention is to provide a brand-new computing architecture and the operation method thereof, wherein the formalizing mathematical specification and the physical execution thereof are subjected to strict isomorphic mapping to construct a general atomic property exchange backbone network capable of proving safety and high efficiency, and the backbone network aims at eliminating all basic risks and low efficiency links in the traditional transaction system, realizing the ideal state of value exchange, namely having absolute atomicity guarantee, mathematical provable safety, theoretical optimal efficiency and extremely high performance. The invention discloses a provable atomic exchange engine, the core technical scheme of which is based on a layered formalized specification and execution architecture: The architecture includes a formalized specification layer (level 0) defining core switching invariants, atomic operations, and resource costs, and a trusted executor layer (level 1) whose behavior is strictly constrained by the specification to run on compatible hardware. Optimal atomic swap path planning and execution the tier 1 executor includes an optimal atomic execution path planner to compute the atomic execution path (gamma geo) satisfying the swap request and having the lowest cost based on the tier 0 specification and execute the path deterministically, ensuring that the swap is completed in a theoretically most efficient manner. The generation of the execution credential may be verified in that successful completion of the execution path generates a binary, formalized proof of success credential (1), and any failure or violation of a constraint generates a failure credential (0) as a mathematical proof of the exchange result. The executor contains an integrity check point, which based on the value of the verifiable execution certificate, atomically updates all asset states related to the exchange to an immutable serialized state ledger or performs complete rollback, thus realizing indistinct instant finalization and thoroughly eliminating settlement risks. The formal interface adaptation and the universal asset interoperation are realized by the level 0 equivalence proving and the level 1 formal interface adapter, the provable mapping from different asset types (finance, physics, numbers and the like) to the unified internal representation is realized, the efficient and safe atomicity exchange of any provable asset in a unified framework is supported, and the island of the asset is broken. The universal atomic asset exchange architecture capable of formalized proving and the method thereof have the beneficial effects that: 1. thoroughly eliminating settlement risk and guaranteeing absolute atomicity Based on the binary verifiable execution certificate and the atomic state submitting mechanism, the complete or full failure of the exchange result is realized, wherein when the certificate is 1 (execution is successful), all state changes related to the asset are written into an unchang