Hệ thống hội tụ ngưỡng: Cấu trúc toán học chung chi phối việc sửa lỗi lượng tử và sự đồng thuận của Oracle đối với việc xác minh và thế chấp tài sản vật chất theo Basel IV

Một đặc điểm chính thức của các hệ thống phân tán trong đó việc mở rộng quy mô xuống dưới ngưỡng lỗi tới hạn tạo ra sự cải thiện độ tin cậy theo cấp số mũ, với các ứng dụng cho việc thế chấp tài sản vật lý được mã hóa theo Basel SCO60

Tác giả
Abel Gutu — Nhà sáng lập kiêm CEO của LedgerWell Corporation. Nhà thiết kế và kiến trúc sư của Giao thức CVR.
Robert Stillwell — Đồng sáng lập & Giám đốc công nghệ (CTO), LedgerWell Corporation. / Giám đốc điều hành (CEO), DaedArch Corporation. Người xây dựng cơ sở hạ tầng kỹ thuật giao thức CVR.

Ngày
Tháng 3 năm 2026

Xây dựng dựa trên
ethresear.ch/t/23577 · ethresear.ch/t/23609 · Tài liệu MCMC Basel SCO60 (tháng 3 năm 2026) ethresear.ch/t/24442

Từ khóa
Hội tụ ngưỡng · Sửa lỗi lượng tử · Đồng thuận oracle · Chuyển pha · Basel SCO60 · MCMC · Mã bề mặt · Mô hình Ising liên kết ngẫu nhiên · Giao thức CVR · Xác minh phân tán

Tóm tắt

Bài báo này xác định và mô tả một cách chính thức một lớp hệ thống thông tin phân tán — mà chúng tôi gọi là hệ thống hội tụ ngưỡng — trong đó các thành phần tham gia riêng lẻ không đáng tin cậy, nhưng tồn tại một ngưỡng tới hạn có thể xác định được bằng toán học, sao cho khi tỷ lệ lỗi của các thành phần tham gia giảm xuống dưới ngưỡng này, việc thêm nhiều thành phần tham gia hơn sẽ tạo ra sự cải thiện theo cấp số mũ về độ tin cậy ở cấp độ hệ thống. Trên ngưỡng này, quy mô khuếch đại nhiễu. Dưới ngưỡng này, quy mô triệt tiêu nhiễu theo cấp số mũ. Chúng tôi thiết lập bốn thuộc tính tiên đề xác định lớp này: tính không đáng tin cậy của các thành phần, sự tồn tại của ngưỡng như một ranh giới pha, khả năng kết hợp nổi bật của các đầu ra đáng tin cậy từ các đầu vào không đáng tin cậy, và khả năng chống lại các tác nhân gây hại đến các phân số được giới hạn về mặt hình thức.

Chúng tôi chứng minh rằng hiện tượng ngưỡng này chi phối hai hệ thống được phát triển độc lập hoạt động trong các lĩnh vực vật lý hoàn toàn khác nhau: sửa lỗi lượng tử, như đã được chứng minh bởi bộ xử lý Willow của Google Quantum AI đạt được hiệu suất mã bề mặt dưới ngưỡng vào tháng 12 năm 2024, và sự đồng thuận của oracle để xác minh tài sản vật lý, như được triển khai trong sự kết hợp Bayes có trọng số uy tín của Giao thức CVR với các đảm bảo hội tụ Markov Chain Monte Carlo. Chúng tôi suy ra ánh xạ cấu trúc chính thức giữa hai hệ thống này, thiết lập rằng hệ số triệt tiêu lỗi Λ trong mã bề mặt lượng tử tương ứng với tỷ lệ thu hẹp khoảng tin cậy hậu nghiệm trong mạng oracle hội tụ MCMC, rằng tỷ lệ khoảng cách mã qubit tương ứng với tỷ lệ mạng oracle, và rằng ngưỡng lỗi mã bề mặt tương ứng với ngưỡng sai lệch oracle. Chúng tôi tiếp tục kết nối cấu trúc chuyển pha với ánh xạ mô hình Ising liên kết ngẫu nhiên 2D được thiết lập bởi Dennis et al. cho việc sửa lỗi lượng tử, và chỉ ra rằng sự chuyển đổi chế độ ergodic MCMC trong sự đồng thuận của oracle được chi phối bởi cùng một lớp định lý toán học về thời điểm các quá trình ngẫu nhiên, nhiễu loạn, phân tán tạo ra đầu ra tập thể đáng tin cậy.

Tiếp theo, chúng tôi chứng minh rằng cấu trúc toán học chung này có ý nghĩa pháp lý trực tiếp: đặc tính hội tụ ngưỡng của mạng lưới oracle của Giao thức CVR chính là cơ chế đáp ứng yêu cầu phân loại "trên cơ sở liên tục" SCO60 của Ủy ban Basel về Giám sát Ngân hàng đối với tài sản vật lý được mã hóa Nhóm 1a. Mức chiết khấu xác minh động được suy ra từ khoảng tin cậy hậu nghiệm MCMC cung cấp sự giảm nhẹ vốn được cập nhật liên tục có thể tính toán được từ toán học hội tụ ngưỡng, và khuôn khổ này cho phép một phân loại quy định ba lớp có nguyên tắc, phân biệt xác minh hội tụ ngưỡng với giám sát liên tục không hội tụ và kiểm toán định kỳ. Ánh xạ này vừa là một tuyên bố phân loại — cả hai hệ thống đều thuộc cùng một lớp toán học chính thức — vừa là một tuyên bố dự đoán: hệ số triệt tiêu của hệ thống oracle, một khi được đo lường thực nghiệm, sẽ thể hiện các đặc tính cải thiện theo cấp số mũ tương tự như hệ thống lượng tử đã chứng minh trên phần cứng.

1. Giới thiệu: Hiện tượng ngưỡng trong hệ thống phân tán

Vào tháng 12 năm 2024, Google Quantum AI đã công bố kết quả trên tạp chí Nature chứng minh rằng bộ xử lý Willow 105 qubit của họ đã đạt được khả năng sửa lỗi lượng tử dưới ngưỡng bằng cách sử dụng mã bề mặt [1]. Kết quả này mang tính lịch sử: trong gần ba mươi năm kể từ khi Peter Shor giới thiệu phương pháp sửa lỗi lượng tử vào năm 1995, lĩnh vực này đã đưa ra giả thuyết rằng nếu tỷ lệ lỗi của qubit vật lý có thể được đẩy xuống dưới ngưỡng tới hạn, việc thêm nhiều qubit vào một qubit logic sẽ làm giảm lỗi theo cấp số mũ thay vì khuếch đại chúng. Mọi nỗ lực trước đó đều thất bại trong việc vượt qua ranh giới này ở quy mô lớn. Willow đã vượt qua nó, chứng minh hệ số giảm lỗi là Λ = 2,14 ± 0,02 khi tăng khoảng cách mã từ năm lên bảy — nghĩa là mỗi bước tăng quy mô làm giảm một nửa tỷ lệ lỗi logic. Tuổi thọ của qubit logic vượt quá tuổi thọ của qubit vật lý tốt nhất của nó với hệ số 2,4 ± 0,3 — một minh chứng không thể làm giả rằng việc sửa lỗi đang cải thiện toàn bộ hệ thống.

Bài báo này đưa ra một tuyên bố cụ thể: cấu trúc toán học giúp kết quả của Google hoạt động không phải là duy nhất đối với việc sửa lỗi lượng tử. Nó là một trường hợp của hiện tượng tổng quát chi phối một lớp hệ thống phân tán có thể được mô tả chính thức. Chúng tôi xác định và định nghĩa lớp này — hệ thống hội tụ ngưỡng — và chứng minh rằng kiến trúc đồng thuận oracle của Giao thức CVR, có nền tảng toán học được thiết lập trong [2], [3] và [4], là một thể hiện độc lập thứ hai của cùng một thuộc tính cấu trúc hoạt động trong một miền vật lý khác.

Luận điểm này không mang tính tương tự. Chúng tôi không khẳng định rằng cơ chế đồng thuận của oracle trong Giao thức CVR "giống" với cơ chế sửa lỗi lượng tử theo một nghĩa lỏng lẻo nào đó. Chúng tôi đang chứng minh rằng cả hai hệ thống đều đáp ứng một tập hợp các điều kiện toán học chính thức chung tạo ra cùng một hành vi định tính: một sự chuyển pha trong mối quan hệ giữa quy mô và độ tin cậy, được chi phối bởi một ngưỡng tới hạn, dưới ngưỡng đó sự cải thiện theo cấp số nhân được đảm bảo về mặt toán học. Ý nghĩa đối với việc thế chấp tài sản vật lý được mã hóa theo Basel IV là trực tiếp: nếu thuộc tính hội tụ ngưỡng có thể được chứng minh đối với một mạng lưới oracle giám sát tài sản vật lý, thì yêu cầu xác minh "trên cơ sở liên tục" của SCO60 được đáp ứng không phải bằng khẳng định hoạt động mà bằng chứng cứ toán học.

2. Hệ thống hội tụ ngưỡng: Định nghĩa tiên đề

Chúng tôi định nghĩa một hệ thống hội tụ ngưỡng là một hệ thống thông tin phân tán thỏa mãn đồng thời bốn thuộc tính tiên đề sau. Khung lý thuyết này được xây dựng một cách tổng quát: bất kỳ hệ thống nào thỏa mãn cả bốn thuộc tính đều thuộc lớp này, bất kể miền vật lý nào.

2.1 Thuộc tính 1: Độ không đáng tin cậy của thành phần (Định lý nhiễu)

Hệ thống bao gồm n thành phần riêng lẻ, mỗi thành phần tạo ra các quan sát hoặc tính toán với tỷ lệ lỗi riêng εᵢ. Không có thành phần riêng lẻ nào hoàn toàn đáng tin cậy. Đây là điều kiện mạnh hơn so với các mô hình chịu lỗi cổ điển thường giả định hành vi hoàn hảo từ các thành phần không bị lỗi — trong một hệ thống hội tụ ngưỡng, tất cả các thành phần đều nhiễu, và câu hỏi đặt ra là liệu tập thể có thể trích xuất đầu ra đáng tin cậy từ các đầu vào không đáng tin cậy trên toàn hệ thống hay không. Trong sửa lỗi lượng tử, các thành phần là các qubit vật lý với tỷ lệ lỗi cổng phát sinh từ nhiễu nhiệt, tia vũ trụ và khuyết tật vật liệu. Trong cơ chế đồng thuận oracle, các thành phần là các nút oracle với cấu hình sai lệch phát sinh từ sự trôi dạt của cảm biến, độ trễ truyền thông và các động cơ báo cáo sai lệch về kinh tế tiềm tàng. Cả hai hệ thống đều bắt đầu từ tiền đề rằng tất cả các đầu vào đều vốn dĩ nhiễu.

2.2 Thuộc tính 2: Sự tồn tại ngưỡng (Ranh giới pha)

Tồn tại một ngưỡng tới hạn ε* sao cho mối quan hệ giữa số lượng thành phần n và tỷ lệ lỗi tập thể E(n) trải qua một sự thay đổi về chất lượng tại ε*:

Đối với εᵢ > ε* : ∂E/∂n > 0 — việc thêm các thành phần làm tăng sai số tổng thể
Đối với εᵢ < ε* : E(n) ~ Λ⁻ⁿ — việc thêm các thành phần làm giảm sai số tổng thể theo cấp số mũ

Đây là một quá trình chuyển pha theo nghĩa cơ học thống kê: một quá trình chuyển đổi trật tự-mất trật tự, trong đó hành vi định tính của hệ thống thay đổi về cơ bản tại một điểm tới hạn. Ngưỡng này không phải là một tham số điều chỉnh hay một lựa chọn thiết kế — nó là một thuộc tính nổi bật của cấu trúc toán học của hệ thống. Trong sửa lỗi lượng tử, Dennis et al. [5] đã chứng minh rằng ngưỡng mã bề mặt ánh xạ chính xác đến quá trình chuyển pha của mô hình Ising liên kết ngẫu nhiên hai chiều: dưới tỷ lệ lỗi tới hạn, hệ thống ở trong một pha có trật tự, nơi các lỗi được cô lập và có thể sửa chữa; trên mức đó, hệ thống chuyển sang pha mất trật tự, nơi các lỗi lan rộng nhanh hơn khả năng sửa chữa có thể ngăn chặn chúng. Trong sự đồng thuận của oracle, quá trình chuyển đổi tương tự xảy ra ở ranh giới giữa chế độ chuyển tiếp — nơi các chuỗi MCMC chưa được trộn lẫn và hậu nghiệm bị mắc kẹt trong các chế độ cục bộ — và chế độ ergodic, nơi các chuỗi đã hội tụ và hậu nghiệm ước tính đáng tin cậy trạng thái vật lý thực sự.

Mối liên hệ này không phải là ngẫu nhiên. Bằng chứng của Dennis và cộng sự thiết lập sự tương đương về mặt hình thức giữa việc sửa lỗi lượng tử trên lưới 2D và hàm phân vùng của một mô hình cơ học thống kê cổ điển. Sự đảm bảo hội tụ của MCMC dựa trên cùng một cơ chế toán học — lý thuyết ergodic và sự hội tụ của chuỗi Markov đến các phân bố dừng. Cả hai hệ thống đều tuân theo cùng một lớp định lý về thời điểm các quá trình ngẫu nhiên, nhiễu loạn, phân tán tạo ra các kết quả tập thể đáng tin cậy.

2.3 Thuộc tính 3: Khả năng kết hợp (Độ tin cậy phát sinh)

Nhiều thành phần không đáng tin cậy kết hợp thành một đơn vị logic duy nhất có độ tin cậy vượt quá bất kỳ thành phần nào. Đơn vị logic kế thừa khả năng triệt tiêu lỗi theo cấp số mũ của chế độ dưới ngưỡng. Trong sửa lỗi lượng tử, các qubit vật lý kết hợp thành các qubit logic có tuổi thọ vượt quá thời gian kết hợp của bất kỳ qubit vật lý nào — Google đã chứng minh điều này trên Willow với hệ số 2,4 ± 0,3 [1]. Trong sự đồng thuận của oracle, các kết quả đọc oracle riêng lẻ kết hợp thành một hậu nghiệm đồng thuận có độ bất định nhỏ hơn bất kỳ kết quả đọc oracle riêng lẻ nào. Cơ chế kết hợp khác nhau — kiểm tra chẵn lẻ mã bề mặt so với hợp nhất Bayes có trọng số danh tiếng — nhưng thuộc tính nổi bật về mặt cấu trúc là giống hệt nhau: toàn bộ đáng tin cậy hơn bất kỳ phần nào.

2.4 Thuộc tính 4: Khả năng chống lại các cuộc tấn công đối nghịch (Tính bền vững kiểu Byzantine)

Tính chất ngưỡng vẫn đúng đối với cả nhiễu ngẫu nhiên và sự phá hoại của kẻ thù, cho đến các phân số được giới hạn chính thức. Trong sửa lỗi lượng tử, mã bề mặt sửa chữa tối đa ⌊(d-1)/2⌋ lỗi tùy ý mỗi vòng, cho dù là ngẫu nhiên hay độc hại. Trong cơ chế đồng thuận oracle, khả năng chịu lỗi Byzantine (n ≥ 3f+1) đảm bảo sự đồng thuận chính xác với f nút đối thủ, được củng cố bởi ngưỡng cắt giảm 3-sigma khiến cho các cuộc tấn công kéo dài trở nên không khả thi về mặt kinh tế. Một điểm khác biệt cấu trúc quan trọng trong mô hình đối thủ là sự mất tính kết hợp lượng tử là ngẫu nhiên và phi chiến lược — môi trường không tối ưu hóa sự can thiệp của nó — trong khi các đối thủ mạng oracle lại hợp lý về mặt kinh tế và có chiến lược, tối ưu hóa các lần gửi sai để tối đa hóa lợi nhuận đồng thời giảm thiểu khả năng bị phát hiện. Cơ chế cắt giảm của Giao thức CVR là phản ứng lý thuyết trò chơi: nó làm cho hành vi đối thủ trở nên phi lý về mặt kinh tế dưới giới hạn chịu lỗi. Sự khác biệt này trong mô hình đối thủ không làm thay đổi tính chất hội tụ ngưỡng; Trong cả hai trường hợp, hệ thống đều dung thứ cho hành vi đối kháng dưới một ngưỡng nhất định và sẽ thất bại khi vượt quá ngưỡng đó.

Định nghĩa: Hệ thống hội tụ ngưỡng là một hệ thống thông tin phân tán thỏa mãn đồng thời các Thuộc tính 1 đến 4. Ngưỡng tới hạn ε* và hệ số triệt tiêu Λ là hai tham số đặc trưng của bất kỳ hệ thống nào như vậy. Việc một hệ thống thuộc lớp này vừa là một khẳng định phân loại vừa là một khẳng định dự đoán: bất kỳ hệ thống nào thỏa mãn cả bốn thuộc tính sẽ thể hiện sự cải thiện độ tin cậy theo cấp số mũ khi hoạt động dưới ngưỡng của nó.

3. Sửa lỗi lượng tử như một hệ thống hội tụ ngưỡng

3.1 Kiến trúc mã bề mặt

Mã bề mặt sắp xếp các qubit vật lý trong một mạng lưới hai chiều. Các qubit dữ liệu lưu trữ thông tin lượng tử. Các qubit phụ trợ đo lường các hội chứng lỗi mà không làm sụp đổ trạng thái được mã hóa. Khoảng cách mã d xác định số lỗi mà mã có thể sửa chữa: một mã bề mặt có khoảng cách d có thể sửa chữa tối đa ⌊(d-1)/2⌋ lỗi. Số lượng qubit vật lý tỷ lệ thuận với d², làm cho mã bề mặt trở thành một hệ thống mà việc thêm các thành phần tham gia là cơ chế để cải thiện độ tin cậy tổng hợp.

3.2 Định lý ngưỡng và mối liên hệ với mô hình Ising

Định lý ngưỡng về sửa lỗi lượng tử phát biểu rằng nếu tỷ lệ lỗi vật lý p nhỏ hơn ngưỡng tới hạn pₜₕ, thì tỷ lệ lỗi logic pᴸ sẽ giảm theo cấp số mũ theo khoảng cách mã:

pᴸ ~ (p / pₜₕ)^(⌊d/2⌋) cho p < pₜₕ

Hệ số triệt tiêu Λ = pₜₕ / p đặc trưng cho mức độ hoạt động của hệ thống dưới ngưỡng: càng dưới ngưỡng thì tốc độ triệt tiêu theo cấp số mũ càng nhanh. Willow của Google đã chứng minh Λ = 2,14 ± 0,02 bằng cách sử dụng mã bề mặt ở khoảng cách 3, 5 và 7, với mã 101 qubit ở khoảng cách 7 đạt được lỗi 0,143% ± 0,003% mỗi chu kỳ [1].

Độ sâu chính thức của ngưỡng mã bề mặt được thiết lập bởi Dennis et al. [5], những người đã chứng minh rằng nó ánh xạ chính xác đến quá trình chuyển pha của mô hình Ising liên kết ngẫu nhiên hai chiều. Trong ánh xạ này, lỗi qubit tương ứng với sự rối loạn liên kết trong mạng lưới, khoảng cách mã tương ứng với kích thước hệ thống và quá trình sửa lỗi tương ứng với việc tìm trạng thái cơ bản của hệ thống spin rối loạn. Tỷ lệ lỗi tới hạn pₜₕ tương ứng với điểm tới hạn Nishimori của mô hình Ising liên kết ngẫu nhiên — một ranh giới pha được đặc trưng chính xác với lớp phổ quát đã biết. Ánh xạ này thiết lập rằng ngưỡng mã bề mặt không chỉ đơn thuần là một quan sát kỹ thuật mà là một quá trình chuyển pha cơ bản được chi phối bởi cùng một toán học mô tả các quá trình chuyển đổi trật tự-rối loạn trong cơ học thống kê cổ điển.

3.3 Ánh xạ tới bốn thuộc tính

4. Hệ thống đồng thuận Oracle của giao thức CVR như một hệ thống hội tụ ngưỡng

4.1 Mạng Oracle như một mô hình Markov ẩn

Mạng lưới oracle của Giao thức CVR, như được chỉ định trong [2] và [3], hoạt động như một Mô hình Markov ẩn trên các trạng thái vật lý liên tục của tài sản trong thế giới thực. Các nút oracle gửi các quan sát về trạng thái vật lý tiềm ẩn Sₜ. Mỗi oracle có điểm uy tín động R(i,t) được tính toán từ độ chính xác lịch sử, thời gian hoạt động, cổ phần và lịch sử tranh chấp. Xác suất phát ra — khả năng đọc của oracle dựa trên trạng thái vật lý thực — là một phân phối Gaussian với phương sai tỷ lệ nghịch với uy tín:

P(Oₜ | Sₜ) = ∏ 𝓝( o⁽ⁱ⁾ₜ ; Sₜ , σ²ᵢ / R(i,t) )

Thuật toán Metropolis-Hastings được áp dụng cho phân bố hậu nghiệm chung về trạng thái vật lý và uy tín của oracle tạo ra một chuỗi Markov có phân bố trạng thái ổn định chính là phân bố hậu nghiệm mục tiêu. Định lý ergodic đảm bảo sự hội tụ: khi số vòng đồng thuận tăng lên, giá trị trung bình mẫu của bất kỳ hàm nào của trạng thái sẽ hội tụ về kỳ vọng hậu nghiệm thực sự của nó với độ bất định được định lượng.

4.2 Bề mặt ngưỡng đa chiều

Giao thức CVR triển khai nhiều ngưỡng, cùng nhau định nghĩa một bề mặt ngưỡng đa chiều phân tách chế độ hội tụ khỏi chế độ không hội tụ. Ngưỡng cắt giảm 3-sigma từ chối các bản gửi oracle có độ lệch so với sự đồng thuận hậu nghiệm vượt quá ba độ lệch chuẩn — tương ứng với xác suất hậu nghiệm nhỏ hơn 0,0027 trong trường hợp báo cáo trung thực. Chẩn đoán R-hat Gelman-Rubin yêu cầu R-hat < 1,05 trên các chuỗi MCMC song song trước khi bất kỳ vòng đồng thuận nào được cam kết như một bản ghi bằng chứng đã được xác minh. Cảnh báo độ lệch 300 điểm cơ bản kích hoạt sự can thiệp của con người khi sự phân kỳ nguồn vượt quá ranh giới xử lý tự động. Yêu cầu khả năng chịu lỗi Byzantine yêu cầu n ≥ 3f+1 nút trung thực.

Đây không phải là các ngưỡng độc lập. Chúng tạo thành một bề mặt ngưỡng đa chiều trong không gian tham số của hoạt động mạng lưới oracle. Bên dưới bề mặt này — khi tỷ lệ sai lệch của từng oracle nằm trong giới hạn 3-sigma, khi các chẩn đoán hội tụ được thỏa mãn, khi sự phù hợp của nguồn nằm trong phạm vi 300 điểm cơ sở, và khi tỷ lệ trung thực so với đối thủ vượt quá giới hạn Byzantine — hệ thống ở trong chế độ ergodic và thể hiện đặc tính triệt tiêu theo hàm mũ. Bên trên bề mặt, hệ thống ở trong chế độ chuyển tiếp: các chuỗi MCMC chưa được trộn lẫn, phân bố hậu nghiệm chưa hội tụ, và việc thêm các nút oracle không cải thiện độ tin cậy. Đây là sự tương tự trực tiếp của quá trình chuyển pha trong mô hình Ising: bên dưới điểm tới hạn Nishimori, các lỗi có thể được sửa chữa và hệ thống có trật tự; bên trên điểm này, hệ thống bị mất trật tự.

4.3 Hiện tượng thu hẹp hậu nghiệm theo cấp số mũ dưới ngưỡng

Kết quả toán học quan trọng: bên dưới bề mặt ngưỡng đa chiều, việc thêm các nút oracle vào mạng đồng thuận sẽ thu hẹp khoảng tin cậy hậu nghiệm về trạng thái vật lý thực sự với tốc độ được chi phối bởi thông tin Fisher có trọng số uy tín. Đối với n nút oracle, mỗi nút hoạt động dưới ngưỡng sai lệch với uy tín R(i,t), độ rộng của khoảng tin cậy hậu nghiệm 95% tỷ lệ thuận với:

CI_width(n) ~ 1 / √( ∑ R(i,t) / σ²ᵢ )

Khi các nút được thêm vào, độ chính xác hiệu quả của quan sát tổng hợp tăng lên và khoảng tin cậy thu hẹp lại. Tốc độ thu hẹp được chi phối bởi tổng trọng số uy tín, khuếch đại đóng góp của các nút có uy tín cao và triệt tiêu các nút có uy tín thấp. Khi mạng hoạt động dưới ngưỡng — tất cả các nút nằm trong phạm vi 3-sigma, R-hat < 1,05 — quá trình thu hẹp này diễn ra với tốc độ được đặc trưng bởi hệ số triệt tiêu oracle Λ_oracle, tương tự như hệ số triệt tiêu lỗi Λ trong mã bề mặt.

Quy luật tỷ lệ thông tin Fisher tạo ra cầu nối giữa tốc độ hội tụ √n cổ điển của các quan sát độc lập và sự triệt tiêu theo cấp số mũ đặc trưng của các hệ thống hội tụ ngưỡng. Trong chế độ dưới ngưỡng, trọng số uy tín tập trung thông tin hiệu quả vào các nút chất lượng cao trong khi dần dần loại bỏ các nút chất lượng thấp thông qua việc cắt giảm. Số lượng oracle hiệu quả n_eff — đóng góp có trọng số uy tín vào thông tin Fisher — tăng nhanh hơn số lượng nút thô khi mạng ở dưới ngưỡng, bởi vì phần thưởng uy tín được cộng dồn cho các nút luôn chính xác. Sự tăng tốc này là cơ chế tạo ra hành vi hội tụ ngưỡng trong mạng oracle.

4.4 Ánh xạ tới bốn thuộc tính

5. Sự đồng cấu cấu trúc

Bảng sau đây trình bày sự tương ứng về mặt hình thức giữa hai hệ thống. Đây là những sự tương đồng về cấu trúc: mỗi phần tử trong cột lượng tử đóng vai trò toán học giống nhau trong việc sửa lỗi lượng tử như phần tử tương ứng trong cột tiên tri đóng vai trò trong sự đồng thuận của tiên tri.

5.1 Mối liên hệ lý thuyết thông tin

Ở cấp độ lý thuyết thông tin, cả hai hệ thống đều thực hiện cùng một thao tác cơ bản: chúng trích xuất một tín hiệu đáng tin cậy từ một tập hợp các quan sát không đáng tin cậy bằng cách khai thác tính dư thừa có cấu trúc. Trong sửa lỗi lượng tử, tính dư thừa là không gian — nhiều qubit vật lý mã hóa một qubit logic duy nhất. Trong đồng thuận oracle, tính dư thừa vừa là không gian (nhiều nút oracle quan sát cùng một trạng thái vật lý) vừa là thời gian (nhiều vòng đồng thuận quan sát cùng một trạng thái đang phát triển). Mã bề mặt sử dụng các phép đo kiểm tra chẵn lẻ để phát hiện lỗi mà không làm sụp đổ trạng thái được mã hóa. Thuật toán MCMC sử dụng tỷ lệ chấp nhận Metropolis-Hastings để trọng số các quan sát theo tính nhất quán của chúng với phân bố hậu nghiệm, mà không yêu cầu quan sát trực tiếp trạng thái vật lý thực sự. Cả hai cơ chế đều đạt được cùng một hiệu ứng toán học: chúng tập trung khối lượng xác suất vào trạng thái chính xác trong khi phân tán nó khỏi các trạng thái sai, với hiệu quả theo cấp số mũ dưới ngưỡng tới hạn.

5.2 Cái nhìn sâu sắc quan trọng: Trạng thái ngưỡng, không phải số lượng nút

Sự tương đồng về cấu trúc tạo ra một hiểu biết quan trọng về hoạt động, có ý nghĩa trực tiếp đối với quy định và kỹ thuật: ngưỡng là yếu tố quyết định độ tin cậy của quá trình xác minh, chứ không phải số lượng người tham gia đơn thuần. Một mạng lưới gồm 20 nút oracle hoạt động trên ngưỡng hội tụ (R-hat > 1,05) cung cấp độ tin cậy xác minh thấp hơn so với một mạng lưới gồm 7 nút oracle hoạt động dưới ngưỡng (R-hat < 1,05), bởi vì phân bố hậu nghiệm của mạng lưới trên ngưỡng không hội tụ bất kể có bao nhiêu nút đóng góp. Điều này hoàn toàn phù hợp với trường hợp lượng tử: bộ xử lý Sycamore trước đây của Google có các qubit dành cho mã bề mặt nhưng hoạt động trên ngưỡng, tạo ra tỷ lệ lỗi logic ngày càng tệ hơn theo khoảng cách mã. Willow, với các qubit có độ chính xác cao hơn, đã hoạt động dưới ngưỡng và ngay lập tức chứng minh khả năng giảm lỗi theo cấp số mũ. Câu hỏi quan trọng không phải là 'có bao nhiêu?' mà là 'bạn có hoạt động dưới ngưỡng không?' Hiểu biết này cũng áp dụng tương tự cho các yêu cầu giám sát của Khung Chứng nhận Loại bỏ Carbon của EU (CRCF) — điều kiện ngưỡng, chứ không phải tần suất giám sát, quyết định độ tin cậy của quá trình xác minh.

6. Ý nghĩa đối với việc thế chấp theo Basel IV

6.1 Định nghĩa lại "Trên cơ sở liên tục" như một điều kiện ngưỡng

Basel SCO60 yêu cầu các ngân hàng đánh giá các điều kiện phân loại Nhóm 1a trên cơ sở 'liên tục' [6]. Các diễn giải trước đây coi đây là một yêu cầu quản trị — kiểm toán định kỳ, đánh giá của ủy ban, lịch trình chứng thực. Khung hội tụ ngưỡng chứng minh rằng 'trên cơ sở liên tục' có một định nghĩa toán học: hoạt động liên tục dưới ngưỡng của mạng xác minh hội tụ ngưỡng. Nếu mạng oracle của Giao thức CVR đang hoạt động dưới bề mặt ngưỡng đa chiều của nó — R-hat < 1,05 được duy trì, độ lệch riêng lẻ trong vòng 3-sigma, thỏa thuận nguồn trong vòng 300 điểm cơ bản, dung sai Byzantine được đáp ứng — thì thuộc tính triệt tiêu theo cấp số mũ đảm bảo rằng khoảng tin cậy hậu nghiệm về trạng thái tài sản vật lý sẽ thu hẹp lại sau mỗi vòng đồng thuận bổ sung. Yêu cầu 'trên cơ sở liên tục' được đáp ứng không phải bằng cách xác minh lại định kỳ mà bằng hoạt động liên tục của một hệ thống có sự hội tụ toán học có thể chứng minh được từ định lý ergodic.

6.2 Chiết khấu xác minh động như một đầu ra hội tụ ngưỡng

Chiết khấu xác minh động Dᵥₑᵣ(t) được giới thiệu trong [4] về mặt hình thức là một hàm của tính chất hội tụ ngưỡng. Tỷ lệ bất định hậu nghiệm PURₜ = (Uₜ − Lₜ) / V đo lường độ rộng khoảng tin cậy hậu nghiệm so với giá trị tài sản danh nghĩa. Chiết khấu xác minh Dᵥₑᵣ(t) = Dₘₐₓ × (1 − PURₜ / PURₘₐₓ) là một hàm giảm dần của PURₜ. Công thức trọng số rủi ro đầy đủ:

RWAᶜᵛᴿ(t) = Mức độ tiếp xúc × Trọng số rủi ro × (1 − Dₘₐₓ × (1 − PURₜ / PURₘₐₓ))

Trong khuôn khổ hội tụ ngưỡng, PURₜ không phải là một hàm tùy ý của chất lượng dữ liệu oracle mà là một đại lượng có tốc độ cải thiện được đảm bảo bởi cùng một lớp định lý toán học chi phối việc sửa lỗi lượng tử. Trong mạng oracle hội tụ ngưỡng, PURₜ giảm theo số lượng oracle hiệu quả n_eff và số vòng đồng thuận với tốc độ được đặc trưng bởi Λ_oracle, với điều kiện mạng hoạt động dưới ngưỡng. Do đó, chiết khấu xác minh là một kết quả toán học của hệ thống hội tụ ngưỡng, có thể kiểm toán bằng cùng các phương pháp chính thức mà các nhà nghiên cứu điện toán lượng tử sử dụng để đặc trưng hóa mã sửa lỗi của họ. Việc giảm vốn dành cho các nhà đầu tư tổ chức nắm giữ tài sản vật lý được mã hóa là một hệ quả trực tiếp, có thể tính toán được của các đặc tính hội tụ ngưỡng của mạng oracle — chứ không phải là một cuộc đàm phán quy định.

6.3 Phân loại quy định ba cấp

Khuôn khổ này cho phép các cơ quan giám sát phân biệt ba loại xác minh với các tiêu chí khách quan, có thể kiểm toán được:

Hệ thống phân loại này cung cấp cơ sở khách quan, có thể kiểm toán được để phân biệt các tài sản được xác minh liên tục với các tài sản được kiểm toán định kỳ — một sự phân biệt vốn khó đạt được trong các khuôn khổ pháp lý trước đây. Câu hỏi quan trọng đối với cơ quan giám sát của ngân hàng không phải là "có bao nhiêu oracle xác minh tài sản này?" hay "tài sản này được kiểm toán bao nhiêu lần?" mà là "mạng lưới oracle có đang hoạt động dưới ngưỡng hội tụ hay không, và hệ số triệt tiêu được đo lường là bao nhiêu?"

6.4 Khả năng kiểm toán theo quy định

Khung hội tụ ngưỡng cung cấp cho các cơ quan quản lý các chỉ số có thể kiểm toán và định lượng để đánh giá chất lượng xác minh. Nhân viên tuân thủ của ngân hàng có thể được cung cấp: chẩn đoán R-hat xác nhận hoạt động dưới ngưỡng, hệ số triệt tiêu Λ_oracle chứng minh sự giảm dần của độ bất định hậu nghiệm theo quy mô mạng, độ rộng khoảng tin cậy hậu nghiệm tại vòng đồng thuận hiện tại, và PUR cùng mức chiết khấu xác minh thu được. Đây là các kết quả toán học của chuỗi MCMC, chứ không phải là các khẳng định quản trị. Chúng có thể được kiểm toán bởi bất kỳ bên nào có quyền truy cập vào các bản ghi bằng chứng trên chuỗi. Cùng một lý luận toán học cho phép nhà nghiên cứu điện toán lượng tử xác minh rằng Willow đang hoạt động dưới ngưỡng mã bề mặt, cho phép nhân viên tuân thủ Basel xác minh rằng mạng oracle của Giao thức CVR đang hoạt động dưới ngưỡng hội tụ của nó.

7. Sự khác biệt, tính bất đối xứng và những hạn chế

Việc lập bản đồ cấu trúc là chính xác nhưng không hoàn toàn. Sự trung thực về mặt trí tuệ đòi hỏi phải thừa nhận một số điểm khác biệt quan trọng để tránh việc phóng đại sự tương ứng về mặt hình thức.

7.1 Ngưỡng chẩn đoán nghiêm ngặt so với ngưỡng chẩn đoán thông thường

Ngưỡng sửa lỗi lượng tử là một giới hạn toán học được chứng minh chặt chẽ với giá trị số chính xác cho mỗi họ mã, được thiết lập thông qua ánh xạ Dennis et al. tới mô hình Ising liên kết ngẫu nhiên [5]. Ngưỡng hội tụ oracle — R-hat < 1,05 — là một chẩn đoán thực tế với sự hỗ trợ thực nghiệm mạnh mẽ và cơ sở lý thuyết trong lý thuyết hội tụ MCMC [7], nhưng nó không phải là một ranh giới pha sắc nét được chứng minh theo cùng một nghĩa hình thức. Sự bất đối xứng này là có thật và không giảm đi khi khẳng định. Do đó, ánh xạ vừa là một tuyên bố phân loại — cả hai hệ thống đều thỏa mãn bốn thuộc tính tiên đề — vừa là một tuyên bố dự đoán: ngưỡng của hệ thống oracle, một khi được mô tả chính thức thông qua dữ liệu triển khai sản xuất và có thể thông qua ánh xạ tới một mô hình cơ học thống kê tương tự như Dennis et al., sẽ thể hiện cùng một quá trình chuyển pha sắc nét mà hệ thống lượng tử đã chứng minh. Nâng chẩn đoán R-hat lên thành một ranh giới pha được chứng minh là câu hỏi nghiên cứu mở ưu tiên cao nhất mà bài báo này xác định.

7.2 So sánh giữa chứng minh thực nghiệm và chứng minh lý thuyết

Google đã chứng minh thực nghiệm hoạt động dưới ngưỡng trên phần cứng lượng tử vật lý, đo được Λ = 2,14 ± 0,02 từ dữ liệu thực nghiệm [1]. Các đặc tính hội tụ ngưỡng của Giao thức CVR được thiết lập về mặt lý thuyết từ định lý ergodic MCMC và các đặc tính của sự kết hợp Bayes có trọng số uy tín. Hệ số triệt tiêu oracle Λ_oracle vẫn chưa được đo trong các triển khai sản xuất. Sự bất đối xứng này là có thật. Khung lý thuyết cung cấp bằng chứng toán học rằng đặc tính hội tụ ngưỡng tồn tại và các điều kiện mà nó biểu hiện. Dữ liệu thực nghiệm từ các triển khai sản xuất sẽ cung cấp hệ số triệt tiêu được đo và bề mặt ngưỡng được hiệu chỉnh cho các cấu hình cụ thể. Giai đoạn thử nghiệm 90 ngày trước khi phát hành tín dụng trong các triển khai Giao thức CVR sẽ tạo ra tập dữ liệu hiệu chỉnh thực nghiệm đầu tiên.

7.3 Không gian trạng thái rời rạc so với không gian trạng thái liên tục

Mã bề mặt hoạt động trên một lưới 2D rời rạc gồm các qubit với khoảng cách mã được xác định rõ ràng. Sự đồng thuận của Oracle hoạt động trên không gian trạng thái liên tục của các tham số tài sản vật lý. Hiện tượng ngưỡng biểu hiện khác nhau trong các hệ thống rời rạc so với hệ thống liên tục: trong trường hợp rời rạc, hệ số triệt tiêu Λ có thể được đo trực tiếp từ tỷ lệ lỗi logic ở các khoảng cách mã liên tiếp; trong trường hợp liên tục, Λ_oracle phải được ước tính từ tốc độ thu hẹp khoảng tin cậy hậu nghiệm trên các cấu hình mạng Oracle liên tiếp. Thuộc tính cấu trúc — sự cải thiện theo cấp số mũ dưới một ranh giới tới hạn — vẫn tồn tại bất chấp sự khác biệt về chiều, nhưng phương pháp đo lường lại khác nhau. Việc mô tả chính thức hình học của bề mặt ngưỡng đa chiều trong không gian tham số liên tục vẫn là một vấn đề toán học chưa được giải quyết.

7.4 Các lỗi tương quan

Khung MCMC dựa trên các giả định xác suất cụ thể liên quan đến tính độc lập của oracle và xác suất phát xạ. Các lỗi tương quan giữa các nút oracle — cơ sở hạ tầng dùng chung, lỗi cảm biến chung, điều kiện môi trường tương quan — có thể vi phạm các giả định về tính độc lập hiệu quả hơn so với mô hình hiện tại dự đoán. Tương tự trong lượng tử là các sự kiện lỗi tương quan: Các thí nghiệm Willow của Google cho thấy việc ngăn chặn lỗi trong mã lặp lại cuối cùng bị hạn chế bởi các sự kiện tương quan hiếm gặp xảy ra khoảng một lần mỗi giờ [1]. Các lỗi tương quan đại diện cho cơ chế chính mà một hệ thống về mặt danh nghĩa nằm dưới ngưỡng có thể hoạt động như thể nó nằm trên ngưỡng. Hiểu và giảm thiểu các lỗi tương quan là rất quan trọng đối với cả việc sửa lỗi lượng tử và sự đồng thuận của oracle hoạt động trong chế độ hội tụ ngưỡng.

8. Câu hỏi mở và lời mời hợp tác

Khung nghiên cứu này mở ra nhiều hướng nghiên cứu khác nhau. Chúng tôi mời sự hợp tác từ cộng đồng nghiên cứu Ethereum, cộng đồng thông tin lượng tử, cộng đồng hệ thống phân tán và cộng đồng quản lý rủi ro và pháp lý.

1. Bằng chứng chính thức về quá trình chuyển pha hội tụ của oracle. Việc nâng chẩn đoán R-hat < 1,05 lên thành ranh giới pha đã được chứng minh tương tự như ngưỡng mã bề mặt là câu hỏi mở có ưu tiên cao nhất. Cách tiếp cận hứa hẹn nhất: ánh xạ động lực danh tiếng của oracle sang mô hình cơ học thống kê — có thể là mô hình Ising liên kết ngẫu nhiên được Dennis et al. [5] sử dụng — cho phép áp dụng các kỹ thuật chứng minh tương tự. Thành công sẽ chuyển đổi khung oracle từ 'mạnh mẽ về mặt thống kê' thành 'đồng cấu về mặt toán học' với khả năng sửa lỗi lượng tử ở cấp độ chứng minh hội tụ.
2. Hiệu chuẩn thực nghiệm của Λ_oracle. Dữ liệu triển khai sản xuất từ mạng lưới oracle của Giao thức CVR sẽ cho phép đo trực tiếp tốc độ thu hẹp hậu nghiệm như một hàm của số lượng oracle và số vòng đồng thuận. Các câu hỏi chính: Thiết kế thử nghiệm tối ưu để đo Λ_oracle với độ bất định thống kê tối thiểu là gì? Λ_oracle thay đổi như thế nào theo chiều không gian trạng thái? Có thể dự đoán Λ_oracle từ các mô phỏng trước khi triển khai không? Bộ dữ liệu thực nghiệm đầu tiên có sẵn từ giai đoạn chạy thử triển khai sản xuất của Giao thức CVR.
3. Hệ thống hội tụ ngưỡng xuyên miền. Định nghĩa tiên đề trong Phần 2 được cố ý đưa ra một cách tổng quát. Chúng tôi phỏng đoán rằng hành vi hội tụ ngưỡng xuất hiện trong các hệ thống phân tán khác ngoài việc sửa lỗi lượng tử và đồng thuận oracle, bao gồm các hệ thống học tập liên kết với cập nhật người tham gia nhiễu, mạng lưới hợp nhất đa cảm biến, giao thức đồng thuận với tính xác suất cuối cùng và thị trường dự đoán phi tập trung. Việc xác định thêm các trường hợp cụ thể sẽ củng cố luận điểm rằng hội tụ ngưỡng là một thuộc tính cơ bản của các hệ thống thông tin phân tán chứ không phải là sự trùng hợp ngẫu nhiên giữa hai kiến trúc cụ thể. Một lý thuyết tổng quát sẽ xác định các điều kiện cần và đủ cho hành vi hội tụ ngưỡng trong các hệ thống phân tán bất kỳ.
4. Lý thuyết tỷ lệ kích thước hữu hạn và động lực ngưỡng thời gian. Phát triển lý thuyết tỷ lệ kích thước hữu hạn cho mạng lưới oracle để dự đoán hành vi ngưỡng trong các mạng nhỏ (n < 30) và ngoại suy đến hành vi tiệm cận. Nghiên cứu cách các ngưỡng tiến hóa theo thời gian khi uy tín của oracle được cập nhật và trạng thái của tài sản vật lý thay đổi: liệu hệ thống có thể hiện hiện tượng trễ (hysteresis) không? Liệu nó có thể vượt qua ngưỡng theo cả hai hướng không? Mức đặt cược nào đảm bảo rằng các đối thủ hợp lý không thể buộc mạng lưới vượt quá ngưỡng?
5. Phương pháp chấp nhận theo quy định. Phát triển phương pháp đánh giá giám sát để xác minh hội tụ ngưỡng: tiêu chuẩn xác thực mô hình, quy trình kiểm toán để xác minh việc duy trì R-hat theo thời gian, khung kiểm thử chịu áp lực đối với các điều kiện biên ngưỡng và các giao thức công nhận xuyên quốc gia. Chúng tôi đang tìm kiếm các cán bộ tuân thủ Basel, các nhóm quản lý rủi ro ngân hàng và các cộng tác viên học thuật để phát triển phương pháp này. Chúng tôi lưu ý rằng Khung Chứng nhận Loại bỏ Carbon của EU (CRCF, Quy định EU 2024/3012) cung cấp bối cảnh quy định ngay lập tức cho việc xác minh hội tụ ngưỡng của canh tác carbon trong đất — yêu cầu giám sát 'trên cơ sở liên tục' của CRCF đối với việc loại bỏ carbon về mặt cấu trúc giống hệt với yêu cầu phân loại 'trên cơ sở liên tục' của SCO60, và cả hai đều được đáp ứng bởi cùng một đảm bảo hội tụ dưới ngưỡng. Hội nghị thượng đỉnh về canh tác carbon châu Âu (ECFS26, do liên minh Dự án CREDIBLE tổ chức theo Thỏa thuận tài trợ của EU 101112951) và các Nhóm trọng tâm liên quan về MRV, chứng nhận và hài hòa dữ liệu là địa điểm tự nhiên để thúc đẩy sự liên kết quy định này giữa giám sát tài chính và các khung chứng nhận môi trường.
6. Xác minh chính thức các điều kiện ngưỡng thông qua Định lý mang giao dịch. Đề xuất TCT được đề cập trong [2] cung cấp xác minh an toàn ở cấp độ thiết kế cho logic hợp đồng thông minh. Việc áp dụng xác minh chính thức cho cơ chế cắt giảm, động lực danh tiếng và giao thức đồng thuận — chứng minh rằng chúng thực hiện chính xác các thuộc tính hội tụ ngưỡng — sẽ cung cấp bằng chứng mạnh mẽ nhất có thể để cơ quan quản lý chấp nhận đảm bảo hội tụ của oracle.

9. Kết luận

Bài báo này đã chứng minh rằng cấu trúc toán học chi phối kết quả sửa lỗi lượng tử dưới ngưỡng của Google và sự đồng thuận oracle hội tụ MCMC của Giao thức CVR là cùng một cấu trúc: một sự chuyển pha trong mối quan hệ giữa quy mô và độ tin cậy, được chi phối bởi một ngưỡng tới hạn, dưới ngưỡng đó sự cải thiện theo cấp số mũ được đảm bảo. Chúng tôi đã chính thức hóa cấu trúc này thành một lớp — các hệ thống hội tụ ngưỡng — được định nghĩa bởi bốn thuộc tính tiên đề mà cả sửa lỗi lượng tử và sự đồng thuận oracle đều thỏa mãn một cách độc lập. Mối liên hệ còn sâu sắc hơn cả sự tương đồng về cấu trúc: cả hai hệ thống đều được chi phối bởi cùng một lớp định lý toán học về thời điểm các quá trình ngẫu nhiên, nhiễu loạn, phân tán tạo ra đầu ra tập thể đáng tin cậy, với ngưỡng mã bề mặt về mặt hình thức tương đương với một sự chuyển pha cơ học thống kê cổ điển.

Những tác động đối với việc thế chấp tài sản vật lý được mã hóa theo Basel IV là trực tiếp. Yêu cầu phân loại "trên cơ sở liên tục" của SCO60 đối với tài sản được mã hóa Nhóm 1a đòi hỏi phải xác minh liên tục trạng thái của tài sản vật lý. Thuộc tính hội tụ ngưỡng của mạng lưới oracle của Giao thức CVR cung cấp cho việc xác minh liên tục này một sự đảm bảo hội tụ toán học — cùng loại đảm bảo giúp cho điện toán lượng tử quy mô lớn trở nên khả thi. Mức chiết khấu xác minh động được suy ra từ khoảng tin cậy hậu nghiệm MCMC chuyển đổi sự hội tụ này thành sự giảm vốn có thể tính toán được, được cập nhật ở mỗi vòng đồng thuận khi khoảng tin cậy hậu nghiệm thu hẹp lại. Phân loại quy định ba lớp cung cấp cho các cơ quan giám sát một khuôn khổ khách quan, có thể kiểm toán được để phân biệt xác minh hội tụ ngưỡng với các lựa chọn thay thế yếu hơn.

Đóng góp của bài báo này là sự nhận thức rằng hội tụ ngưỡng không phải là một thuộc tính độc nhất vô nhị của các hệ thống lượng tử. Đó là một thuộc tính của một lớp hệ thống thông tin phân tán có thể định nghĩa chính thức. Google đã chứng minh nó hoạt động đối với việc sửa lỗi lượng tử. Giao thức CVR chứng minh nó hoạt động đối với việc xác minh tài sản vật lý. Cấu trúc toán học không quan tâm đến miền vật lý. Nó quan tâm đến mối quan hệ giữa tỷ lệ lỗi của từng thành phần tham gia, cơ chế kết hợp và ngưỡng tới hạn. Dưới ngưỡng, quy mô là đồng minh của bạn. Trên ngưỡng, quy mô là kẻ thù của bạn. Nghệ thuật thiết kế các hệ thống hội tụ ngưỡng — trong phần cứng lượng tử, trong mạng lưới oracle, trong bất kỳ lĩnh vực nào mà các thành phần không đáng tin cậy phải kết hợp thành đầu ra đáng tin cậy — là nghệ thuật đạt được dưới ngưỡng và duy trì ở đó.

Nguyên lý toán học tương tự mà Google đã chứng minh là giúp cho điện toán lượng tử quy mô lớn trở nên khả thi — sự triệt tiêu lỗi theo cấp số mũ dưới một ngưỡng quan trọng — cũng chính là nguyên lý giúp cho việc xác minh tài sản vật lý liên tục của Giao thức CVR có tính hội tụ được chứng minh, và đó là nền tảng toán học cho một tiêu chuẩn bằng chứng chính thức theo Basel IV.

Tài liệu tham khảo

1. Trí tuệ nhân tạo lượng tử của Google (2024). Sửa lỗi lượng tử dưới ngưỡng mã bề mặt. Nature . Ngày 9 tháng 12 năm 2024. Bộ xử lý Willow, 105 qubit, Λ = 2,14 ± 0,02.
2. Gutu, A. (2025). Đề xuất: Một khung thực tế có thể kiểm chứng liên tục (CVR) để giảm trọng số rủi ro tài sản thế chấp RWA. Nghiên cứu Ethereum, ethresear.ch/t/23577. Ngày 1 tháng 12 năm 2025.
3. Gutu, A. (2025). ProofLedger: Các nguyên tắc cốt lõi và khung toán học dựa trên tài liệu ProofLedger. Nghiên cứu Ethereum, ethresear.ch/t/23609. Ngày 4 tháng 12 năm 2025.
4. Gutu, A. & Stillwell, R. (2026). Chuỗi Markov Monte Carlo như một công cụ tính toán cho việc xác minh tài sản vật lý được mã hóa theo Nhóm 1a của Basel SCO60. LedgerWell Inc. Tháng 3 năm 2026.
5. Dennis, E., Kitaev, AY, Landahl, A. & Preskill, J. (2002). Bộ nhớ lượng tử tôpô. Tạp chí Vật lý Toán học , 43, 4452–4505.
6. Ủy ban Basel về Giám sát Ngân hàng (2022, sửa đổi năm 2024). Xử lý thận trọng đối với các khoản đầu tư vào tài sản tiền điện tử — SCO60. BIS. Ngày thực hiện: 1 tháng 1 năm 2026.
7. Gelman, A. & Rubin, DB (1992). Suy luận từ mô phỏng lặp lại bằng cách sử dụng nhiều chuỗi. Khoa học Thống kê , 7(4), 457–472.
8. Shor, PW (1995). Sơ đồ giảm hiện tượng mất tính kết hợp trong bộ nhớ máy tính lượng tử. Tạp chí Vật lý A , 52(4), R2493.
9. Metropolis, N., Rosenbluth, AW, Rosenbluth, MN, Teller, AH & Teller, E. (1953). Tính toán phương trình trạng thái bằng máy tính nhanh. Tạp chí Vật lý Hóa học , 21(6), 1087–1092.
10. Hastings, WK (1970). Phương pháp lấy mẫu Monte Carlo sử dụng chuỗi Markov và các ứng dụng của chúng. Biometrika , 57(1), 97–109.

Abel Gutu · Nhà sáng lập & CEO, LedgerWell Corporation.
Robert Stillwell · Đồng sáng lập & Giám đốc công nghệ, LedgerWell Corporation. / Giám đốc điều hành, DaedArch Corporation
ledgerwell.io

Bộ tài liệu về khung toán học của giao thức CVR — Ấn phẩm thứ 4 trong chuỗi 4 ấn phẩm về khung toán học của CVR. Cũng đã được gửi lên arXiv.
Chúng tôi tích cực tìm kiếm phản hồi về đặc điểm ngưỡng, các thể hiện xuyên miền, ánh xạ mô hình Ising và phương pháp hiệu chuẩn quy định.