Tôi đã nhìn thấy hội đồng khẩn cấp của Babylon từ con số 3-trong-5 trước tiên. Sáu mươi phần trăm trông có vẻ cân bằng, đủ nhanh cho một cuộc khủng hoảng mà không giao quyền kiểm soát then chốt duy nhất cho một cá nhân.
Nhưng chỉ số đó là yếu nếu đứng một mình.
Vấn đề thực sự nằm ở cách hệ thống hoạt động trong điều kiện căng thẳng. Ba người ký sẵn có thể ngăn một khoản chi trả thảm họa, nhưng ba khóa bị xâm phạm cũng có thể thỏa mãn đúng ngưỡng tương tự. Ngưỡng không biết đó là phối hợp mang tính phòng thủ, vội vã hay mang tính thù địch.
Điều này lại càng quan trọng với BABY vì quyền lực khẩn cấp nằm ngoài luồng vận hành thông thường của giao thức. Nó được thiết kế cho khoảnh khắc khi code, thời gian và cơ chế quản trị thông thường đã bắt đầu thất bại. Khi đó, tốc độ giúp ích. Và cũng có ích là việc giới hạn thành viên. Khả năng cao là vẫn không tránh khỏi một mức phán quyết tập trung trong trường hợp sự cố nghiêm trọng.
Dù vậy, đa số mọi người so sánh can thiệp và không can thiệp. Tôi lại nhìn vào khả năng phục hồi so với niềm tin tập trung. Điều gì xảy ra nếu trong một cuộc tấn công, hai thành viên mất kết nối? Điều gì xảy ra nếu ba thành viên cùng dùng một nhà cung cấp bảo mật, cùng một cơ quan pháp lý, hoặc cùng mắc một sai lầm vận hành?
Babylon thành công nếu hội đồng đa dạng, đã được diễn tập, minh bạch và chỉ được dùng hiếm khi. Babylon thất bại nếu 3-trong-5 trở thành một lối tắt vĩnh viễn bỏ qua kỷ luật tuân thủ giao thức.
Tôi không phản đối lớp khẩn cấp. Tôi đang theo dõi liệu BABY có năm khóa độc lập hay chỉ là năm cái tên quanh một miền thất bại bị che giấu.
Tôi đã đánh giá hạn chót 14.400 block của Babylon dựa trên khoảng thời gian còn lại trước. Nếu quá trình thiết lập kết thúc ngay lập tức, gần như toàn bộ khung thời gian vẫn còn. Nếu thiết lập tiêu tốn hết khoảng thời gian cho phép, bên ký gửi có thể chỉ còn khoảng 7.200 block để kích hoạt.
Nhưng chỉ riêng thước đo đó vẫn còn yếu.
Hạn chót giải quyết việc chờ đợi vô thời hạn. Nó không giải quyết hành vi chặng cuối. Babylon có thể bảo toàn một cơ hội kích hoạt, nhưng không thể buộc bên ký gửi quay lại, chú ý đến bộ đếm ngược, cấp vốn cho bước tiếp theo, hoặc hoàn tất kích hoạt.
Điều này quan trọng với BABY vì kỷ luật theo giao thức phụ thuộc vào nhiều hơn là một thiết lập hợp lệ. Một vault đúng về mặt kỹ thuật vẫn có thể trở nên vô dụng nếu hành động cuối cùng bị trì hoãn.
Hầu hết mọi người coi 14.400 block là sự an toàn được đảm bảo. Tôi thấy đó là tiềm năng kỹ thuật so với trải nghiệm người dùng. Điều gì xảy ra khi thiết lập kết thúc trễ, cảnh báo không hoạt động, ví không rõ ràng, hoặc bên ký gửi cho rằng quy trình đã hoàn tất?
Một chút áp lực về thời hạn lành mạnh. Những thiết lập không có thời hạn sẽ tạo ra trạng thái cũ và sự phối hợp bị lãng phí.
Tuy vậy, bài kiểm tra thực sự là liệu Babylon có biến số block còn lại thành thời gian hành động có thể sử dụng hay không. Nếu BABY làm cho việc kích hoạt trở nên rõ ràng và khó bỏ lỡ, hạn chót sẽ củng cố kỷ luật. Nếu không, hệ thống có thể loại bỏ việc chờ đợi vô thời hạn trong khi vẫn giữ nguyên rủi ro thực thi mà người dùng cảm nhận ở giai đoạn cuối.
Tôi đã đánh giá bộ đệm kích hoạt 7.200 khối của Babylon bằng con số “sạch” trước. Vẫn còn 24 giờ, ngay cả khi những người ký ACK sử dụng toàn bộ khoảng thời gian mà họ được phép. Nhìn bề ngoài có vẻ đủ an toàn.
Nhưng chỉ số bề mặt đó là yếu.
Vấn đề thực sự nằm ở hành vi khi có độ trễ. BABY phụ thuộc vào việc việc xác nhận hoàn tất đúng thời hạn, người dùng nhận ra khoảng thời gian còn lại, và việc kích hoạt diễn ra trước khi bộ đệm biến mất. Một ngày nghe có vẻ hào phóng. Trên thực tế, việc phối hợp, ma sát ví, và sự chậm trễ rất con người có thể tiêu tốn nó nhanh chóng.
Điều mà hầu hết mọi người bỏ qua là sự khác biệt giữa thời hạn cho phép của giao thức và thời gian có thể sử dụng. Babylon bảo toàn 7.200 khối về mặt toán học, nhưng người dùng lại “trải nghiệm” bộ đệm đó thông qua hạ tầng có thể chậm, không rõ ràng hoặc không được giám sát.
Điều đó không có nghĩa là thiết kế bị lỗi. Cần có các cửa sổ cố định. Chúng ngăn các vault chưa hoàn tất không thể mở mãi mãi.
Tuy vậy, bài kiểm tra thực sự là lời hứa kỹ thuật so với trải nghiệm người dùng. BABY có làm cho hạn chót trở nên rõ ràng không? Những người ký và người dùng có thể khôi phục nếu một bước bị kẹt không? Điều gì xảy ra trong lúc tắc nghẽn hoặc khi có sự cố vận hành?
Babylon thành công nếu bộ đệm trở thành thời gian khôi phục mang tính kỷ luật. Sẽ thất bại nếu ai cũng coi 7.200 khối là sự thoải mái thay vì một bộ đếm ngược.
Tôi tiếp tục theo dõi liệu biên an toàn có thực sự dùng được, hay chỉ chính xác trên giấy.
Tôi nhận ra sự bất cân xứng khi xem xét ai có thể thách thức một kết cục xấu. Bên cho vay lớn có lối đi thẳng để hành động. Bên cho vay nhỏ thì phải hy vọng ai đó khác nhận ra và kịp thời can thiệp.
Đó là áp lực ẩn bên trong Babylon.
Giao thức nói rằng nó bảo vệ bên cho vay thông qua quyền thách thức, nhưng trên thực tế có thể ưu đãi quy mô vốn bằng ảnh hưởng vận hành. Một vị thế lớn mang nhiều hơn trọng lượng kinh tế. Nó cũng có thể có tiếng nói mạnh hơn trong bảo mật Bitcoin, trong khi những người tham gia nhỏ hơn lại phụ thuộc vào người khác.
Điều này quan trọng đối với BABY vì niềm tin không chỉ là việc liệu gian lận có thể bị thách thức hay không. Mà là ai có quyền lực thực tiễn để kích hoạt sự thách thức đó.
Thứ mà hầu hết mọi người hiểu sai là khoảng cách giữa phơi bày ngang nhau và năng lực hành động ngang nhau. Hai bên cho vay có thể đối mặt với cùng một sự kiện xấu, nhưng chỉ một trong số họ có thể có đủ quy mô để biện minh cho việc giám sát, cơ sở hạ tầng và hành động trực tiếp.
Một số bất cân xứng là điều có thể hiểu được. Bên cho vay lớn gánh chịu nhiều tổn thất hơn.
Tuy vậy, tôi vẫn không ngừng tự hỏi một câu hỏi khó chịu: Babylon có cải thiện an toàn cho tất cả mọi người, hay chủ yếu khiến chỗ ngồi an toàn nhất thuộc về cán cân lớn nhất?
BABY có thể tồn tại với vốn không đều. Tôi ít chắc rằng nó có thể bỏ qua ảnh hưởng bảo mật không đều.
Tôi nhận thấy phần bất thường khi lần theo một cửa sổ tranh chấp: bên nguyên đơn không chỉ đơn thuần nộp bằng chứng, họ đang ký vào bằng chứng có thể được dùng chống lại họ sau này.
Babylon cấp cho nguyên đơn 108 khối Bitcoin để bảo vệ bằng chứng. Bề ngoài, điều đó trông như là thời gian để phản hồi. Bên trong, đó là thiết kế trách nhiệm giải trình. Chữ ký tách nguyên đơn ban đầu khỏi các đơn vị chuyển tiếp (relayer) chỉ công bố bằng chứng, vì vậy hình phạt sẽ đi đến người đã ủy quyền cho yêu cầu, chứ không phải mọi người đưa tin chạm vào nó.
Điều này quan trọng với Babylon vì niềm tin vào giao thức phụ thuộc vào việc chứng minh ai đã nói dối, chứ không chỉ là việc cho thấy dữ liệu xấu đã xuất hiện.
Thứ mà đa số người không hiểu là sự khác nhau giữa việc công bố bằng chứng và việc sở hữu nó. Một relayer có thể chuyển tiếp bằng chứng. Nguyên đơn ký chịu trách nhiệm cho nó. Điều này làm giảm khả năng chối bỏ hợp lý, nhưng không giải quyết được mọi thứ.
Giao thức nói rằng nó khen thưởng việc tham gia có thể được xác minh; dưới áp lực, nó thực sự khen thưởng bất cứ ai có thể đưa một đường phòng thủ vào được trước khi cửa sổ đóng lại.
Và đó là rủi ro âm thầm. Điều gì sẽ xảy ra nếu nguyên đơn có một phương án phòng thủ hợp lệ, nhưng quyền truy cập khối bị trì hoãn, bị kiểm duyệt, hoặc quá đắt?
Babylon làm rõ ai phải chịu trách nhiệm. Tôi vẫn đang theo dõi liệu đường đi cho phương án phòng thủ có còn tiếp cận như nhau khi hệ thống chịu áp lực hay không.
Tôi nhận thấy vấn đề khi lần theo cách một vị thế collBTC có thể trông như hữu ích trong nhiều ứng dụng cùng lúc. Trên mỗi màn hình, tài sản thế chấp dường như vẫn sẵn có. Cảm giác đó thật gọn gàng, có lẽ còn quá gọn gàng.
Babylon gọi đây là hiệu quả sử dụng vốn: một tài sản làm được nhiều việc hơn thay vì ngồi yên không hoạt động. Vấn đề sâu hơn là việc tái sử dụng có thể khiến các nghĩa vụ chồng chất nhanh hơn những gì người dùng kịp nhìn thấy. Một số ứng dụng có thể phụ thuộc vào cùng một tài sản thế chấp, nhưng mỗi giao diện lại có thể trình bày yêu cầu của mình như thể chúng độc lập và đứng riêng.
Điều này quan trọng với Babylon vì hệ thống không chỉ đo lường tính hữu dụng. Hệ thống đang định nghĩa mức ưu tiên trong điều kiện căng thẳng.
Thứ mà phần lớn mọi người hiểu nhầm là sự khác biệt giữa việc tài sản thế chấp có thể tái sử dụng và việc tài sản thế chấp có sẵn một cách độc lập. Hai điều đó không phải là một. Growth nói rằng tài sản hỗ trợ nhiều hoạt động hơn.
Còn Sustainability hỏi liệu mọi nghĩa vụ còn giữ nguyên khi quá trình thanh lý bắt đầu, thanh khoản mỏng đi, và ai cũng muốn được thanh toán trước.
Câu hỏi khó chịu thì đơn giản: ứng dụng nào có yêu cầu đầu tiên, và ai sẽ gánh chịu phần trễ nếu câu trả lời chưa rõ ràng?
Babylon có thể làm collBTC hiệu quả hơn, đúng. Nhưng nếu việc lập bản đồ phụ thuộc, thứ tự thanh lý và khả năng nhìn thấy yêu cầu vẫn bị che giấu, thì hiệu quả bắt đầu giống với việc tái thế chấp lặng lẽ.
Tôi vẫn đang theo dõi xem Babylon có làm cho việc tái sử dụng minh bạch trước khi áp lực khiến điều đó trở nên hiển nhiên hay không.
Tôi nhận ra vấn đề trong lúc kiểm tra những gì sẽ xảy ra sau khi khoản vay được hoàn trả. Các quy tắc có vẻ rõ ràng, lộ trình thực thi có thể lập trình được, và không ai có thể thay đổi kết quả. Thế nhưng, tôi chỉ quan tâm rằng việc rút tiền có đến đúng hạn hay không.
Đó là khoảng trống mà Babylon phải giải quyết.
Babylon có thể đưa con người ra khỏi quá trình ra quyết định trong hoạt động cho vay, nhưng không thể loại bỏ sự bực bội của việc phải chờ đợi. Dù hợp đồng có thể cho thấy bên vay đã làm đúng mọi thứ, việc chậm trễ trong việc nhận được tiền vẫn khiến nó có cảm giác như một sai lầm. Về mặt kỹ thuật là đúng, nhưng về mặt cảm xúc thì bị tổn thương. Người dùng nhớ phần thứ hai.
Điều này quan trọng vì Babylon không chỉ thực thi các khoản vay. Nó đang xây dựng niềm tin vào giao thức trong áp lực, khi tài sản thế chấp bị khóa và sự kiên nhẫn bắt đầu mỏng đi. Hệ thống nói rằng nó khen thưởng hành vi đúng. Trên thực tế, người dùng đánh giá nó qua tốc độ, mức độ rõ ràng của thông tin và cách lối thoát hoạt động một cách bình tĩnh ra sao.
Điều nhiều người hiểu nhầm là việc thực thi có thể lập trình không tự động tạo ra sự tin tưởng. Niềm tin xuất hiện khi các quy tắc, thời điểm và trải nghiệm người dùng khớp với nhau. Chỉ cần một lần bàn giao yếu, có thể là một lần chậm trễ chưa rõ ràng, cũng có thể khiến một hệ thống xác định sẵn trở nên kém chắc chắn.
Tôi cứ tự hỏi liệu Babylon có thể chứng minh được nhiều hơn sự đúng đắn hay không. Liệu nó có thể làm cho sự đúng đắn trở nên đáng tin cậy khi người dùng đang phải chờ?
Tôi nhận thấy điều gì đó bất thường khi đọc các quy tắc thử thách của Babylon: một người tham gia có thể hành động trung thực, bỏ lỡ một phản hồi bắt buộc vì phần mềm của họ bị lỗi, và rồi mất quyền được thách thức lại.
Trên giấy tờ, điều đó giúp tăng hiệu quả. Các bên bị lỗi ngừng làm chậm quy trình, và giao thức tránh việc mang theo các người tham gia không đáng tin cậy mãi mãi. Nhưng vấn đề sâu hơn là liệu Babylon có thể phân biệt được giữa hành vi gian dối và một ứng dụng khách (client) bị hỏng hay không.
Sự phân biệt này quan trọng vì việc bị loại thay đổi thứ mà hệ thống thực sự khen thưởng. Các quy tắc nói rằng họ khen thưởng sự tham gia trung thực. Trên thực tế, họ có thể khen thưởng sự vận hành hoàn hảo, hạ tầng ổn định và khả năng phục hồi nhanh hơn. Không hẳn là cùng một thứ.
Phần lớn mọi người xem đây là logic dọn dẹp. Tôi lại coi đó là một bài kiểm tra khả năng chịu lỗi.
Một giao thức mạnh nên loại bỏ các tác nhân độc hại nhanh chóng, đúng vậy. Nhưng khi một sự cố phần mềm khiến một người thách thức trung thực bị loại vĩnh viễn, Babylon có thể vừa giảm nhiễu vừa đồng thời loại bỏ một lớp dự phòng hữu ích. Hệ thống trở nên gọn gàng hơn, nhưng có thể giòn hơn.
Điều này cũng ảnh hưởng đến niềm tin xung quanh Babylon. Những người tham gia không chỉ đánh giá phần thưởng hay giá trị sử dụng. Họ đang đánh giá liệu một sai sót kỹ thuật có thể xóa sạch những đóng góp trong tương lai hay không.
Tôi vẫn đang theo dõi một câu hỏi: liệu Babylon trừng phạt hành vi xấu, hay chỉ đơn giản là trừng phạt người thất bại đầu tiên?
Khi Quyết Định Theo Chính Sách Phải Được Chứng Minh, Không Chỉ Được Tin Tưởng
Một giao dịch bị từ chối, và người dùng chỉ nhận được một câu trả lời gọn gàng: chính sách đã thất bại. Nhưng vài tháng sau đó, khi tiền bạc, trách nhiệm hoặc danh tiếng đang bị đặt cược, câu trả lời đó có thể chưa đủ. Chính sách nào thực sự đã được sử dụng? Hệ thống đã thấy dữ liệu gì? Hệ thống có thực sự làm theo đúng quy tắc mà mọi người nghĩ rằng nó đang làm theo, hay người ta chỉ đơn giản tin vào phiên bản sự kiện của người vận hành? Đó là phần đã làm tôi băn khoăn. Các quyết định tự động có thể trông có vẻ là “kết luận” từ rất sớm, trước khi chúng trở nên có thể bảo vệ được. Khi ngày càng nhiều hoạt động tài chính phụ thuộc vào các công cụ điều hành chính sách, trách nhiệm giải trình không thể chỉ dừng lại ở việc ghi một dòng trong log rằng “đã phê duyệt” hoặc “bị từ chối”. Một tranh chấp nghiêm túc cần một chuỗi liên kết mạnh hơn giữa quy tắc chính xác, dữ liệu đầu vào chính xác và kết quả chính xác. Nếu không, người bị ảnh hưởng vẫn phải tin rằng quy trình vô hình đã hoạt động đúng.
Giao dịch có vẻ hợp lệ. Các nhà điều hành đang trực tuyến. Tuy nhiên ứng dụng vẫn không thể nhận được câu trả lời.
Đối với người dùng, sự im lặng đó giống như bị từ chối. Đối với nhà phát triển, không có gì giải thích được quy trình đã dừng ở đâu.
Một mạng có thể phân phối các quyết định giữa nhiều nhà điều hành và vẫn dựa vào một điểm vô hình để nhận yêu cầu, định tuyến chúng, ngăn trùng lặp và giữ cho luồng giao tiếp tiếp tục diễn ra. Sự phụ thuộc này khiến phi tập trung có cảm giác chưa hoàn toàn như vẻ ngoài của nó.
Newton Protocol gọi lớp điều phối này là Gateway (Cổng). Nó không quyết định kết quả chính sách, nhưng nếu nó trở nên không thể thiếu thì mọi ủy quyền đều phụ thuộc vào một lối đi.
Kiến trúc mục tiêu của Newton Protocol cố gắng giảm rủi ro đó bằng cách luân phiên vai trò Gateway giữa các nhà điều hành đã đăng ký. Thông qua cơ chế chọn lãnh đạo dựa trên VRF, một nhà điều hành điều phối trong một epoch, sau đó nhà điều hành khác có thể tiếp quản. Việc điều phối vẫn được duy trì, nhưng không có ý định thuộc mãi về một nhà điều hành hay một mảnh hạ tầng duy nhất.
Giá trị này dễ bị bỏ qua vì định tuyến đáng tin cậy không tạo ra sự phấn khích. Mọi người chỉ nhận ra khi các yêu cầu ngừng di chuyển. Thử nghiệm chưa được giải quyết là khâu chuyển giao (handoff). Việc luân phiên chỉ thật sự hữu ích nếu trách nhiệm được chuyển đi trong lúc có áp lực.
Newton Protocol có thể phân phối quyết định, nhưng khả năng phục hồi phụ thuộc vào việc con đường mang quyết định đó có sống sót qua việc thay đổi người cầm tay hay không. @NewtonProtocol #newt $NEWT
@NewtonProtocol Tôi từng cho rằng việc chọn một bộ chính sách sẽ giải quyết trọn vẹn vấn đề. Các nhà điều hành của Newton Protocol sẽ đánh giá đúng những gì người dùng đã cấu hình.
Nhưng một bộ chính sách có thể tồn tại dưới dạng siêu dữ liệu của bảng điều khiển (dashboard), một bản ghi npm, một mã module (module ID), một địa chỉ PolicyData, một WASM CID, các schema, và một bản kê khai tổng hợp (composite manifest). Mỗi thành phần có thể đều hợp lệ, nhưng vẫn trỏ tới các phiên bản khác nhau.
VaultKit có thể lắp ghép các module và so sánh chúng với tập oracle đã triển khai trước khi xây dựng một ý định (intent). Điều đó có thể phát hiện sự lệch khớp hiển nhiên. Câu hỏi khó hơn là liệu @NewtonProtocol có thể chứng minh rằng những gì người dùng đã chọn, những gì ứng dụng đã cấu hình, và những gì các nhà điều hành đã đánh giá là giống hệt nhau tại thời điểm đó hay không.
Vài tháng sau, một tên chính sách có thể không đủ để thuyết phục một bên kiểm toán. Họ có thể cần đúng mã WASM, cấu hình nhà cung cấp (provider configuration), hồ sơ triển khai (deployment record), các schema, và dấu thời gian thực thi (execution timestamp). Thiếu chuỗi đó, việc bảo vệ cho một ủy quyền sẽ khó hơn sau các lần nâng cấp hoặc khi có tranh chấp.
Khóa chặt phiên bản một cách nghiêm ngặt sẽ tăng cường khả năng ghi nhớ chính sách nhưng làm chậm việc cập nhật. Nâng cấp tự động duy trì tính liên tục nhưng có thể thay đổi ý nghĩa của việc chấp thuận.
Với Newton Protocol, giá trị “ít ồn ào” hơn là việc bảo toàn danh tính (identity) của chính sách xuyên suốt những thay đổi.
Tên của một chính sách không phải là bằng chứng của sự tin cậy. Bằng chứng thực sự là bản kê khai (manifest) cho thấy chính xác cái gì đã được thực thi khi quyết định được đưa ra.
Nghịch lý Duy trì Tính liên tục của Chứng chỉ: Liệu một Chính sách Phi tập trung có thể tồn tại với Khóa API đã hết hạn không?
@NewtonProtocol Trước đây, tôi cho rằng một giao dịch bị chặn có nghĩa là hệ thống đã phát hiện ra điều gì đó nguy hiểm. Điều đó dường như là mục tiêu cốt lõi của việc ủy quyền dựa trên chính sách: thu thập bằng chứng, kiểm tra các quy tắc và dừng hành động khi rủi ro xuất hiện. Nhưng một sự từ chối có thể che giấu một vấn đề khác. Đôi khi hệ thống hoàn toàn không phát hiện ra nguy hiểm. Chỉ đơn giản là hệ thống không thể lấy được thông tin cần thiết để đưa ra một quyết định có cơ sở và vững chắc. Sự phân biệt này rất quan trọng. Kết quả không an toàn có nghĩa là các bằng chứng sẵn có cho thấy một quy tắc đã bị vi phạm. Kết quả không sẵn có có nghĩa là nhà cung cấp không phản hồi, bị hết thời gian chờ hoặc không thể cung cấp dữ liệu cần thiết. Kết quả không chắc chắn nằm giữa hai trạng thái đó: tồn tại một số bằng chứng, nhưng có thể đã cũ, không đầy đủ, mâu thuẫn hoặc quá yếu để tạo được sự tin cậy.
Khoảng trống tái hiện kiểm toán: Newton Protocol có thể giải thích vì sao một giao dịch được chấp thuận sau nhiều tháng không
@NewtonProtocol Trước đây tôi nghĩ rằng một dấu vết kiểm toán sẽ giải quyết được vấn đề ngay khi nó cho thấy một giao dịch đã vượt qua các kiểm tra cần thiết. Một dấu thời gian, một bằng chứng hợp lệ và một bản ghi về sự đồng thuận của người vận hành dường như đã là đủ. Quan điểm đó giờ đây có vẻ chưa đầy đủ. Một giao dịch có thể được chấp thuận đúng vào thời điểm đó, nhưng vẫn trở nên khó bảo vệ về sau. Vài tháng sau, chính sách có thể đã thay đổi, tập hợp người vận hành có thể khác đi, và nhà cung cấp dữ liệu đã cung cấp đầu vào ban đầu có thể không còn sẵn. Bằng chứng có thể vẫn hợp lệ, trong khi ngữ cảnh làm cho bằng chứng trở nên có ý nghĩa đã âm thầm biến mất.
Một Mạng, Hai Chiếc Đồng Hồ: Lớp Đồng Bộ Ẩn Bên Trong Newton Protocol
<c-38/>Trước đây, tôi từng tin rằng một chữ ký hợp lệ là mọi thứ đã được giải quyết. Nếu phép toán đúng, thì mọi chuỗi liên quan hẳn đều đang nhìn cùng một bức tranh bảo mật. Điều đó hiển nhiên đến mức tôi chẳng bao giờ đặt vấn đề. Rồi sau đó, tôi bắt đầu lần theo những chiếc đồng hồ bên trong Newton Protocol, và giả định ấy bắt đầu sứt mẻ. Mạng lưới nhà điều hành được đăng ký trên Ethereum, nhưng các chứng thực (attestations) thường được kiểm tra trên các chuỗi đích như Base. Những chuỗi đích đó không nhất thiết phải kiểm tra trực tiếp tập nhà điều hành Ethereum tại đúng thời điểm diễn ra việc xác minh. Thay vào đó, chúng dựa vào một ảnh chụp đồng bộ về số lượng stake, các khóa BLS và tư cách thành viên—một bức tranh có thể đã cũ vài khối.
@NewtonProtocol Lần đầu tiên tôi đọc một chính sách có thể kiểm toán, tôi nghĩ mình đã nắm trọn bức tranh. Rồi tôi nhận ra các núm chỉnh.
Một quy tắc có thể đứng đó y nguyên—cùng mã, cùng mã băm, cùng logic hiển thị—và âm thầm mọc “răng” hoặc mất chúng, tùy thuộc vào một vài con số. Giới hạn tập trung trượt từ 20% lên 60%. Danh sách cho phép các giao thức được thay thế. Ngưỡng rủi ro hạ thấp hơn. Cửa sổ hết hạn kéo dài thêm.
Logic cốt lõi vẫn chưa nhúc nhích một tấc. Nhưng lớp bảo vệ mà người dùng đã tin tưởng? Nó có thể biến mất hoàn toàn.
Đó là cái bẫy tham số nằm trong Newton Protocol. Mã chính sách cho thấy *cách* một quyết định được đưa ra, nhưng các cài đặt—các tham số của PolicyClient—quyết định mức độ chặt chẽ của quyết định đó thực sự đến đâu. Trên thực tế, những cài đặt này trở thành một lớp quản trị thứ hai, yên lặng hơn, tồn tại ngay bên dưới các quy tắc nhìn thấy.
Có người xem Newton Protocol’s policy code, thấy một khung vững chắc, rồi rời đi với sự yên tâm. Họ bỏ lỡ những giá trị thổi “sự sống” cho khung đó. Vì vậy, lịch sử tham số, giám sát thời gian thực và thẩm quyền thay đổi rõ ràng quan trọng không kém gì tính minh bạch của mã.
Newton Protocol có thể làm cho logic có thể kiểm toán. Câu hỏi khó hơn là liệu các núm chỉnh tạo ra ý nghĩa cho logic ấy có hiển thị rõ ràng tương tự hay không.
Một chính sách có thể vẫn hoàn toàn giống hệt về mặt kỹ thuật—nhưng về mặt vận hành lại trở nên không thể nhận ra. #Newt #Newt $NEWT
Bạn đọc mã chính sách. Nó chưa thay đổi. Nhưng giới hạn rủi ro đã bí mật chuyển từ 20% lên 60%. Đó có phải là một thay đổi chính sách?
Khi Oracle Bất Đồng: Lớp Quản Trị Ẩn Bên Trong Newton Protocol
Tôi đã trở nên thận trọng mỗi khi một hệ thống DeFi tuyên bố rằng nhiều dữ liệu hơn tự động đồng nghĩa với an ninh tốt hơn. Nhiều nguồn có thể giảm sự phụ thuộc vào một nhà cung cấp duy nhất. Nhưng chúng cũng có thể tạo ra một bài toán khó hơn: điều gì xảy ra khi một lúc các nguồn tin đáng tin cậy khác nhau lại mâu thuẫn đúng thời điểm vốn cần được đưa ra quyết định? Hãy tưởng tượng một giao dịch đang tiến gần đến giai đoạn thực thi. Một oracle rủi ro của vault nói rằng vị thế an toàn. Một bộ giám sát depeg phát hiện áp lực bất thường. Một nhà cung cấp về lệnh trừng phạt sẽ xác nhận người dùng. Đồng thời, một tín hiệu tình trạng sức khỏe oracle cảnh báo rằng nguồn cấp giá cơ sở có thể không đáng tin cậy.
Trước đây, tôi từng nghĩ một bài kiểm tra chính sách đã “qua” khi một giao dịch được phê duyệt. Dạo gần đây, điều đó lại giống như một kết quả ít thú vị nhất.
Việc thực thi thành công chỉ chứng minh rằng đúng một nhánh dự kiến đã hoạt động. Nó nói rất ít về việc điều gì xảy ra khi các thông tin xung quanh trở nên không đáng tin cậy hoặc mâu thuẫn.
Chính vì vậy mà luồng mô phỏng quanh @NewtonProtocol đã thu hút sự chú ý của tôi. Một nhà phát triển có thể chạy thử (dry-run) một quyết định ủy quyền, kiểm tra liệu quyết định đó sẽ được cho phép hay bị từ chối, hiểu lý do, và xem các đầu vào oracle nào đã định hình kết quả trước khi tiền thật được chuyển. Giá trị sâu hơn xuất hiện khi bài kiểm tra được cố tình làm cho “khó chịu”.
Điều gì xảy ra nếu một oracle biến mất? Nếu hai quy tắc từ chối cùng một yêu cầu nhưng vì những lý do khác nhau? Nếu điểm rủi ro nằm cách ngưỡng giới hạn đúng một điểm? Nếu dữ liệu đến ở cấu trúc không đúng? Nếu một người dùng hợp lệ bị chặn bởi logic trông có vẻ đúng trên giấy?
Những tình huống đó không còn là các trường hợp “ngoài lề” khi các tổ chức dựa vào các biện pháp kiểm soát tự động. Chúng là những buổi diễn tập cho các sai sót trong vận hành. Newton không loại bỏ rủi ro. Nhưng nó có thể giúp các đội phát hiện những giả định nguy hiểm trước khi các giả định đó giành được quyền lực đối với dòng vốn.
Trong tài chính nghiêm túc, giao dịch an toàn nhất có thể là giao dịch bị buộc phải thất bại trước khi nó trở nên “thật”. #Newt #NEWT $NEWT
Dry run có thể ngăn ngừa những sai lầm tốn kém không?
Newton Protocol và Vai trò của các Tuyên bố Có thể Xác minh trong Việc Áp dụng Blockchain Phổ biến
Ban đầu tôi cho rằng việc áp dụng phổ biến chủ yếu là một vấn đề của ví, vì tôi cứ thấy người dùng vượt qua các lượt kiểm tra phần thưởng, kết nối tài khoản, săn điểm, và rồi vẫn hành xử như thể hệ thống thực sự không biết họ đã nhận được gì, hoặc họ đủ điều kiện vì lý do nào. Ban đầu điều đó có vẻ nhỏ. Chỉ là một lớp đủ điều kiện nữa. Thêm một ô cần tick. Nhưng càng nhìn vào Newton Protocol, tôi càng bắt đầu nghĩ rằng vấn đề áp dụng thực sự không chỉ nằm ở việc tiếp cận. Đó là sự rõ ràng của các tuyên bố. Một ví có thể hiển thị hoạt động, nhưng hoạt động không đồng nghĩa với chất lượng. Một ví có thể hiển thị khối lượng, nhưng khối lượng không đồng nghĩa với sự vững tin. Người dùng có thể đi qua một chiến dịch, nhưng hệ thống vẫn cần biết chính xác điều gì đã được chứng minh, điều gì chỉ là giả định, và điều gì có thể được tái sử dụng an toàn sau này.
@NewtonProtocol l Ban đầu tôi nghĩ rằng cùng một lần chứng thực chỉ có thể thất bại nếu ai đó sao chép nó một cách tệ. Tôi nhận ra điều đó khi kiểm tra các quy tắc đủ điều kiện nhận thưởng: có hai ví trông gần như giống nhau bề ngoài, cùng nhịp hoạt động, cùng thời điểm nhận, nhưng chỉ một chi tiết bằng chứng nhỏ đã khiến cả sự việc trông khác hẳn.
Vấn đề cốt lõi không chỉ là liệu một người dùng có chứng thực hay không. Mà là chứng thực đó có thuộc về đúng hành động này, đúng lần khai nhận này, đúng khoảnh khắc này hay không. Đó là nơi việc xác minh hash chính xác trở nên quan trọng đối với Newton. Một bằng chứng được tái sử dụng có thể trông vẫn hợp lệ từ xa, nhưng hash hoặc khớp với ngữ cảnh dự định, hoặc nó không khớp. Không có sự “tương tự đủ dùng”, không có kiểu “gần đúng”.
Giao thức Newton làm cho sự căng thẳng này trở nên quan trọng vì các hệ thống phần thưởng thường nói rằng họ thưởng cho sự tham gia. Nhưng nếu không ràng buộc bằng chứng một cách chặt chẽ, họ có thể vô tình thưởng cho hành vi phát lại (replay). Khoảng trống khó chịu giữa điểm số và đóng góp thực sự nằm ở đó.
Phần lớn mọi người xem việc kiểm tra hash như một bộ lọc kỹ thuật. Tôi thì xem nó giống như cơ chế kiểm soát áp suất. Nó quyết định liệu chất lượng người dùng có “sống sót” khi phần thưởng bị chen chúc và ai cũng bắt đầu thử các điểm rìa.
Dù vậy, tôi vẫn cứ băn khoăn một điều về Newton: khi các quy tắc trở nên chính xác đến vậy, người dùng chân chính có hiểu rõ ranh giới đủ rạch ròi không, hay chỉ có những người “nuôi canh” (farmer) hiểu?
#Newt #newt $NEWT Việc xác minh hash chính xác có thể ngăn tái sử dụng chứng thực một cách công bằng không?
Newton Token và KYB bảo toàn quyền riêng tư cho quyền truy cập theo tổ chức
Ban đầu tôi cho rằng KYB mang tính thể chế chỉ là một mục kiểm tra đủ điều kiện khác, kiểu mà bạn nhận ra khi kiểm tra xem liệu một ví có thể truy cập một pool, nhận một tier, hoặc tương tác với một thị trường bị hạn chế hay không. Ví hoặc vượt qua hoặc không. Đơn giản.@NewtonProtocol Nhưng càng nhìn vào Newton, tôi càng thấy điều đó không hề đơn giản. Một ví doanh nghiệp có thể được nạp, đang hoạt động, sạch sẽ—và vẫn không trả lời câu hỏi quan trọng nằm bên dưới. Doanh nghiệp này có được phép truy cập thị trường này, theo chính sách này, tại thời điểm này không? Đó là một câu hỏi khác với việc liệu ví có trông bình thường hay không. Và cũng là một câu hỏi khó hơn.