Hầu hết các hệ thống giải quyết tranh chấp đều cần đặt niềm tin vào ai đó.

Một tổ chức đa chữ ký (multisig) gồm các bên được tin cậy bỏ phiếu về kết quả. Quy trình quản trị cho phép những người nắm giữ token quyết định ai đúng. Một hội đồng trọng tài đưa ra phán quyết và mọi người chấp nhận điều đó.

Mỗi cơ chế này đều có một điểm yếu cấu trúc giống nhau: việc giải quyết phụ thuộc vào tính toàn vẹn của các bên thực hiện việc phân xử.

@NewtonProtocol cơ chế thách thức của ' được thiết kế sao cho tính toàn vẹn của bất kỳ bên nào cũng không quan trọng.

Việc giải quyết phụ thuộc vào toán học.

Cách thức hoạt động trong thực tế như sau.

Mỗi lần xác nhận (Newton attestation), sau khi được ghi onchain thông qua hợp đồng TaskManager, sẽ mở ra một khoảng thời gian thách thức do cơ chế quản trị xác định.

Trong khoảng thời gian đó, bản xác nhận là tạm thời. Nó không thể được dùng để ủy quyền các giao dịch mới. Nó được ghi nhận, nhưng chưa phải là kết luận cuối cùng.

Bất kỳ ai cũng có thể thách thức.

Không chỉ những nhà vận hành đã đăng ký. Không chỉ các thành viên thuộc nhóm Newton. Bất kỳ thực thể nào — một kiểm toán viên tuân thủ, một nhà nghiên cứu độc lập, một ứng dụng cạnh tranh, một tập lệnh giám sát tự động — đều có thể xem một bản xác nhận và phản biện nó.

Nếu người thách thức tin rằng bản xác nhận là sai, họ không nộp đơn khiếu nại. Họ chứng minh điều đó.

Người thách thức sẽ đánh giá lại cùng một chính sách Rego trên cùng dữ liệu đầu vào đó, độc lập với mạng lưới vận hành của Newton, trong một máy ảo thực thi (virtual machine) dạng zero-knowledge.

ZKVM mà họ sử dụng — SP1 hoặc RISC0 — sẽ biên dịch toàn bộ bộ thông dịch Rego thành một đích RISC-V và chạy việc đánh giá chính sách bên trong đó.

Điều tạo ra là một bằng chứng zero-knowledge chứng nhận rằng: với chính sách cụ thể này, được xác định bằng địa chỉ nội dung IPFS của nó; với chính xác bộ dữ liệu đầu vào này; công cụ đánh giá Rego tạo ra đúng đầu ra cụ thể này.

Bằng chứng được nộp onchain cùng với phần thách thức.

Hợp đồng thông minh giờ có hai mảnh thông tin: bản xác nhận gốc từ các nhà vận hành, và bằng chứng ZK của bên thách thức về kết quả đúng.

Nó tự động kiểm tra ba điều.

Bằng chứng ZK có hợp lệ không?

Kết quả đã được chứng minh có khác với kết quả được xác nhận không?

Thách thức có được gửi trong đúng khoảng thời gian mở tranh chấp không?

Nếu cả ba điều kiện đều được đáp ứng, thách thức sẽ thành công.

Nếu bằng chứng không hợp lệ, hoặc kết quả đã được chứng minh khớp với bản xác nhận, hoặc cửa sổ tranh chấp đã đóng, thì thách thức thất bại và bản xác nhận vẫn được giữ.

Không có con người nào đưa ra quyết định này. Không cần biểu quyết quản trị. Hợp đồng thực thi logic xác định (deterministic).

Khi một thách thức thành công, cơ chế instant slashing của EigenLayer sẽ kích hoạt đối với mọi nhà vận hành đã ký vào bản xác nhận sai.

Một tỷ lệ phần trăm được cấu hình trong số ETH đã đặt cọc hoặc token staking thanh khoản của họ bị cắt phạt (slashed) — vốn thật, ngay lập tức có nguy cơ bị ảnh hưởng.

Hệ quả kinh tế tỉ lệ theo mức độ nghiêm trọng của hành vi sai và tăng theo số stake của nhà vận hành.

Sự kết hợp giữa các thách thức không cần xin phép (permissionless) và hệ quả kinh tế tạo ra một cấu trúc khuyến khích cụ thể cho các nhà vận hành.

Đánh giá đúng sẽ nhận phí thực thi tỉ lệ với số stake.

Đánh giá sai — dù do bất cẩn hay do thao túng có chủ đích — sẽ phơi toàn bộ vị thế đã stake của họ cho một cuộc thách thức mà bất kỳ ai cũng có thể gửi chỉ với một bằng chứng ZK.

Phản ứng hợp lý là đánh giá đúng mọi lúc.

Không phải vì các nhà vận hành được giả định là trung thực. Mà vì việc không trung thực là vừa có thể chứng minh được là tốn kém về mặt kinh tế.

Cửa sổ tranh chấp cũng tạo ra một sự phân biệt ngữ nghĩa rõ ràng, điều này quan trọng đối với các ứng dụng.

Một bản xác nhận trong khoảng thời gian thách thức được xác nhận là: các nhà vận hành đã ký vào nó.

Một bản xác nhận sau khi cửa sổ thách thức đóng mà không có tranh chấp thành công thì được ủy quyền: không ai chứng minh rằng nó sai.

Các ứng dụng cần ủy quyền cuối cùng có thể chờ cho đến khi cửa sổ đóng.

Các ứng dụng có stake thấp hơn có thể dùng bản xác nhận trong khoảng thời gian đó, chấp nhận rằng vẫn có một xác suất không bằng 0 là nó sẽ bị thách thức sau — dù cơ chế slashing có nghĩa là bất kỳ người thách thức nào cũng cần chắc chắn rằng mình đúng trước khi nộp một bằng chứng.

Kết quả là một hệ thống giải quyết tranh chấp trong đó cam kết đúng đắn của giao thức không phụ thuộc vào việc phải tin bất kỳ người tham gia nào.

Nó phụ thuộc vào tính không thể đảo ngược của toán học.

$NEWT $BTC $ETH
#Newt