Hồ sơ của AERI 艾瑞

·

--

Tôi đã từng chứng kiến một vị thế cho vay bị thanh lý một lần theo một mức giá mà, một giờ sau đó, không ai có thể đồng ý rằng thực sự đó là mức giá thị trường tại thời điểm đó. Mọi bước diễn ra ngay sau con số đó đều được thực thi đúng y như cách nó được viết. Về mặt kỹ thuật, việc thanh lý là chính xác. Con số thì không đúng. Tôi đã phải sống với sự khó chịu của sự phân biệt đó lâu hơn mức thấy hữu ích, chủ yếu vì không có gì trong quy trình thực sự bị lỗi. Đó chính là “đường may” mà tôi liên tục quay lại khi nói về Newton Protocol và Mainnet Beta: nơi tôi bắt đầu quan sát nó trong thực tế thay vì chỉ trên giấy tờ. Trên Newton, chính sách của một Vault được đánh giá dựa trên dữ liệu được nạp vào thông qua các provider như RedStone và Credora, và các operator xác nhận độc lập rằng họ đã lấy đúng những gì họ nói là đã lấy. Sự xác nhận đó là có thật—có thể kiểm tra bằng mật mã—và nếu một operator bị bắt đang bịa đặt một đầu vào, họ có thể bị đưa ra thách thức và bị phạt cắt thưởng. Nhưng sự xác nhận chỉ bao phủ việc họ giữ/tiếp nhận con số đó, chứ không bảo chứng cho tính đúng của nó. Nếu một feed báo giá đã cũ hoặc một điểm rủi ro đơn giản là sai, thì các operator của Newton sẽ vẫn trung thực xác nhận rằng họ nhận đúng đầu vào đó, đánh giá chính sách một cách chính xác dựa trên chính đầu vào sai ấy và tạo ra một biên nhận có thể kiểm chứng rằng một quyết định tệ đã được thực hiện một cách hoàn hảo. Newton phải tiếp tục chứng minh rằng cam kết đó vẫn được giới hạn một cách trung thực—rằng “chính sách được thực thi đúng” không bao giờ bị hiểu lặng lẽ thành “kết quả là đúng”. Biên nhận từ Explorer phải làm ranh giới đó hiện rõ, thay vì che phủ nó. Săn đuổi những điểm mấu chốt mà không hiểu chính xác điều gì đang được ủy quyền là một cách nhanh để hiểu sai Newton đang xây dựng gì. Trên Newton, chuyện gì xảy ra lần đầu một Vault thực thi một chính sách một cách hoàn hảo đối với một con số thực ra chỉ đơn giản là sai? Thực thi đã được xác minh không giống với chân lý đã được xác minh. @NewtonProtocol $NEWT #Newt

Tôi đã từng chứng kiến một vị thế cho vay bị thanh lý một lần theo một mức giá mà, một giờ sau đó, không ai có thể đồng ý rằng thực sự đó là mức giá thị trường tại thời điểm đó. Mọi bước diễn ra ngay sau con số đó đều được thực thi đúng y như cách nó được viết. Về mặt kỹ thuật, việc thanh lý là chính xác.

Con số thì không đúng. Tôi đã phải sống với sự khó chịu của sự phân biệt đó lâu hơn mức thấy hữu ích, chủ yếu vì không có gì trong quy trình thực sự bị lỗi.

Đó chính là “đường may” mà tôi liên tục quay lại khi nói về Newton Protocol và Mainnet Beta: nơi tôi bắt đầu quan sát nó trong thực tế thay vì chỉ trên giấy tờ.

Trên Newton, chính sách của một Vault được đánh giá dựa trên dữ liệu được nạp vào thông qua các provider như RedStone và Credora, và các operator xác nhận độc lập rằng họ đã lấy đúng những gì họ nói là đã lấy. Sự xác nhận đó là có thật—có thể kiểm tra bằng mật mã—và nếu một operator bị bắt đang bịa đặt một đầu vào, họ có thể bị đưa ra thách thức và bị phạt cắt thưởng.

Nhưng sự xác nhận chỉ bao phủ việc họ giữ/tiếp nhận con số đó, chứ không bảo chứng cho tính đúng của nó. Nếu một feed báo giá đã cũ hoặc một điểm rủi ro đơn giản là sai, thì các operator của Newton sẽ vẫn trung thực xác nhận rằng họ nhận đúng đầu vào đó, đánh giá chính sách một cách chính xác dựa trên chính đầu vào sai ấy và tạo ra một biên nhận có thể kiểm chứng rằng một quyết định tệ đã được thực hiện một cách hoàn hảo.

Newton phải tiếp tục chứng minh rằng cam kết đó vẫn được giới hạn một cách trung thực—rằng “chính sách được thực thi đúng” không bao giờ bị hiểu lặng lẽ thành “kết quả là đúng”. Biên nhận từ Explorer phải làm ranh giới đó hiện rõ, thay vì che phủ nó.

Săn đuổi những điểm mấu chốt mà không hiểu chính xác điều gì đang được ủy quyền là một cách nhanh để hiểu sai Newton đang xây dựng gì.

Trên Newton, chuyện gì xảy ra lần đầu một Vault thực thi một chính sách một cách hoàn hảo đối với một con số thực ra chỉ đơn giản là sai? Thực thi đã được xác minh không giống với chân lý đã được xác minh.

@NewtonProtocol $NEWT #Newt

AERI 艾瑞

Ranh giới của Những Gì Newton Thực Sự Xác Nhận

Tại sao các lược đồ Oracle của Newton lại quan trọng trước khi đánh giá một chính sách đơn lẻ

Ai Cũng Đang Nói Về Sự Tuân Thủ. Giao Thức Newton Đang Thay Đổi Ai Là Người Được Hưởng Lợi Từ Nó.

Tại sao Newton tách logic chính sách khỏi logic ứng dụng

NEWTON: Tách Ủy quyền khỏi các thay đổi đối chiếu làm thay đổi vòng đời giao dịch

Lừa đảo không phải lúc nào cũng trông nguy hiểm khi đến được ví.

Chủ đề thịnh hành