Sự bất thường bắt đầu ở chiều cao khối 18,442,771.
Một yêu cầu xác minh chứng chỉ—dường như là thường lệ—đã vào mempool và được một trình xác thực nhặt lên gần như ngay lập tức. Các nhật ký không cho thấy sự tắc nghẽn, không có bất thường về phí, không có tải trọng bị biến dạng. Tuy nhiên, dấu thời gian xác nhận đã đến muộn 420 milliseconds so với mong đợi. Không phải là giây. Không đủ để kích hoạt báo động. Chỉ đủ để cảm thấy… sai.
Tôi đã phát lại dấu vết.
Băm xác thực là chính xác. Chữ ký đã được căn chỉnh. Chứng minh sự bao gồm Merkle đã được xác minh sạch sẽ so với gốc trạng thái đã cam kết cuối cùng. Nhưng lớp sắp xếp đã do dự—chỉ một chút—trước khi truyền bá sự chuyển tiếp trạng thái về hạ lưu.
Thoạt nhìn, nó trông giống như sự dao động mạng.
Nhưng rồi nó lại xảy ra lần nữa.
Và một lần nữa.
Không nhất quán. Không thể dự đoán. Nhưng đủ thường xuyên để tạo thành một mẫu kháng lại sự ngẫu nhiên.
Tôi bắt đầu tách biệt các biến—vị trí của người xác thực, phân phối tải, kích thước thông tin xác thực, độ phức tạp của bằng chứng. Không có gì tương quan. Sự trì hoãn không gắn với bất kỳ thành phần đơn lẻ nào. Nó đang nổi lên từ sự tương tác giữa chúng.
Đó là khi sự khó chịu bắt đầu xuất hiện.
Đây không phải là một lỗi.
Đó là hành vi.
Hệ thống mà tôi đang quan sát—Mạng Sign—đặt mình ở vị trí như một lớp hạ tầng toàn cầu cho việc xác minh thông tin xác thực và phân phối token. Ở cốt lõi của nó, nó hứa hẹn điều gì đó deceptively đơn giản: lòng tin có thể xác minh ở quy mô lớn.
Thông tin xác thực—danh tính, chứng nhận, bằng chứng đủ điều kiện—được nộp, xác minh, và sau đó được sử dụng để kích hoạt việc phân phối token trong một môi trường phân tán.
Nhưng khi tôi tiếp tục theo dõi các con đường thực thi, một nhận thức trở nên không thể tránh khỏi:
Mạng lưới không chỉ xác minh thông tin xác thực.
Đó là việc thương lượng chúng.
Điểm áp lực tự tiết lộ một cách lặng lẽ: khả năng mở rộng so với độ trung thực của xác minh.
Để mở rộng toàn cầu, Sign phải xử lý khối lượng lớn các kiểm tra thông tin xác thực trong thời gian thực gần như ngay lập tức. Nhưng việc xác minh độ chính xác cao—đặc biệt khi liên quan đến các bằng chứng mật mã hoặc các chứng nhận ngoài chuỗi—giới thiệu độ trễ, độ phức tạp và các chuỗi phụ thuộc.
Có điều gì đó phải nhường chỗ.
Và trong trường hợp của Sign, hệ thống dường như trì hoãn sự chắc chắn.
Tôi đã chuyển sự chú ý của mình sang một sự phân tích có cấu trúc.
Các nhà xác thực đạt được thỏa thuận về các chuyển đổi trạng thái, nhưng đáng chú ý, họ không thực hiện lại hoàn toàn mọi xác minh thông tin xác thực theo thời gian thực. Thay vào đó, họ dựa vào các bằng chứng hoặc chứng nhận đã được xác minh trước được nộp cùng với các giao dịch. Điều này tạo ra một ranh giới tin cậy ngầm. Đồng thuận xác nhận sự bao gồm—không nhất thiết phải là tính chính xác.
Các nhà xác thực kiểm tra chữ ký, đảm bảo định dạng dữ liệu và xác minh cấu trúc bằng chứng. Nhưng xác minh ngữ nghĩa sâu sắc hơn—liệu một thông tin xác thực thực sự đại diện cho thực tế hay không—thường được giả định là được xử lý ở phía trên. Nói cách khác, các nhà xác thực xác minh rằng điều gì đó trông có vẻ đúng, chứ không phải rằng nó là đúng.
Việc phân phối token được kích hoạt bởi thông tin xác thực được thực hiện một cách điều kiện. Nếu một thông tin xác thực vượt qua xác minh, token sẽ được phát hành. Nhưng việc thực thi phụ thuộc vào các đầu ra xác minh mà có thể tự nó bị trì hoãn, lưu trữ, hoặc được giải quyết không đồng bộ. Điều này có nghĩa là việc thực thi đôi khi đi trước sự chắc chắn.
Các giao dịch được sắp xếp một cách lạc quan. Việc xác minh thông tin xác thực và phân phối token có thể được nhóm lại, sắp xếp lại, hoặc thực hiện song song để cải thiện thông lượng. Dưới các điều kiện bình thường, điều này hoạt động. Dưới áp lực, nó tạo ra những khoảng trống tạm thời—những khoảnh khắc mà hệ thống giả định tính hợp lệ trước khi nó được thiết lập hoàn toàn.
Dữ liệu thông tin xác thực thường sống ngoài chuỗi, được tham chiếu qua các băm hoặc bằng chứng. Khả năng có sẵn được giả định, không được đảm bảo. Nếu việc truy xuất dữ liệu bị chậm lại—hoặc tồi tệ hơn, thất bại—hệ thống phải quyết định: chờ đợi, hay tiến hành? Sign thường tiến hành.
Bằng chứng không biết và các sơ đồ chữ ký cung cấp sự đảm bảo mạnh mẽ. Nhưng chúng chỉ đáng tin cậy bằng các điểm tích hợp của chúng. Một bằng chứng hợp lệ trong ngữ cảnh sai vẫn là một vấn đề.
Dưới các điều kiện bình thường, các thành phần này hòa hợp. Việc xác minh xuất hiện ngay lập tức. Việc phân phối token cảm thấy như là xác định. Người dùng trải nghiệm một dòng chảy liền mạch từ việc nộp thông tin xác thực đến phần thưởng.
Nhưng dưới áp lực—thông lượng cao, độ trễ mạng, tính khả dụng của dữ liệu một phần—các vết nứt bắt đầu xuất hiện.
Việc xác minh trở nên xác suất.
Thực thi trở nên suy đoán.
Và hệ thống bắt đầu trôi dạt—không phải vào thất bại, mà vào sự mơ hồ.
Các chế độ thất bại rất tinh tế.
Một nhà phát triển giả định rằng một thông tin xác thực đã được xác minh có nghĩa là sự cuối cùng ngay lập tức. Nó không phải vậy.
Một người khác cho rằng khi các token được phân phối, việc xác minh cơ bản là không thể thay đổi. Nó không phải vậy.
Một nhà xây dựng thiết kế một hệ thống mà liên kết các xác minh thông tin xác thực qua nhiều bước, mong đợi sự nhất quán ở mỗi giai đoạn. Nhưng sự nhất quán, trong Sign, là ngữ cảnh—và ngữ cảnh thay đổi dưới tải.
Điều làm cho điều này trở nên phức tạp hơn là cách mà hệ thống thực sự được sử dụng.
Người dùng không nghĩ theo các lớp xác minh hoặc logic sắp xếp. Họ nghĩ về các kết quả.
Tôi có đủ điều kiện không?
Tôi có nhận được token không?
Điều này có phải là cuối cùng không?
Các nhà giao dịch phản ứng với việc phân phối token như là tín hiệu. Các nhà xây dựng tạo ra các giao thức dựa trên dòng chảy thông tin xác thực. Các dự án giả định rằng việc xác minh tương đương với sự thật.
Nhưng kiến trúc không đảm bảo sự thật.
Nó đảm bảo quy trình.
Và đó là khoảng cách.
Thiết kế lý thuyết giả định việc sử dụng hợp lý, đầu vào sạch và điều kiện lý tưởng. Việc sử dụng trong thế giới thực giới thiệu các điều kiện đua, kiến thức một phần và hành vi đối kháng.
Hệ thống không gãy một cách kịch tính.
Nó uốn cong một cách lặng lẽ.
Nguyên tắc sâu sắc xuất hiện chậm rãi:
Các hệ thống phi tập trung hiện đại như Sign không thất bại vì các lỗi rõ ràng hoặc mật mã sai sót.
Chúng thất bại vì những giả định ẩn.
Các giả định về thời gian.
Về khả năng dữ liệu.
Về việc điều gì có nghĩa là xác minh điều gì đó trong một môi trường phân phối.
Sự trì hoãn 420 mili giây đó không phải là một trục trặc.
Đó là một tín hiệu.
Một khoảnh khắc mà hệ thống dừng lại—không phải vì nó không thể tiến hành, mà vì nó không hoàn toàn chắc chắn rằng nó nên.
Và vẫn vậy, nó đã xảy ra.
Bởi vì ở quy mô lớn, sự do dự là tốn kém.
Hạ tầng như Sign không sụp đổ dưới áp lực.
Nó tiếp tục.
Nó thích ứng.
Nó gần đúng.
Cho đến khi các ranh giới—những đường kẻ vô hình nơi mà các giả định không còn giữ—bị vượt qua.
Và khi điều đó xảy ra, hệ thống không tạo ra lỗi.
Nó tạo ra những kết quả trông có vẻ đúng.
Nhưng không phải.
Bởi vì cơ sở hạ tầng không gãy ở giới hạn của nó.
Nó gãy ở các ranh giới của nó—
nơi mà lòng tin lặng lẽ chạy nhanh hơn bằng chứng.