Tài chính phi phản ứng (NoRFi) - Nền tảng xác định cho DeFi và Tài chính tác nhân

Chào ETH Research,

Sau đây là một nỗ lực nhằm khám phá một mô hình an toàn khác cho DeFi, một mô hình không phụ thuộc vào việc phản ứng đủ nhanh với thị trường để tồn tại. Công trình này một phần được truyền cảm hứng từ hai bài viết đã định hình hướng đi mà tôi muốn theo đuổi: Tuyên ngôn Không Cần Tin Cậy và DeFi Rủi ro Thấp. Chúng nêu bật một thách thức rõ ràng mà tôi nghĩ rằng DeFi vẫn chưa giải quyết triệt để: xây dựng các nguyên tắc tài chính cơ bản mà trong đó sự an toàn đến từ các bất biến cứng nhắc, có thể kiểm tra được, và người dùng không bị buộc phải ủy thác kết quả cho các trung gian không thể thiếu và cấu trúc thị trường đối kháng.

• Tuyên ngôn về sự không tin tưởng
  https://trustlessness.eth.limo/general/2025/11/11/the-trustless-manifesto.html

• DeFi rủi ro thấp có thể là công cụ tìm kiếm đối với Ethereum, giống như công cụ tìm kiếm từng là công cụ tìm kiếm của Google.
  https://vitalik.eth.limo/general/2025/09/21/low_risk_defi.html

Sau đây là một nỗ lực cụ thể theo hướng đó: các giao thức phản ứng với các cam kết và thời gian thay vì các nguồn cấp dữ liệu giá cả và các cuộc đua thanh lý, với các chuyển đổi trạng thái mang tính xác định, kế toán rõ ràng và các Vị thế được cô lập nhằm hạn chế rủi ro ngay từ khâu thiết kế.

Kho lưu trữ tài liệu: GitHub - EqualFiLabs/EqualFi: Kho lưu trữ này chứa tài liệu cho EqualFi - một bộ giao thức tài chính phi tập trung, chống trích xuất và có tính xác định.

Tóm tắt

Tài chính phi phản ứng (NoRFi) là một hướng thiết kế DeFi thay thế các cuộc thanh lý do oracle kích hoạt và các cuộc đấu giá phản ứng bằng các máy trạng thái xác định, có tham số thời gian. Thay vì các vị thế duy trì trạng thái "khỏe mạnh" cho đến khi nguồn cấp dữ liệu giá bên ngoài khiến chúng rơi vào cuộc đua thanh lý, các thỏa thuận NoRFi được xác định ngay từ khi bắt đầu với các tham số rõ ràng, các chuyển đổi rõ ràng và các kết quả cuối cùng được giới hạn. Mục tiêu không phải là loại bỏ rủi ro thị trường, mà là làm cho rủi ro trở nên dễ hiểu, cục bộ và có thể thực thi một cách máy móc mà không cần dựa vào thời điểm mang tính đối kháng.

Công trình này đề xuất một nền tảng nhóm tài sản đơn lẻ, trong đó tất cả hoạt động được thể hiện dưới dạng các khoản thế chấp rõ ràng trên số dư (tài sản thế chấp bị khóa, vốn gốc được ký quỹ, dự trữ chào bán). Trên nền tảng đó, ba yếu tố cơ bản xuất hiện: (1) tín dụng tự bảo đảm, trong đó việc vay mượn bị giới hạn trong số dư nhóm tài sản cùng loại của người dùng, (2) tín dụng song phương trực tiếp được tài trợ từ cùng một nhóm, tùy chọn đa tài sản, với việc thanh toán xác định và tùy chọn thực hiện sớm, và (3) các chào bán giao dịch như lệnh giới hạn có lợi suất, trong đó thanh khoản dự trữ có thể vẫn được tính phí theo các quy tắc kế toán của hệ thống.

Bằng cách loại bỏ các cuộc đua thanh lý và làm cho kết quả có thể tính toán được từ trạng thái cục bộ cộng với thời gian, NoRFi tạo ra một lớp thực thi sạch hơn cho các tác nhân tự trị, mà khả năng lập kế hoạch và an toàn của chúng bị suy giảm nghiêm trọng dưới các chế độ lỗi tức thời, do oracle điều khiển. Bài viết này chia sẻ luận điểm, các bất biến cốt lõi và các câu hỏi mở cần được xem xét kỹ lưỡng.

Tài chính phi phản ứng (NoRFi)

NoRFi là một không gian thiết kế nơi các giao thức không phản ứng với giá cả hay thị trường. Chúng phản ứng với các cam kết và thời gian.

Nghe có vẻ như chơi chữ, cho đến khi bạn xem xét những gì hầu hết các hệ thống DeFi thực sự làm. Mô hình chủ đạo là tài chính phản ứng: các vị thế tồn tại cho đến khi một bản cập nhật oracle và một số phép toán ngưỡng cho thấy chúng không còn tồn tại nữa, sau đó hệ thống sẽ cố gắng giải quyết rủi ro thông qua thanh lý, đấu giá và bất kỳ cấu trúc vi mô nào có sẵn trong khối đó. Kết quả trở nên phụ thuộc vào đường đi. Hai người dùng có cùng vị thế có thể nhận được kết quả khác nhau vì bóng nến thị trường kéo dài 90 giây, phí gas tăng đột biến hoặc oracle cập nhật sớm hơn một khối so với dự kiến.

NoRFi lại có quan điểm ngược lại. Thay vì sử dụng giá cả làm yếu tố quyết định sự tồn tại hay biến mất của một vị thế, NoRFi coi mỗi vị thế như một cỗ máy xác định nhỏ có hành vi được định nghĩa ngay từ khi bắt đầu.

• Các bên đưa ra những cam kết rõ ràng: tài sản thế chấp được ký quỹ, vốn gốc được giữ trong tài khoản ký quỹ, thời hạn, quy tắc thanh toán, quyền thực hiện quyền mua sớm tùy chọn.
• Thời gian trôi đi.
• Sự chuyển đổi trạng thái chỉ xảy ra khi một bên thực hiện hành động được cho phép hoặc khi thỏa thuận đạt đến một ranh giới xác định.

Thị trường vẫn tồn tại. Giá cả vẫn biến động. Người dùng vẫn chấp nhận rủi ro kinh tế. Điểm khác biệt là giao thức không cố gắng đuổi theo thị trường trong thời gian thực để duy trì khả năng thanh toán. Nó thực thi một hợp đồng. Kết quả được giới hạn và có thể tính toán được từ trạng thái cục bộ trên chuỗi cộng với thời gian.

Điều này quan trọng vì nó thay đổi câu hỏi từ:

“Làm thế nào để thanh lý tài sản đủ nhanh khi có sự cố xảy ra?”

ĐẾN:

“Những kết quả nào được cho phép, và mức thiệt hại tối đa có thể xảy ra là bao nhiêu, dựa trên những cam kết đã được đưa ra?”

Sự thay đổi đó không chỉ mang tính hình thức. Đó là nền tảng để xây dựng các nguyên tắc tài chính cơ bản có thể dự đoán được trong điều kiện căng thẳng, và để xây dựng nền tài chính chủ động không cần sự giám sát liên tục để tránh những thất bại thảm khốc, tức thời.

Những gì được chia sẻ ở đây là một bước triển khai ban đầu của ý tưởng này: một nền tảng xác định nơi các khoản cho vay, tín dụng song phương và các đề nghị giao dịch đều được thể hiện dưới dạng các ràng buộc rõ ràng và các chuyển đổi trạng thái dựa trên thời gian. Mục tiêu không phải là tuyên bố sự hoàn hảo. Mục tiêu là tạo ra một điểm thiết kế rõ ràng hơn, mang tính cơ học hơn cho DeFi, có thể được xem xét kỹ lưỡng, tấn công và cải thiện.

Cách ly tài khoản

Nếu NoRFi là triết lý, thì việc cách ly tài khoản chính là đòn bẩy kỹ thuật giúp hiện thực hóa triết lý đó.

Hầu hết các hệ thống cho vay DeFi đều gộp rủi ro theo những cách dễ bị bỏ qua cho đến khi chúng không còn được phân chia rõ ràng nữa. Ngay cả khi vị thế được theo dõi riêng cho từng người dùng, vốn vẫn được chia sẻ, và các trường hợp thất bại thường biến thành các dự án chung: nợ xấu được xã hội hóa, thua lỗ được phân bổ cho nhiều người gửi tiền, hoặc ban quản trị buộc phải can thiệp và "xử lý" tình huống khẩn cấp bằng sự tùy ý của con người. Đó không phải là một lời chỉ trích về mặt đạo đức, mà là một hệ quả về mặt kiến trúc của việc chia sẻ khả năng thanh toán.

NoRFi lại muốn điều ngược lại. Họ muốn kết quả đạt được phải mang tính địa phương.

Trong cách triển khai này, mỗi người dùng tương tác thông qua các tài khoản riêng biệt, có thể chuyển nhượng (Vị trí). Một Vị trí là một đơn vị độc lập chứa:

• số dư của nó trong các quỹ tài sản đơn lẻ
• Các khoản thế chấp đối với số dư đó (tài sản thế chấp bị khóa, vốn gốc được ký quỹ, thanh khoản dự trữ)
• các thỏa thuận mà công ty đã ký kết (tín dụng tự bảo đảm, tín dụng trực tiếp, các ưu đãi)
• các quy tắc xác định rõ ràng những gì nó có thể làm tiếp theo và hình thức giải quyết vấn đề.

Sự cô lập ở đây có nghĩa là hai điều rất cụ thể:

1. Không bị ô nhiễm
   Một vị thế không thể tạo ra trách nhiệm pháp lý vô hạn cho các vị thế khác. Nếu có sự cố xảy ra, phạm vi ảnh hưởng sẽ bị giới hạn trong các tài khoản và thỏa thuận đã chấp nhận rủi ro đó một cách rõ ràng.

2. Gánh nặng rõ ràng
   Rủi ro được thể hiện bằng việc giảm số tiền mà một Vị thế có thể rút ra, chứ không phải là một yêu cầu ngầm định đối với một quỹ chung. Nếu một Vị thế ký quỹ vốn gốc vào một thỏa thuận tín dụng Trực tiếp hoặc dự trữ thanh khoản cho một giao dịch, số vốn đó được đánh dấu là đã cam kết. Số vốn đó không thể rút ra và không thể được sử dụng kép ở nơi khác.

Đây là điểm khác biệt then chốt giữa "chúng tôi theo dõi các vị trí một cách riêng biệt" và sự cô lập thực sự. Sự cô lập không phải là một tính năng giao diện người dùng. Đó là một quy tắc kế toán: các cam kết được ưu tiên hàng đầu, và chúng làm giảm sự tự do ở những lĩnh vực khác.

Việc cô lập tài khoản cũng kết hợp một cách tự nhiên với tính xác định. Bởi vì vòng đời của mỗi Vị thế được thúc đẩy bởi trạng thái và thời gian cục bộ, người quan sát có thể suy luận về nó mà không cần tái tạo lại toàn bộ câu chuyện thị trường toàn cầu. Bạn có thể trả lời các câu hỏi cụ thể chỉ từ chuỗi này:

• Điều gì đã được cam kết?
• Những gì có thể rút ra?
• Những tiểu bang nào có thể tiếp cận tiếp theo?
• Kết quả cuối cùng là gì, và mức tổn thất tối đa trên mỗi con đường là bao nhiêu?

Đó chính là hình mẫu an toàn mà NoRFi hướng tới: không phải là "không có điều gì xấu có thể xảy ra", mà là "các kết quả xấu bị giới hạn, rõ ràng và chỉ xảy ra đối với những bên đã lựa chọn chúng".

Không có trung gian

Nhiều rủi ro trong DeFi không đến từ "hợp đồng thông minh". Chúng đến từ con người và quy trình mà bạn buộc phải phụ thuộc vào khi các hợp đồng đó được đưa vào thực tế.

Các nhà tiên tri là những người trung gian. Các nhà thanh lý là những người trung gian. Các người giữ gìn là những người trung gian. Quản trị thường là một người trung gian khoác lên mình chiếc áo phi tập trung. Ngay cả khi những người tham gia này được thúc đẩy bởi động cơ kinh tế hơn là sự tin tưởng về mặt pháp lý, họ vẫn không thể thiếu. Nếu họ thất bại, bị kiểm duyệt, bị mua chuộc, hoặc đơn giản là ngừng xuất hiện khi điều kiện tồi tệ nhất, kết quả của người dùng sẽ thay đổi.

NoRFi lại đi theo hướng ngược lại: thiết kế thuật toán cơ bản sao cho nó không cần bên thứ ba để bảo mật.

Trong công trình này, giao thức không yêu cầu mạng lưới liên tục định giá lại vị thế của bạn và giải cứu hệ thống thông qua các cuộc đấu giá thanh lý. Thay vào đó, nó thực thi các cam kết đã được đưa ra một cách rõ ràng và có thể được xác minh bằng máy móc.

• Một vị thế chỉ trở nên rủi ro khi người đó lựa chọn tham gia vào một cam kết (vay mượn, ký quỹ, dự trữ).
• Giao thức này không cần câu trả lời "ai sẽ thanh lý cái này?" để duy trì khả năng thanh toán.
• Thanh toán là một quá trình chuyển đổi trạng thái được xác định rõ ràng, chứ không phải là một tình trạng khẩn cấp của thị trường.

Đây không phải là lập luận cho rằng các hệ thống dự báo là xấu xa. Đây là lập luận cho rằng sự phụ thuộc vào hệ thống dự báo là một bề mặt kiểm soát. Nếu sự an toàn cốt lõi của bạn dựa vào một nguồn cấp dữ liệu bên ngoài duy trì tính trung thực và kịp thời trong điều kiện căng thẳng, bạn đã đưa vào một bên trung gian không thể thiếu, ngay cả khi nguồn cấp dữ liệu đó được phân tán.

Tương tự, nếu khả năng thanh toán phụ thuộc vào một nhóm các nhà thanh lý cạnh tranh hoạt động đúng đắn trong điều kiện tắc nghẽn và MEV, thì bạn đã giao phó sự an toàn cho một cấu trúc thị trường đối kháng. Đó vẫn là một bên trung gian, chỉ là bạn không thể kiện bên đó mà thôi.

Câu trả lời thông thường là "các biện pháp khuyến khích sẽ giải quyết được vấn đề". Đôi khi chúng thực sự hiệu quả. NoRFi cố gắng loại bỏ sự cần thiết của các biện pháp khuyến khích đối với các đảm bảo cốt lõi.

Kết quả là một định nghĩa khác về tính bền vững:

Không phải là "hệ thống có thể được cứu vãn trong thời gian thực bởi các tác nhân bên ngoài", mà là "các kết quả xấu nhất của hệ thống bị ràng buộc bởi các cam kết và được thực thi bởi chuỗi liên kết".

Đó là ý nghĩa của cụm từ “không có trung gian” ở đây. Không phải là không có gì bên ngoài tồn tại, mà là các đặc tính an toàn cốt lõi không đòi hỏi một tác nhân bên ngoài phải hành xử đúng mực vào chính thời điểm thế giới đang hỗn loạn.

Cơ quan người dùng

Một điều tinh tế đã xảy ra khi DeFi trưởng thành: chúng ta đã bình thường hóa việc rút tiền như một tính năng an toàn.

Các khoản phạt thanh lý, chiết khấu đấu giá, đấu giá gas ưu tiên, các đợt chạy ngược MEV, phần thưởng người giữ, trò chơi cập nhật oracle. Xét riêng lẻ, mỗi yếu tố này thường được biện minh là “cần thiết để bảo vệ” hoặc “cần thiết để đảm bảo khả năng thanh toán”. Nhưng khi gộp lại, chúng tạo ra một môi trường mà người dùng không chỉ phải chịu rủi ro thị trường, mà còn bị ràng buộc bởi quyền cho phép bên thứ ba trục lợi từ sự bất hạnh của bạn, đặc biệt là trong điều kiện hỗn loạn.

Đây không phải là lời buộc tội. Đây là một nhận xét về động cơ thúc đẩy. Nếu sự an toàn của một hệ thống phụ thuộc vào việc các tác nhân bên ngoài xuất hiện vào thời điểm tồi tệ nhất, thì hệ thống đó phải trả tiền cho họ, và phải tạo ra cơ hội để họ chiến thắng. Khoản thanh toán đó chính là sự bóc lột, ngay cả khi nó được ngụy trang dưới danh nghĩa bảo vệ.

NoRFi hướng đến việc khôi phục một hình thức tự chủ đơn giản hơn cho người dùng: kết quả của bạn nên phụ thuộc chủ yếu vào những cam kết bạn đã lựa chọn, chứ không phải vào việc người khác đã đạt được vị trí của bạn trước hay chưa.

Trong ngữ cảnh này, quyền tự quyết của người dùng có nghĩa là:

• Kết quả được giới hạn ngay từ khi bắt đầu: bạn có thể thấy các đường dẫn cuối cùng và hiểu được trường hợp xấu nhất trước khi tham gia.
• Không có điều kiện đua ép buộc: bạn không bị đưa vào một cuộc thi loại trừ mà tốc độ và thứ tự xuất phát quyết định số phận của bạn.
• Những lựa chọn rõ ràng thay vì hình phạt phản ứng: các hành động như hoàn trả, tung xúc xắc hoặc dàn xếp được điều chỉnh bởi các quy tắc và giới hạn thời gian xác định.
• Việc thực hiện sớm tùy chọn khi thích hợp: trong các thỏa thuận song phương, "giải quyết tranh chấp" có thể là một nhánh rõ ràng, mang tính xác định mà người dùng hoặc tác nhân có thể lựa chọn, chứ không phải là một trạng thái thất bại hỗn loạn được kích hoạt bởi một hệ thống dự báo.

Thị trường sẽ luôn cạnh tranh. Con người sẽ luôn cố gắng giành lợi thế. Vấn đề không phải là loại bỏ cạnh tranh, mà là ngăn chặn việc tích hợp cạnh tranh vào mô hình an toàn của một giao thức theo những cách làm giảm quyền kiểm soát của người dùng một cách có hệ thống.

Phiên bản DeFi tốt nhất không chỉ là phi lưu ký. Nó còn không mang tính cưỡng ép: nó thực thi các hợp đồng, chứ không tạo ra các cuộc khủng hoảng để người khác được trả tiền để khai thác.

Tính linh hoạt nguyên thủy

NoRFi không phải là một giao thức duy nhất. Nó là một không gian thiết kế.

Điểm hạn chế chung rất đơn giản: hệ thống không tự bảo vệ mình bằng cách phản ứng với thị trường trong thời gian thực. Nó thực thi các cam kết thông qua thời gian, toán học và sự lựa chọn của người dùng. Mọi thứ ngoài ra chỉ là chi tiết triển khai, và đó là nơi mà tính linh hoạt được thể hiện.

Khi các chuyển đổi trạng thái mang tính xác định, bạn có thể coi giao thức như một cỗ máy có thể dự đoán được chứ không phải là một sinh vật dễ bị tổn thương. Điều đó rất quan trọng vì nó cho phép các nhà phát triển tạo ra các hành vi tài chính phức tạp hơn mà không cần đưa vào các bề mặt kiểm soát ẩn hoặc những khoảnh khắc "phải có người can thiệp".

Một vài ví dụ cho thấy mọi việc trở nên dễ dàng hơn khi kết quả được điều chỉnh bởi các quy tắc rõ ràng:

Định tuyến phí và doanh thu linh hoạt, có thể chứng minh được

Trong các hệ thống phản ứng, phí thường phụ thuộc vào nhiều yếu tố phức tạp: kết quả đấu giá, lợi nhuận thanh lý, điều kiện MEV, thời gian cập nhật oracle. Bạn có thể viết các quy tắc cho việc đó, nhưng việc suy luận về chúng rất khó khăn vì hành vi của giao thức phụ thuộc vào các động lực bên ngoài, mang tính đối kháng.

Trong một hệ thống kiểu NoRFi, phí thường được kích hoạt bởi các sự kiện riêng biệt, có thể liệt kê được:

• tạo thỏa thuận
• lời đề nghị được đáp ứng
• chuyển đổi dựa trên thời gian
• trả lại
• giải quyết hoặc tập luyện sớm

Mỗi sự kiện là một thời điểm hạch toán rõ ràng. Điều đó có nghĩa là việc định tuyến phí có thể được định nghĩa là phép toán trên các đại lượng đã biết:

• lãi suất cố định trên vốn gốc
• bps cố định trên dự trữ giả định
• phí cố định theo lịch trình
• hình phạt xác định trên các nhánh cụ thể

Khi đã có được điều đó, việc chia sẻ doanh thu trở thành một lựa chọn chính sách chứ không phải là một sự cố bất ngờ. Bạn có thể áp dụng các “hiến pháp kinh tế” khác nhau mà không cần thay đổi mô hình an toàn:

• chuyển một phần vào việc tích lũy phí thụ động.
• một phần tuyến đường đến khu bảo tồn.
• một phần nguồn lực được dành cho tính bền vững của giao thức.
• chuyển một phần cho các đối tác tích cực hoặc nhà tạo lập thị trường.

Và bởi vì các yếu tố kích hoạt và công thức được thể hiện rõ ràng, hệ thống dễ dàng được kiểm toán, mô phỏng và phân tích hơn. Bạn có thể tính toán điều gì đáng lẽ đã xảy ra chỉ dựa trên trạng thái.

Nhiều cách hơn để tạo ra lợi nhuận mà không cần nói vòng vo.

Lợi suất trong DeFi thường trở thành một câu chuyện khó hiểu được kể lại sau khi sự việc đã xảy ra. Trong NoRFi, các cơ chế lợi suất có thể được làm rõ ràng hơn vì chúng bắt nguồn từ các cam kết rõ ràng:

• Vốn dành riêng cho các đợt chào bán có thể phát sinh phí theo các quy tắc kế toán rõ ràng.
• Các khoản phạt dàn xếp có thể được định tuyến một cách xác định.
• Các cam kết dựa trên thời hạn có thể được định giá một cách dự đoán được.
• Doanh thu có thể được phân bổ theo công thức chỉ số thay vì hành động tùy ý.

Điều này không đảm bảo năng suất tốt. Nó chỉ giúp việc kiểm tra logic năng suất trở nên dễ dàng hơn về mặt cơ học.

Khả năng kết hợp mà không cần "ngoại lệ khẩn cấp"

Tính xác định cũng làm giảm nhu cầu về logic xử lý ngoại lệ, vốn âm thầm tăng thêm sự tin cậy. Khi một giao thức phụ thuộc vào hành vi bên ngoài không ổn định, sẽ có xu hướng thêm các "lối thoát": tạm dừng, thay đổi tham số, quản trị khẩn cấp, thanh lý đặc quyền.

NoRFi không loại bỏ một cách kỳ diệu mong muốn sử dụng những công cụ đó, nhưng nó làm giảm số lượng các tình huống mà chúng trở nên cần thiết. Hệ thống của bạn càng dựa nhiều vào “toán học và thời gian”, thì nó càng ít cần đến “con người và hy vọng”.

Tóm lại, các nguyên tắc của NoRFi có thể hỗ trợ nhiều thiết kế giao thức khác nhau, từ cực kỳ thận trọng đến khá phức tạp, đồng thời vẫn giữ được tính dễ hiểu của câu chuyện an toàn cốt lõi:

• các cam kết là rõ ràng
• các chuyển đổi có thể đếm được
• Kết quả có giới hạn.
• doanh thu có thể tính toán được

Đó là một chất nền rất thân thiện với người xây dựng. Khó mà giấu được những điều bất ngờ trong đó, và dễ dàng hơn để xây dựng các hành vi phức tạp lên trên mà không làm mất đi mạch truyện chính.

Tài chính đại lý

Tài chính tự động không chỉ đơn thuần là "robot thực hiện giao dịch". Đó là phần mềm tự động quản lý vốn trong thời gian dài: phân bổ, phòng ngừa rủi ro, điều chỉnh cam kết, thực thi chiến lược và phản ứng với các điều kiện thay đổi mà không cần con người theo dõi sát sao từng giờ.

Tương lai đó xung đột trực diện với mô hình an toàn DeFi hiện hành.

DeFi phản ứng (Reactive DeFi) giả định một quy trình làm việc mang tính nhân văn:

• xem bảng điều khiển
• phản ứng với biến động giá
• bổ sung tài sản thế chấp
• tái tài trợ
• xáo trộn khi nhà tiên tri lật ngược tình thế
• Hy vọng công cụ thanh lý sẽ hoạt động tốt trong điều kiện tắc nghẽn.

Các nhà môi giới không "hy vọng". Họ cần những hợp đồng hoạt động như máy móc.

NoRFi là một nền tảng tự nhiên cho tài chính dựa trên tác nhân vì nó biến rủi ro từ một trò chơi định thời điểm mang tính đối kháng thành một vấn đề ra quyết định.

Các tác nhân cần tính tất định hơn là cần lợi nhuận.

Trong một hệ thống dựa trên thanh lý, sự chuyển đổi trạng thái tồi tệ nhất của tác nhân là bên ngoài, tức thời và mang tính đối kháng:

• Nó có thể được kích hoạt bởi Oracle Cadence.
• được khuếch đại bởi sự sắp xếp theo khối và MEV
• tình hình trở nên tồi tệ hơn do giá khí đốt tăng đột biến và tắc nghẽn giao thông.
• được hoàn tất thông qua các cuộc đấu giá, với mức giá được chấp thuận tại thời điểm đó.

Điều này khiến việc lập kế hoạch trở nên dễ bị tổn thương. Ngay cả khi giá trị kỳ vọng là dương, rủi ro đuôi vẫn rất nghiêm trọng vì nhà đầu tư có thể mất kiểm soát vị thế vào thời điểm tồi tệ nhất.

Trong một hệ thống kiểu NoRFi, vòng đời có thể liệt kê được:

• các cam kết là rõ ràng
• các quá trình chuyển đổi được biết đến
• Các giới hạn thời gian đã được biết đến.
• Kết quả cuối cùng có giới hạn.

Trên thực tế, một tác nhân có thể mô hình hóa điều này. Nó có thể tính toán các trạng thái có thể đạt được và chọn các hành động tối ưu hóa trên các trạng thái đó.

Sự thay đổi then chốt: "mặc định" trở thành một nhánh có thể kiểm soát được.

Trong nhiều giao thức DeFi, thanh lý là một trạng thái lỗi phát sinh. Trong các nguyên tắc cơ bản của NoRFi, việc thanh toán là một quá trình chuyển đổi trạng thái được xác định trước.

Trong tín dụng song phương, quyền thực hiện sớm tùy chọn đặc biệt quan trọng: nó cho phép một bên lựa chọn kích hoạt thanh toán theo các điều khoản được xác định trước thay vì bị buộc phải tham gia vào các động thái thanh lý phản ứng. Điều đó biến câu nói “Tôi bị thanh lý” thành “Tôi đã thực hiện nhánh thanh toán vì đó là lựa chọn tối ưu trong điều kiện hiện tại”.

Đó là sự khác biệt giữa:

• bị trừng phạt bởi một sự kiện thị trường
• thực hiện điều khoản hợp đồng

Các đặc vụ được tạo ra cho thế giới thứ hai.

Thời gian là một API

Đây là một điểm thường bị đánh giá thấp. Các tác nhân (agent) giỏi trong việc lập kế hoạch, dự báo và tối ưu hóa trong điều kiện ràng buộc. Tuy nhiên, chúng không giỏi trong việc đối phó với các tác nhân gây nhiễu không rõ ràng, mang tính đối kháng có thể xảy ra bất cứ lúc nào.

Khi các thỏa thuận được xác định theo tham số thời gian, thời gian trở thành một giao diện đáng tin cậy:

• thời hạn
• cửa sổ
• thời gian cuộn
• bảng phí đã biết
• ranh giới khu định cư đã biết

Điều này giúp các chiến lược có thể kết hợp với nhau. Một tác nhân có thể xâu chuỗi các hành động lại với nhau một cách chắc chắn rằng hợp đồng vẫn sẽ ở trạng thái như mong đợi khi nó thực hiện hành động.

Chủ nghĩa quyết định làm giảm nhu cầu về "các hoạt động đáng tin cậy".

Tài chính đại lý quy mô lớn không thể phụ thuộc vào các nhà điều hành chuyên biệt để duy trì hệ thống:

• những người trông coi phải có mặt
• những người thanh lý phải hành xử đúng mực
• Những người cập nhật Oracle phải luôn trung thực và kịp thời.

Đó là các bên trung gian, và các bên trung gian tiềm ẩn rủi ro vận hành. Các tác nhân không muốn có một sơ đồ phụ thuộc giữa các tổ chức con người và các kế hoạch khuyến khích giữa họ và kết quả đạt được.

NoRFi giảm thiểu sự phụ thuộc vào thị trường vì giao thức này không dựa vào phản ứng thị trường theo thời gian thực để đảm bảo khả năng thanh toán. Nó thực thi các cam kết. Tác nhân chỉ cần chuỗi khối tiếp tục tạo ra các khối.

Vì sao điều này lại quan trọng, vượt ra ngoài phạm trù ý thức hệ.

Nếu tài chính ủy quyền trở thành hiện thực, các giao thức đòi hỏi phòng thủ phản ứng liên tục sẽ trở nên kém hiệu quả hơn theo thời gian, chứ không phải ngược lại. Càng trao nhiều quyền tự chủ cho phần mềm, nền tảng càng cần phải ổn định, dễ đọc và không mang tính ép buộc.

NoRFi được xây dựng dựa trên yêu cầu đó. Đó là một mô hình tài chính mà các quy tắc không thay đổi dựa trên sự hỗn loạn của thị trường, và kết quả xấu nhất là điều bạn có thể tính toán trước khi tham gia.

Đó là lý do tại sao tôi nghĩ NoRFi không chỉ tương thích với tài chính tác nhân. Đó là hướng đi mà DeFi có thể phải hướng tới nếu chúng ta muốn vốn tự chủ không chỉ là một tập hợp các bot tranh giành các công cụ thanh lý để kiếm lợi nhuận.

Bản triển khai tham chiếu NoRFi đầu tiên

Equalis là phiên bản tham chiếu hiện tại của những ý tưởng NoRFi này. Nó không được coi là “thiết kế duy nhất đúng”, mà là một hệ thống cụ thể mà bạn có thể kiểm tra để xem điều gì sẽ xảy ra khi bạn chấp nhận thuyết định mệnh, sự ràng buộc rõ ràng và các Vị trí biệt lập.

Trong phiên bản tham chiếu hiện tại, các tính năng sau đây có sẵn:

• Vị trí NFT
  Trạng thái người dùng được thể hiện bằng một Vị thế riêng biệt, có thể chuyển nhượng (một NFT) chứa số dư, các khoản thế chấp và trạng thái thỏa thuận.

• Tín dụng tự bảo đảm (có kỳ hạn và tín dụng quay vòng)
  Một vị thế chỉ có thể vay dựa trên số dư chung của chính vị thế đó trong cùng loại tài sản. Có cả hình thức vay có kỳ hạn và vay quay vòng.

• Chuyển khoản trực tiếp (thỏa thuận P2P)
  Các thỏa thuận song phương được tài trợ từ cùng một nguồn vốn duy nhất. Các thỏa thuận này có thể là cùng loại tài sản hoặc khác loại tài sản và được thanh toán một cách xác định. Về mặt lợi nhuận, chúng có thể thể hiện các kết quả có giới hạn, giống như quyền chọn (mức độ rủi ro được định hình bởi quyền chọn mua hoặc quyền chọn bán) mà không cần thanh lý do hệ thống dự báo tự động kích hoạt.

• Bài tập sớm và các cấu trúc có thể huy động
  Các thỏa thuận trực tiếp có thể tùy chọn cho phép thực hiện sớm (thanh toán xác định do người vay kích hoạt) và hành vi tương tự như quyền gọi lại (các hành động do người cho vay kích hoạt theo các quy tắc được xác định trước). Điểm mấu chốt là đây là các chuyển đổi trạng thái rõ ràng, chứ không phải là các thanh lý phản ứng.

• Các nhóm được quản lý (cấu hình dành cho tổ chức)
  Các biến thể của nhóm hỗ trợ sự tham gia có giới hạn và kiểm soát chính sách cho các môi trường yêu cầu, trong khi vẫn sử dụng cùng một mô hình kế toán cơ bản.

Chỉ số phí và chỉ số tín dụng chủ động

Equalis phân tách "nguồn gốc lợi nhuận" thành hai lộ trình tích lũy xác định, mỗi lộ trình được kích hoạt bởi các sự kiện và quy tắc kế toán cụ thể:

• Chỉ số tín dụng chủ động (ACI)
  Vốn tham gia tích cực vào hoạt động tín dụng, cả về phía vay và phía cho vay, sẽ tạo ra ACI. Đây là con đường kế toán gắn liền với việc sử dụng tín dụng tích cực.

• Chỉ số phí
  Người gửi tiền thụ động sẽ phải chịu phí chỉ số (Fee Index), và một số số dư bị ràng buộc nhất định cũng có thể phải chịu phí này (ví dụ: tài sản thế chấp bị khóa được đăng ký cho các thỏa thuận Trực tiếp), bởi vì hệ thống theo dõi khả năng rút tiền riêng biệt với việc tích lũy phí.

Điểm quan trọng không nằm ở các công thức chính xác trong phần này, mà là cả hai chỉ số đều được thúc đẩy bởi các hành động riêng lẻ, có thể đếm được và thời gian. Điều đó làm cho chúng dễ mô hình hóa, kiểm toán và phân tích hơn so với các cơ chế lợi nhuận phụ thuộc vào lợi nhuận thanh lý hoặc điều kiện đấu giá.

Lệnh giới hạn có lợi suất (YBLO)

Trên cùng một nền tảng pool, Equalis cũng hỗ trợ các Lệnh Giới Hạn Chịu Lợi Nhuận (YBLO) . Đây là các lệnh giao dịch giữ lại vốn giống như lệnh giới hạn truyền thống, nhưng thực hiện điều đó thông qua việc thế chấp rõ ràng thay vì chuyển tiền ra khỏi bề mặt lợi nhuận.

Về mặt khái niệm:

• Vị thế (Position) đưa ra đề nghị mua hoặc bán theo tỷ lệ xác định.
• Số dư cần thiết được dành riêng (bị ràng buộc) nên không thể rút ra hoặc sử dụng hai lần.
• Trong thời gian được giữ lại, số dư đó vẫn có thể tích lũy Chỉ số Phí , vì việc tích lũy phí được hạch toán riêng biệt với khả năng rút tiền.
• Khi lệnh được khớp, giao dịch sẽ được thực hiện một cách chắc chắn theo các điều khoản của chào giá, mà không chuyển thành vị thế tín dụng không giới hạn thời gian.

Hiệu quả thực tế là bạn có thể duy trì thanh khoản "trên tường" mà không cần phải lựa chọn giữa việc trở thành người tạo lập thị trường và kiếm phí được phân phối bởi giao thức. Đây là một ví dụ khác về mô hình NoRFi: cam kết rõ ràng + thực thi mang tính xác định, thay vì logic tạo lập thị trường mang tính phản ứng.

Tín dụng tự bảo đảm và tỷ lệ LTV cao mà không có rủi ro thanh lý.

Tín dụng tự bảo đảm có thể hỗ trợ tỷ lệ LTV cao, ví dụ 95%, vì hệ thống không cần vùng đệm thanh lý theo nghĩa truyền thống. Không có cơ chế nào cố gắng buộc bạn đóng tài khoản dựa trên biến động giá. Thay vào đó, thiết kế chỉ yêu cầu vị thế duy trì đủ vùng đệm để bù đắp khoản phạt đã được xác định trước trên lộ trình thanh toán.

Về mặt khái niệm:

• Bạn không bảo vệ giao thức khỏi ảnh hưởng của giá cả; bạn đang đáp ứng một yêu cầu hợp đồng đã biết trên nhánh "thanh toán".
• Kết quả xấu nhất có thể xảy ra được giới hạn bởi các quy tắc đã thỏa thuận, do đó, mức dự phòng được tính toán dựa trên chi phí xác định trước, chứ không phải sự hỗn loạn của thị trường.

Một kịch bản đòn bẩy liên kết (không phải "lợi nhuận miễn phí", mà là có thể lập kế hoạch được bởi người môi giới)

Vì mỗi vị thế và mỗi tương tác trong nhóm đều độc lập và mang tính xác định, bạn có thể xây dựng các chiến lược liên kết mà sẽ rất nguy hiểm trong các hệ thống dựa trên thanh lý.

Ví dụ về quy trình làm việc:

1. Người dùng gửi Token A vào Pool A
2. Người dùng vay với tỷ lệ LTV 95% bằng Token A (Tự bảo đảm, cùng loại tài sản)
3. Người dùng đổi Token A đã mượn lấy Token B.
4. Người dùng gửi Token B vào Pool B
5. Người dùng vay với tỷ lệ LTV 95% bằng Token B.
6. Người dùng đổi Token B đã mượn lấy Token C.
7. Người dùng gửi Token C vào Pool C
8. Người dùng vay với tỷ lệ LTV 95% bằng Token C.
9. Lặp lại thao tác này với các tài sản khác nếu muốn.

Có một vài điểm cần nhấn mạnh để tránh hiểu sai:

• Đây không phải là lợi suất miễn phí. Các khoản vay sẽ phát sinh lãi suất (ACI), và các giao dịch hoán đổi sẽ tạo ra chênh lệch lãi suất, phí và chi phí thực hiện.
• Điểm mấu chốt là người dùng có thể lập kế hoạch các chiến lược đa giai đoạn phức tạp, trong đó mỗi giai đoạn có các điều khoản xác định và không có cuộc đua thanh lý.
• Mỗi nhánh được tách biệt theo nghĩa là giao thức sẽ không thanh lý toàn bộ cấu trúc do sự biến động nhất thời trên một thị trường. Nếu một nhánh cụ thể trở nên không hiệu quả về mặt kinh tế, rủi ro thua lỗ của người dùng sẽ bị giới hạn bởi các cam kết và quy tắc thanh toán của nhánh đó, chứ không bị khuếch đại bởi việc thanh lý phản ứng bắt buộc.

Đây là loại môi trường mà các tác nhân tự chủ mong muốn: không phải là không có rủi ro, mà là một bộ quy tắc trong đó rủi ro được xác định rõ ràng, cục bộ và có thể tính toán được, giúp cho các chiến lược chuỗi phức tạp trở nên khả thi mà không cần xây dựng một cỗ máy phòng thủ thanh lý vĩnh viễn xung quanh chúng.

Mã thông báo chỉ số NoRFi

Phiên bản hiện tại cũng cung cấp một Nhà máy Token Chỉ số . Mục đích không phải là "đầu tư thụ động", mà là một phương pháp xác định để tạo và mua lại các rổ tài sản đa dạng mà không biến giao thức thành một công cụ định giá phản ứng thụ động.

Ở cấp độ cao, nhà máy tạo ra một token chỉ số ERC20 mới có cơ sở dữ liệu được xác định hoàn toàn bằng toán học:

• Một danh sách cố định các tài sản thành phần
• Một khoản tiền cố định cho mỗi tài sản trên mỗi đơn vị chỉ số 1e18.
• Biểu phí cố định cho các khoản vay mint, burn và flash.
• Phân chia phí cố định giữa những người nắm giữ phí (quỹ phí) và kho bạc của giao thức (tùy chọn).

Không có logic tái cân bằng nào cả. Không có chuyện "theo dõi giá chỉ số". Danh mục đầu tư được xác định bởi thành phần, chứ không phải bởi một chỉ báo nào đó.

Những gì được tạo ra

Khi bạn tạo một chỉ mục, bạn đang triển khai một IndexToken ERC20 chuyên dụng và đăng ký cấu hình Chỉ mục tương ứng bên trong factory.

Các tham số tạo lập xác định:

• tên, ký hiệu cho ERC20
• assets[] : các thành phần trong giỏ hàng
• bundleAmounts[] : số lượng mỗi loại tài sản hỗ trợ cho 1e18 đơn vị của token chỉ số
• mintFeeBps[] và burnFeeBps[] : phí trên mỗi tài sản khi tạo và đốt.
• flashFeeBps : phí cho vay nhanh
• protocolCutBps : tỷ lệ phân chia phí thu được giữa người nắm giữ và kho bạc của giao thức (nếu được bật).

Sự sáng tạo mang tính quyết định và phòng thủ:

• Độ dài mảng phải khớp nhau
• Tài sản phải là duy nhất
• Số lượng trong gói hàng phải khác không.
• Phí được giới hạn (phí tạo mã chứng khoán, phí đốt mã chứng khoán, phí giao dịch nhanh đều bị giới hạn, phí cắt giao thức cũng bị giới hạn).

Nhà máy quay trở lại:

• một indexId mới
• địa chỉ IndexToken đã triển khai

Kế toán số dư kép: tại sao việc tính toán lượng tiền gửi và lượng tiền rút ra lại dễ hiểu?

Mỗi chỉ số theo dõi hai số dư cho mỗi loại tài sản:

1. Số dư trong kho (dựa trên giá trị tài sản ròng)
   Đây là nền tảng cốt lõi của token chỉ số, là "tài sản thực" tiềm ẩn.

2. Số dư quỹ phí (phí tích lũy)
   Các khoản phí phát sinh trong quá trình tạo, đốt và vay nhanh được tích lũy tại đây và không được thanh toán ngay lập tức. Chúng được phân bổ theo tỷ lệ cho người nắm giữ khi họ đốt chúng.

Sự phân chia này rất quan trọng vì nó giúp cho hành vi của hệ thống trở nên dễ hiểu hơn:

• NAV là nguồn vốn hỗ trợ.
• Quỹ phí là "khoản cổ tức" tích lũy được.
• Việc đốt sẽ giúp bạn lấy lại phần của cả hai thứ đó.

Phát hành chứng chỉ số mới: cách thức phát hành các đơn vị chỉ số mới.

Để tạo ra units của mã thông báo chỉ số, người tạo mã thông báo sẽ chuyển số lượng cần thiết vào kho tiền, cộng thêm phí.

Đối với mỗi tài sản trong gói:

• required = bundleAmount * units / 1e18
• fee = required * mintFeeBps / 10_000
• required + fee

Sau đó:

• required được ghi có vào số dư kho tiền.

• fee được chia theo quy luật xác định:

  • potShare sẽ được chuyển vào quỹ phí cho tài sản đó.
  • protocolShare sẽ được chuyển vào quỹ dự phòng nếu quỹ dự phòng được cấu hình, nếu không thì nó cũng sẽ được chuyển vào quỹ phí.

Cơ chế phát hành mang tính tỷ lệ và cơ học. Đối với các chỉ số hiện có với nguồn cung, việc phát hành dựa trên việc duy trì quyền sở hữu theo tỷ lệ trong toàn bộ rổ tài sản. Hợp đồng lựa chọn mức đóng góp theo tỷ lệ giới hạn giữa các tài sản để nguồn cung không thể bị thổi phồng do thiếu vốn ở một thành phần nào đó.

Lưu ý thực tế: việc triển khai bao gồm bảo vệ phí chuyển khoản bằng cách kiểm tra số tiền nhận được so với mức tối thiểu dự kiến. Tiền trả thừa sẽ không được hoàn lại. Điều này giúp cho hoạt động của mint diễn ra ổn định ngay cả khi ERC20 có những hành vi bất thường.

Sự thiêu đốt: cách thức chuộc tội diễn ra

Để hủy units , người nắm giữ sẽ trả lại các token chỉ số và nhận được một phần tỷ lệ thuận của cả giá trị tài sản ròng (NAV) và phí tích lũy.

Đối với mỗi tài sản:

• navShare = vaultBalance * units / totalSupply
• potShare = feePotBalance * units / totalSupply
• gross = navShare + potShare
• burnFee = gross * burnFeeBps / 10_000
• netOut = gross - burnFee

Sau đó:

• navShare được trừ vào số dư trong kho tiền.
• potShare được trừ vào quỹ phí.
• burnFee được chia theo cùng quy tắc pot versus protocol.
• netOut được chuyển đến bộ đốt.

Đây là lý do tại sao mô hình quỹ phí lại đơn giản: việc phân phối phí diễn ra tự nhiên khi đốt phí, mà không cần logic điều chỉnh định kỳ, điểm kiểm tra hoặc kế toán bên ngoài.

Vay nhanh: vay cả giỏ hàng, trả phí cố định.

Các khoản vay nhanh chóng được tính theo tỷ lệ rổ hàng hóa:

• Bạn chỉ định units

• Với mỗi loại tài sản, số tiền vay là:

  • loanAmount = vaultBalance * units / totalSupply

• Mức phí là:

  • loanFee = loanAmount * flashFeeBps / 10_000

Bên nhận sẽ nhận được tài sản, thực hiện logic tùy ý, sau đó phải hoàn trả vốn gốc cộng với phí trong cùng một giao dịch. Phí lại được chia một cách xác định vào các quỹ phí và tùy chọn vào kho bạc của giao thức.

Tại sao điều này lại phù hợp với NoRFi?

Hệ thống chỉ số này "phù hợp với NoRFi" vì một lý do đơn giản: nó không cần phải phản ứng với giá thị trường.

• Giỏ hàng được định nghĩa bởi thành phần cố định và số lượng cố định trên mỗi đơn vị.
• Việc tạo và đốt chỉ đơn thuần là hạch toán theo tỷ lệ tương ứng với số dư trên chuỗi.
• Phí và việc phân chia phí là những phép toán cụ thể dựa trên các sự kiện cụ thể.

Vì vậy, bạn sẽ có một kiểu dữ liệu nguyên thủy giống như chỉ mục, đó là:

• Không lưu giữ tài sản theo đúng nghĩa (tài sản đảm bảo nằm trên chuỗi khối và có thể quy đổi)
• có tính xác định để suy luận và kiểm tra
• Tương thích với các hệ thống phức tạp hơn, vì "những gì xảy ra" luôn có thể suy ra từ trạng thái cộng với các tham số cuộc gọi, chứ không phải từ các cập nhật giá bên ngoài.

Nói cách khác, nhà máy sản xuất ra các token chỉ mục hoạt động như những vật thể cơ học thuần túy. Chúng không cần một oracle để được coi là "chính xác", bởi vì định nghĩa về tính chính xác chính là bản thân gói token đó.

Giờ thì sao?

Bài đăng này nhằm mục đích cung cấp điểm khởi đầu công khai, chứ không phải là kết luận. Các thiết kế, thông số kỹ thuật và ghi chú hỗ trợ nằm ở đây:

https://github.com/EqualFiLabs/EqualFi

Tôi đánh giá cao những lời phê bình theo cách mà nghiên cứu DeFi thường làm tốt nhất: tấn công các giả định, tìm ra các trường hợp ngoại lệ và cho tôi biết các quy luật bất biến bị phá vỡ ở đâu.

Điều tôi đang yêu cầu

• Đánh giá bất biến: Liệu các mục tiêu đã nêu của NoRFi có thực sự được duy trì trong điều kiện đối kháng, hay chúng sụp đổ thành phản ứng ngầm nào đó?
• Kiểm tra kế toán: Các ràng buộc về cam kết và rút vốn có hợp lý không, đặc biệt là trong trường hợp ghi nhận một phần, nhiều thỏa thuận cho mỗi vị trí và chuỗi hành động phức tạp?
• Lý thuyết trò chơi: Ngay cả khi không có các cuộc đua thanh lý, các động lực vẫn tạo ra sự bóc lột hoặc cưỡng ép ở những nơi nào?
• MEV và các điều kiện biên: Những chiến lược MEV nào còn lại liên quan đến việc nạp tiền, gia hạn, ranh giới đáo hạn và thực hiện thanh toán?
• Các khía cạnh an toàn: Đâu là những giả định về độ tin cậy còn lại (khả năng nâng cấp, cấu hình theo vai trò, danh sách cho phép mã thông báo, nhóm được quản lý), và những giả định nào là không thể chấp nhận được nếu mục tiêu là giảm thiểu độ tin cậy?

Tôi đã nhận thấy những trở ngại tiềm tàng.

Đây là những lĩnh vực mà tôi dự đoán sẽ gây tranh cãi hoặc khó khăn về mặt kỹ thuật:

• Những điều kỳ lạ của ERC20: phí chuyển khoản, điều chỉnh lại cơ sở dữ liệu, giá trị hoàn trả không chuẩn và các hook token có thể phá vỡ các hệ thống "toán học thuần túy" trừ khi được hạn chế một cách nghiêm ngặt.
• Dấu thời gian và các giới hạn khung thời gian: các quy tắc dựa trên thời gian có thể dự đoán được, nhưng chúng cũng tạo ra các trò chơi ranh giới cần được xử lý cẩn thận.
• Rủi ro cấu trúc phức tạp: ngay cả khi mỗi nhánh được tách biệt, người dùng vẫn có thể kết nối các nhánh lại với nhau thành các cấu trúc đòn bẩy cao. Đây không phải là rủi ro về khả năng thanh toán của giao thức theo cách tương tự như các hệ thống thanh lý, nhưng nó có thể tạo ra các sự cố nghiêm trọng ở cấp độ người dùng mà cuối cùng sẽ bị đổ lỗi cho giao thức.
• Triển khai có khả năng nâng cấp so với thử nghiệm độc lập: nếu bất kỳ phần nào có thể nâng cấp được hiện nay, đó mới là bề mặt điều khiển thực sự. Lộ trình hướng tới các triển khai bất biến hoặc bị ràng buộc chặt chẽ cần phải được xác định rõ ràng.
• Đặc điểm thể chế: các nhóm được quản lý rất hữu ích, nhưng chúng lại kéo theo các quy định kiểm soát. Sự phân tách giữa lõi không cần cấp phép và các biến thể bị hạn chế phải rất rõ ràng.

Nếu bạn chỉ đánh giá một thứ

Phản hồi có giá trị nhất sẽ là: xác định tình huống cụ thể nhỏ nhất mà hệ thống vi phạm một trong những đảm bảo dự định của nó (phân bổ rủi ro, giải quyết mang tính xác định, không có điều kiện tranh chấp bắt buộc), và giải thích lý do tại sao.

Nếu NoRFi muốn trở nên hữu ích như một không gian thiết kế, nó cần phải có khả năng kiểm chứng sai. Tôi ủng hộ điều đó.