“Bốn câu hỏi” giúp bạn hiểu cách xây dựng một AVS

2024.03.26

Chia sẻ đến

Tuyển chọn TechFlowTuyển chọn TechFlow

“Bốn câu hỏi” giúp bạn hiểu cách xây dựng một AVS

Dịch vụ Xác minh Chủ động (AVS), ám chỉ bất kỳ hệ thống nào cần có ngữ nghĩa xác minh phân tán riêng của mình để thực hiện xác minh.

2024.03.26 - 01:59:53

AVS

Chuyên sâu báo cáo Web3

Dịch vụ Xác minh Chủ động (AVS), ám chỉ bất kỳ hệ thống nào cần có ngữ nghĩa xác minh phân tán riêng của mình để thực hiện xác minh.

Tác giả: IOSG Ventures

Nguồn: EigenLayer, IOSG

Gần đây, việc sử dụng EigenLayer để xây dựng các dự án cơ sở hạ tầng đã trở nên rất phổ biến trong cộng đồng nhà phát triển. Những dự án này được gọi là Dịch vụ Xác minh Chủ động (AVS), ám chỉ bất kỳ hệ thống nào cần có ngữ nghĩa xác minh phân tán riêng để thực hiện xác minh. Các hệ thống này có thể bao gồm lớp DA, máy ảo (VM) mới, oracle, cầu nối (bridge), v.v.

Nhưng làm thế nào chúng ta thực sự xây dựng một AVS?

Để thiết lập các quy tắc cơ bản cho AVS, bạn cần trả lời bốn câu hỏi chính.

Câu 1: Điều gì định nghĩa một Nhiệm vụ (Task) trong AVS của bạn?

Trong EigenLayer, nhiệm vụ là đơn vị công việc nhỏ nhất mà Operator cam kết cung cấp dịch vụ cho AVS. Những nhiệm vụ này có thể liên quan đến một hoặc nhiều điều kiện phạt thu giữ (slashing) của AVS.

Dưới đây là hai ví dụ về nhiệm vụ:

Lưu trữ và cung cấp "DataStore" trên EigenDA
Công bố root trạng thái của một blockchain khác cho cầu nối xuyên chuỗi

EigenLayer đưa ra một ví dụ chi tiết hơn theo quy trình làm việc dưới đây. Nhiệm vụ của AVS này là tính bình phương của một con số cụ thể.

Bộ tạo nhiệm vụ (Task Generator) xuất bản nhiệm vụ theo khoảng thời gian cố định. Mỗi nhiệm vụ xác định rõ con số cần tính bình phương. Nó cũng bao gồm danh sách các nhóm đủ điều kiện (quorum) và ngưỡng phần trăm, quy định rằng mỗi nhóm đủ điều kiện được liệt kê phải có ít nhất một tỷ lệ phần trăm nhất định chữ ký từ Operator để thông qua nhiệm vụ này.
Các Operator tham gia AVS hiện tại cần đọc số nhiệm vụ từ hợp đồng nhiệm vụ, tính bình phương, ký kết kết quả tính toán, rồi gửi kết quả và chữ ký tới Bộ tổng hợp (Aggregator).
Aggregator thu thập chữ ký từ các Operator và thực hiện tổng hợp. Nếu bất kỳ phản hồi nào từ Operator vượt qua ngưỡng phần trăm mà Task Generator đặt ra khi công bố nhiệm vụ, Aggregator sẽ tập hợp các phản hồi đó và đăng lên hợp đồng nhiệm vụ.
Trong giai đoạn giải quyết tranh chấp, bất kỳ ai cũng có thể đưa ra khiếu nại. Hợp đồng Giải quyết Tranh chấp (DisputeResolution) sẽ xử lý phản hồi sai của Operator cụ thể (hoặc trường hợp Operator không phản hồi trong cửa sổ thời gian này).
Nếu tranh chấp được xác minh cuối cùng và xử lý, Operator sẽ bị đóng băng trong hợp đồng Đăng ký (Registration), và Ủy ban phủ quyết của EigenLayer sẽ quyết định xem có nên phủ quyết yêu cầu đóng băng hay không.

Câu 2: AVS của bạn muốn kế thừa loại niềm tin nào?

Nguồn: EigenLayer, IOSG Ventures

EigenLayer cung cấp ba loại niềm tin có thể lập trình.

Thiên chức kinh tế

Niềm tin kinh tế dựa vào sự tự tin của mọi người đối với tài sản đã đặt cược. Nếu lợi nhuận từ hành vi tham nhũng thấp hơn chi phí tham nhũng, thì những người hành xử hợp lý về mặt kinh tế sẽ không phát động tấn công. Ví dụ, nếu chi phí tấn công một cây cầu nối xuyên chuỗi là 1 tỷ USD nhưng lợi nhuận chỉ là 500 triệu USD, thì về mặt kinh tế, việc tấn công là hoàn toàn phi lý.

Là một nguyên thủy mã hóa kinh tế (crypto-economic primitive) được áp dụng rộng rãi, việc phạt thu giữ có thể làm tăng đáng kể chi phí tham nhũng, từ đó củng cố an ninh kinh tế.

Thiên chức phi tập trung

Bản chất của niềm tin phi tập trung là sở hữu một tập hợp bộ xác nhận lớn và phân bố rộng rãi, cả về mặt ảo lẫn địa lý. Để ngăn chặn hành vi cấu kết và Tấn công Làm mất Khả năng Hoạt động (Liveness Attack) giữa các nút trong AVS, tốt nhất là không để một nhà cung cấp dịch vụ duy nhất vận hành tất cả các nút.

Trên EigenLayer, các AVS khác nhau có thể tùy chỉnh mức độ phi tập trung của họ. Ví dụ, họ có thể đặt yêu cầu về vị trí địa lý cho Operator, hoặc chỉ cho phép các Operator cá nhân cung cấp dịch vụ nút và tương ứng đưa ra thêm các khuyến khích để thu hút những Operator như vậy.

Dưới đây là một ví dụ:

Shutter đề xuất một giải pháp chống MEV bằng cách sử dụng mật mã ngưỡng (threshold encryption). Quá trình này liên quan đến một nhóm nút, gọi là Keypers, tham gia vào việc tính toán một khóa công khai và khóa riêng chung thông qua việc tạo khóa phân tán (DKG). Những nút này được bầu chọn bởi quản trị Shutter DAO.

Rõ ràng, DKG phụ thuộc vào giả định đa số trung thực.

Bằng cách tận dụng dịch vụ vận hành nút do EigenLayer cung cấp, Shutter có thể đạt được sự phân bố Keypers rộng rãi hơn. Cách tiếp cận này không chỉ giảm rủi ro cấu kết giữa các Keypers mà còn tăng cường tính bảo mật và độ bền của mạng.

Tương tự, Ủy ban Trạng thái Lagrange (LSC) của Lagrange bao gồm những người tái đặt cược. Đối với mỗi chứng minh trạng thái, ít nhất 2/3 thành viên ủy ban phải ký vào một tiêu đề khối cụ thể trước khi một chứng minh trạng thái được tạo ra thông qua SNARK.

Thiên chức "bao gồm" (Inclusion) của Ethereum

Các trình xác thực Ethereum ngoài việc cam kết với Ethereum thông qua việc đặt cược, nếu tiếp tục tái đặt cược trên EigenLayer, họ có thể đưa ra cam kết đáng tin cậy đối với AVS. Điều này cho phép các nhà đề xuất cung cấp một số dịch vụ trên Ethereum (ví dụ: đấu giá khối từng phần thông qua MEV-Boost++) mà không cần thay đổi ở cấp độ giao thức Ethereum.

Ví dụ, phiên đấu giá không gian khối tương lai cho phép người mua đảm bảo trước không gian khối trong tương lai. Các trình xác thực tham gia tái đặt cược có thể đưa ra cam kết đáng tin cậy về không gian khối, nếu sau đó họ không bao gồm giao dịch của người mua, họ sẽ bị phạt thu giữ.

Giả sử bạn đang xây dựng một oracle, bạn có thể cần cung cấp giá trong một khoảng thời gian nhất định. Hoặc giả sử bạn đang vận hành một L2, bạn có thể cần xuất bản dữ liệu L2 lên Ethereum vài phút một lần. Đây đều là những trường hợp sử dụng của phiên đấu giá không gian khối tương lai.

Câu 3: Công việc mà Operator thực hiện là nhẹ hay nặng?

Nếu bạn muốn kế thừa sự phi tập trung của các trình xác thực Ethereum, nhiệm vụ của AVS nên được thiết kế càng nhẹ càng tốt.

Nếu nhiệm vụ tiêu tốn nhiều tài nguyên tính toán, Operator độc lập (Solo Operator) có thể không xử lý nổi.

Câu 4: Điều kiện phạt thu giữ là gì?

Bằng cách tái đặt cược vào một dịch vụ cụ thể, người tái đặt cược chấp nhận rủi ro bị phạt thu giữ, và điều kiện phạt thu giữ này sẽ do AVS quy định.

Là một AVS, bạn nên thiết kế các điều kiện phạt thu giữ có thể kiểm tra trên chuỗi, có thể chứng minh được và có thể quy trách nhiệm một cách khách quan. Ví dụ, ký kép vào một khối trên Ethereum, hoặc một nút trong AVS cầu nối nhẹ ký vào một khối không hợp lệ từ chuỗi khác.

Việc thiết kế điều kiện phạt thu giữ không phù hợp có thể dẫn đến tranh cãi, từ đó gây ra rủi ro hệ thống.

AVS cũng nên đảm bảo khả năng quan sát, cho phép giám sát, theo dõi và ghi lại yêu cầu và phản hồi xuyên suốt các dịch vụ.

Làm sao để lượng hóa?

AVS của bạn cần bao nhiêu niềm tin (vốn tái đặt cược, số lượng bộ xác minh phân tán khác nhau, và số lượng trình xác thực Ethereum cần đạt được cam kết), và bạn sẽ khuyến khích điều đó như thế nào?

Ví dụ, nếu một cầu nối xuyên chuỗi có khối lượng giao dịch hàng tuần là 100 triệu USD và thuê bảo mật trị giá 100 triệu USD, người dùng có thể tin tưởng rằng họ được bảo vệ an toàn. Ngay cả khi các trình xác thực cố gắng phá hoại hệ thống, người dùng vẫn được bảo vệ vì họ có thể được bồi thường thông qua việc phân phối lại khoản phạt thu giữ.

Xét rằng TVL của cầu nối, số lượng ETH tái đặt cược, số lượng Operator tham gia và nhiều tham số khác sẽ liên tục thay đổi và có thể dao động mạnh, AVS cần một phương pháp nào đó để điều chỉnh ngân sách an ninh và không gian đệm của mình.

AVS có thể sử dụng một phần nguồn cung token tổng thể để thanh toán cho an ninh kinh tế.

Nhưng, tôi có làm suy yếu tiện ích token của mình khi sử dụng EigenLayer không?

Hoàn toàn không!

EigenLayer hỗ trợ đặt cược kép (Dual Staking). Điều này cho phép bạn sử dụng đồng thời ETH và token gốc của bạn để bảo vệ mạng, đồng thời điều chỉnh tỷ lệ từng loại token theo nhu cầu. Trong giai đoạn đầu của mạng, ETH có thể chiếm tỷ lệ lớn hơn. Khi mạng trưởng thành, bạn có thể muốn token gốc đóng vai trò quan trọng hơn. Trong trường hợp này, AVS có thể tăng tỷ lệ token gốc thông qua quản trị giao thức.

Hơn nữa, khi nhu cầu bảo mật của AVS tăng nhanh trong ngắn hạn, ví dụ khi TVL của các giao thức DeFi được phục vụ bởi oracle AVS tăng mạnh, AVS vẫn có thể sử dụng EigenLayer để tăng cường an ninh kinh tế của mình.

Từ góc nhìn này, EigenLayer là một thị trường niềm tin có thể lập trình, cung cấp tính bảo mật "co giãn".

Tôi có thể sử dụng những công cụ bên ngoài nào?

Dưới đây là một số dự án đáng chú ý.

Trong thị trường ba bên của EigenLayer, Operator phụ thuộc vào việc nhà phát triển AVS mã hóa đúng phần mềm AVS và thiết lập các điều kiện phạt thu giữ hợp lý. Tuy nhiên, xét đến sự đa dạng của AVS, logic tương tác giữa mỗi AVS và Operator có thể khác nhau, điều này mở ra một lĩnh vực hoàn toàn mới. Để tránh các sự kiện phạt thu giữ ngoài ý muốn, AVS có thể kiểm tra mã nguồn trước khi phát hành. Ngoài ra, EigenLayer có Ủy ban Phủ quyết, có thể dùng đa chữ ký để phủ quyết các quyết định phạt thu giữ sai.
Đồng thời, Cubist đang hợp tác với EigenLabs phát triển một khuôn khổ chống phạt thu giữ (anti-slash) mở, tận dụng phần cứng an toàn và sử dụng các chiến lược tùy chỉnh để ký giao dịch và tin nhắn xác thực bên trong bộ quản lý khóa. Ví dụ, việc ký đồng thời hai tiêu đề khối ở hai độ cao khác nhau sẽ không bao giờ được bộ máy chiến lược bên trong bộ quản lý khóa phê duyệt.
Các nhà tái đặt cược/Operator có khẩu vị rủi ro cao có thể muốn tham gia vào các AVS sớm để nhận phần thưởng cao hơn. Trong trường hợp này, Anti-slasher của Cubist có thể hữu ích.
Nhiều người biết rằng EigenLayer có thể giúp AVS xây dựng mạng lưới niềm tin, nhưng AVS cần trả bao nhiêu phí cho an ninh kinh tế, và làm thế nào để chống lại các cuộc tấn công kinh tế?
Anzen Protocol đã phát triển Hệ số An toàn (SF), một tiêu chuẩn chung để đo lường an ninh kinh tế của AVS. SF dựa trên khái niệm chi phí tham nhũng và lợi nhuận từ tham nhũng.
Anzen giúp AVS duy trì mức an ninh kinh tế tối thiểu mà không cần chi quá nhiều cho an ninh kinh tế.
EigenLabs đang phát triển EigenSDK để hỗ trợ AVS viết mã phần mềm nút của họ. SDK này bao gồm các mô-đun về tổng hợp chữ ký, logic tương tác với các hợp đồng EigenLayer, mạng, mật mã học và khách hàng giám sát sự kiện.
Đồng thời, Othentic đang xây dựng một công cụ phát triển để giúp AVS phát hành sản phẩm nhanh hơn.