Hiểu sâu sắc ý nghĩa của Đặt cược liên chủ thể EigenLayer

Tác giả: Mario nhìn vào Web3, nhà phát triển Web3 Nguồn: X, @web3_mario

Giới thiệu: Trong kỳ nghỉ lễ Quốc tế tháng Năm, Eigenlayer đã phát hành sách trắng EigenToken của mình. Nói đúng ra, đây không phải là một sách trắng. sách trắng kinh tế theo nghĩa truyền thống nhằm mục đích giới thiệu các mô hình và giá trị khuyến khích, nhưng nó mang đến cho bạn một hệ thống kinh doanh hoàn toàn mới - Đặt cược liên chủ thể dựa trên EigenToken Sau khi đọc toàn bộ nội dung của sách trắng (không đọc sâu phần phụ lục) Sau đó. đọc những diễn giải của các tiền bối, tôi có một số suy nghĩ và hiểu biết của riêng mình, mong được chia sẻ với các bạn và mong được các bạn thảo luận. Hãy bắt đầu với kết luận. Tôi nghĩ tầm quan trọng của việc đặt cược liên chủ thể là nó đề xuất một hệ thống đồng thuận dựa trên mô hình mã thông báo ERC20 có thể phân nhánh, có thể được sử dụng để đưa ra quyết định về một số vấn đề "chủ quan của nhóm" đồng thời tránh sự chuyên chế của đa số.

"Tính chủ quan của nhóm" là gì

Hiểu đúng về tính liên chủ quan là điều kiện tiên quyết để hiểu ý nghĩa của hệ thống. Về cách dịch từ này, dường như chưa có một kết luận thống nhất nào trên Internet Trung Quốc. Sau khi đọc bài viết của thầy Pan Zhixiong, tôi khá đồng ý. đồng thuận" có thể rất tốt. Dùng để hiểu nghĩa của nó, nhưng tôi cảm thấy dùng "tính chủ quan nhóm" để chỉ khái niệm này có vẻ phù hợp hơn với dịch sát nghĩa nên trong đoạn văn sau tôi chọn dùng " tính chủ quan của nhóm" để chỉ tính liên chủ thể.

Chính xác thì "tính chủ quan của nhóm" là gì? Trong bối cảnh của EigenLayer, nó đề cập đếntoàn bộ nhóm người quan sát tích cực trong một hệ thống. sự đồng thuận về tính đúng sai của một kết quả thực hiện giao dịch nhất định,thì loại giao dịch này được cho là mang tính liên chủ quan, > Tức là tính chủ quan của nhóm. Chúng tôi biết rằng một trong những giá trị cốt lõi của EigenLayer là tách lớp đồng thuận khỏi lớp thực thi và tập trung vào việc xây dựng và bảo trì lớp cũ, từ đó phục vụ sự đồng thuận, giảm chi phí phát triển ứng dụng Web3, và khám phá đầy đủ tiềm năng của nhu cầu thị trường. Trong phần tường thuật của sách trắng, EigenLayer dường như tự định vị mình là một nền tảng công cộng kỹ thuật số phi tập trung có thể thực hiện các nhiệm vụ kỹ thuật số cho bên thứ ba, do đó, đương nhiên cần phải phân tích ranh giới các dịch vụ của mình, nghĩa là làm rõ những loại kỹ thuật số nào. nhiệm vụ có thể được thực hiện "đáng tin cậy" của nó. Trong ngữ cảnh của Web3, "đáng tin cậy" thường có nghĩa là một hệ thống được thiết kế bằng mật mã hoặc được mô hình hóa một cách kinh tế để tránh các lỗi khi thực thi các tác vụ kỹ thuật số. Do đó, điều đầu tiên cần làm là phân loại các lỗi thực thi có thể xảy ra trong các tác vụ kỹ thuật số. . EigenLayer chia lỗi thực thi của các tác vụ kỹ thuật số thành ba loại chính:

Lỗi do khách quan gây ra: Loại lỗi này lỗi đề cập đến một lỗi có thể được suy ra thông qua một số loại logic hoặc toán học bằng cách dựa vào một tập hợp bằng chứng khách quan hiện có (thường là dữ liệu trên chuỗi hoặc dữ liệu với DA) mà không dựa vào độ tin cậy của một chủ đề cụ thể. lỗi thực hiện các nhiệm vụ kỹ thuật số. Ví dụ: trong Ethereum, một nút đã ký hai khối xung đột. Lỗi này có thể được chứng minh bằng mật mã. Tương tự như vậy, lỗi này cũng bao gồm quy trình chống gian lận trong OPRollup, nhằm xác minh một tập hợp các khối xung đột thông qua môi trường thực thi trên chuỗi. Nếu dữ liệu tranh chấp được thực hiện lại, lỗi có thể được xác định bằng cách so sánh kết quả.

Lỗi do tính chủ quan của nhóm:Loại lỗi này đề cập đến việc Tất cả các nhóm tham gia đều có những đánh giá chủ quan nhất quán về các lỗi hiệu suất tiêu chuẩn liên quan đến việc thực hiện một nhiệm vụ số nhất định. Loại lỗi này có thể được chia thành hai loại,

• Các lỗi có thể xảy ra bất kỳ lúc nào được xác định bằng cách nhìn lại dữ liệu trong quá khứ. Ví dụ: trong dự đoán giá, giá giao ngay của BTC trên Binance là 1 USD lúc 00:00:00 UTC ngày 8 tháng 5 năm 2024. Lỗi này có thể được xác định bất cứ lúc nào sau đó.

• Các lỗi chỉ có thể được phát hiện thông qua quan sát trong thời gian thực, chẳng hạn như đánh giá có ác ý, cho rằng một giao dịch đã được xem xét có ác ý bởi một nhóm nút nhất định đã từ chối thực thi trong một thời gian dài.

Lỗi không thể quy trách được: Loại lỗi này đề cập đến Đây là lỗi thực hiện chưa có tiêu chuẩn đánh giá thống nhất giữa các nhóm, chẳng hạn như đánh giá Paris có phải là thành phố đẹp nhất hay không.

Intersubjective Stake hy vọng sẽ giải quyết hiệu quả các nhiệm vụ kỹ thuật số với tính chủ quan của nhóm, nghĩa là Có thể giải quyết các lỗi về hiệu suất của nhiệm vụ kỹ thuật số thuộc loại có liên quan đến tính chủ quan của nhóm. Cũng có thể nói đây là phần mở rộng của hệ thống on-chain.

Sự chuyên chế của vấn đề đa số với các giải pháp hiện tại

Cái gọi là Chế độ chuyên chế của đa số là một thuật ngữ chính trị đề cập đến một tình huống trong đó đa số ghế trong quốc hội cùng nhau áp đặt các chính sách gây phương hại đến quyền của thiểu số. Sau khi làm rõ mục tiêu của EigenLayer, chúng ta hãy xem xét các loại giải pháp hiện có cho loại vấn đề này. Theo tóm tắt của EigenLayer, có hai loại:

1. Cơ chế trừng phạt:Loại cơ chế này thường trừng phạt những kẻ bất lương thông qua kinh tế học mật mã. Số tiền cam kết của nút được sử dụng để ngăn chặn hành vi độc hại và stakeslash là một trong số đó. Tuy nhiên, phương pháp này dễ gặp rắc rối. Hãy tưởng tượng rằng khi một nút trung thực gửi bằng chứng về hành vi xấu, nhưng tại thời điểm này hầu hết các nút trong hệ thống. quyết định cấu kết để làm điều ác, thì Bạn có thể chọn bỏ qua bằng chứng hoặc thậm chí trừng phạt ngược lại những nút trung thực.

2. Cơ chế ủy ban: Loại cơ chế này thường thiết lập một nhóm nút ủy ban cố định. ủy ban sẽ Các nút của ủy ban phê duyệt tính chính xác của bằng chứng về hành vi xấu xa, nhưng liệu ủy ban có đáng tin cậy hay không sẽ trở thành một câu hỏi lớn. Khi các nút của ủy ban âm mưu làm điều ác, hệ thống sẽ sụp đổ.

Cả hai giải pháp rõ ràng đều gặp phải vấn đề chuyên chế của đa số. Điều này cho thấy sự khó khăn trong việc giải quyết những vấn đề như vậy, mặc dù có nhận định nhất quán về tính chính xác của kết quả thực hiện, nhưng do thiếu khả năng xác minh khách quan nên người ta chỉ có thể chuyển từ tin tưởng vào mật mã hoặc toán học sang tin tưởng vào con người. công chúng Khi hầu hết mọi người chọn làm điều ác, các giải pháp hiện tại đều không hiệu quả.

Tránh sự chuyên chế của số đông thông qua khả năng đồng thuận xã hội do công việc có thể phân nhánh mang lạimã thông báo

Vậy EigenLayer giải quyết vấn đề này như thế nào? Câu trả lời là thiết kế một token công việc có thể phân nhánh trên chuỗi và dựa trên khả năng đồng thuận xã hội do việc xử lý token mang lại. nhiệm vụ số hóa về tính chủ quan của nhóm và tránh vấn đề chuyên chế của số đông.

Vậy cái gọi là khả năng đồng thuận xã hội mà fork có thể mang lại là gì, và làm thế nào nó có thể tránh được vấn đề chuyên chế của số đông? Trước hết, EigenLayer chỉ ra rằng nguồn cảm hứng đến từ nghiên cứu về sự đồng thuận ETHPoS. Họ tin rằng tính bảo mật của Ethereum đến từ hai khía cạnh:

• Bảo mật kinh tế tiền điện tử: Bằng cách yêu cầu các nút sản xuất khối cam kết tài trợ và thiết kế cơ chế trừng phạt đối với hành vi độc hại, chi phí kinh tế của việc làm điều ác vượt quá lợi ích tiềm năng để loại bỏ hành vi độc hại.

• Đồng thuận xã hội: Khi một chuỗi phân nhánh do một số hành vi nguy hiểm, do Tính đúng đắn của Kết quả thực thi có tiêu chuẩn đánh giá nhất quán Bất kỳ người dùng trung thực hoặc có thiện chí nào cũng có thể chọn phân nhánh mà họ cho là chính xác dựa trên quan sát chủ quan của họ về kết quả thực thi của các phân nhánh khác nhau. Theo cách này, ngay cả khi một nút độc hại kiểm soát phần lớn các phân nhánh. số tiền đã cam kết sẽ xảy ra. Khi sự chuyên chế của số đông nảy sinh, người dùng sẽ từ bỏ các fork độc hại, khiến giá trị của chuỗi phân nhánh dần dần vượt quá giá trị của chuỗi độc hại. Ví dụ: hầu hết CEX sẽ chọn chuỗi phân nhánh chính xác nhưng được hỗ trợ bởi một lượng nhỏ cam kết và từ bỏ chuỗi độc hại không chính xác được hỗ trợ bởi số lượng lớn cam kết. Theo cách này, với sự đồng thuận chung của xã hội, giá trị của chuỗi độc hại. sẽ dần dần biến mất, và chuỗi phân nhánh sẽ trở thành một chuỗi mới.

Chúng tôi biết rằng bản chất của blockchain là đạt được thứ tự của một tập hợp giao dịch nhất định trong một hệ thống phân tán nhất quán không cần tin cậy. đồng thuận, Ethereum đã thiết kế một môi trường thực thi nối tiếp EVM dựa trên điều này, để khi các giao dịch nhất quán, EVM sẽ đạt được kết quả thực thi nhất quán. EigenLayer tin rằng việc đánh giá kết quả thực hiện của các giao dịch đó có thể được quy cho một cách khách quan trong hầu hết các trường hợp, nhưng cũng có những trường hợp có thể quy cho tính chủ quan của nhóm. Cụ thể, nó đề cập đến việc đánh giá khía cạnh hoạt động của chuỗi. Có một chế độ Rò rỉ không hoạt động đặc biệt trong cơ chế đồng thuận PoS của Ethereum. Khi hơn 1/3 số nút không thể tạo khối một cách chính xác do một số trường hợp không thể xác định được, tính bảo mật kinh tế tiền điện tử của PoS sẽ bị phá vỡ. để tuyên bố rằng toàn bộ Internet ở khu vực này bị ngắt kết nối với khu vực khác. Sau đó Ethereum sẽ phân nhánh và khi cơ chế đồng thuận phát hiện ra tình huống này, nó sẽ chuyển sang chế độ Rò rỉ không hoạt động. Lúc này, các khối mới sẽ không được trao phần thưởng lạm phát. Đồng thời, các nút không hoạt động sẽ dần bị cắt giảm cho đến khi các nút hoạt động. số tiền cam kết một lần nữa vượt quá 2/3. Điều này sẽ cho phép hai chuỗi phân nhánh dần dần lấy lại được tính bảo mật của nền kinh tế tiền điện tử tương ứng.

Sau này, người dùng chỉ có thể dựa vào người dùng để chủ động lựa chọn chuỗi nào sẽ trở thành cái gọi là "fork chính thống" dựa trên tiêu chí đánh giá của riêng họ. là "sự đồng thuận xã hội." Sau đó, với sự lựa chọn tích cực của người dùng, giá trị tích lũy của hai fork sẽ khác nhau, cho đến khi một fork nào đó giành được chiến thắng rõ ràng trong cuộc cạnh tranh về an ninh kinh tế mã hóa. Quá trình này có thể được coi là sự an toàn được truyền đạt thông qua sự đồng thuận của xã hội.

Để tóm tắt hiện tượng này, EigenLayer tin rằng Ethereum xác định và giải quyết tính chủ quan của nhóm liên quan đến tính nhất quán của chuỗi bằng cách dựa vào sự đồng thuận xã hội Lỗi tình dục được gọi là các cuộc tấn công vào tính sống động của dây chuyền, và cốt lõi của khả năng đồng thuận xã hội này đến từ khả năng phân chia. Khi nảy sinh bất đồng, không có hy vọng xác định ngay bên nào phải chịu trách nhiệm về tội ác. Thay vào đó, những người dùng tiếp theo sẽ bỏ phiếu. Bằng đôi chân của mình, Dựa vào khả năng đồng thuận của xã hội để giải quyết những khác biệt sẽ tránh được vấn đề chuyên chế của đa số, bởi vì một số lượng nhỏ các nút trung thực sẽ không bị thông đồng và bị tịch thu ngay lập tức. nhóm chủ quan thuộc loại vấn đề Phán xét, cách tiếp cận này thể hiện giá trị của nó.

Do đó, sau nhận định này, EigenLayer đã đề cập và nâng cấp mô hình đồng thuận của giao thức cờ bạc trực tuyến có tên là Augar và đề xuất một giao thức phân nhánh có thể tách rời trên chuỗi mã thông báo công việc được đặt tên là EIGEN. Cơ chế đặt cược liên chủ thể được thiết kế xung quanh EIGEN để giải quyết sự đồng thuận trong việc thực hiện các nhiệm vụ kỹ thuật số chủ quan của nhóm. Khi có những bất đồng về kết quả thực hiện, xung đột sẽ được giải quyết thông qua sự phân tách của EIGEN và sự phụ thuộc vào sự đồng thuận của xã hội trong khoảng thời gian tiếp theo. . Công nghệ cụ thể thực ra không phức tạp. Nó đã được giới thiệu trong một số bài viết và sẽ không được thảo luận ở đây. Tôi tin rằng bằng cách hiểu mối quan hệ trên, chúng ta có thể nắm bắt rõ hơn ý nghĩa hoặc giá trị của việc đặt cược liên chủ thể Eigen.