BTC

$96,000

5.73%

ETH

$3,521.91

3.97%

HTX

$0.{5}2273

5.23%

SOL

$198.17

3.05%

BNB

$710

3.05%

简体中文

繁體中文

English

Tiếng Việt

한국어

日本語

ภาษาไทย

Türkçe

Giải quyết câu hỏi hóc búa về khả năng tương tác về độ tin cậy: Web3 và các cầu nối kết nối chéo cuối cùng sẽ phát triển như thế nào?

Đọc bài viết này mất 48 phút

Chúng ta sẽ chứng kiến sự xuất hiện của một "bối cảnh tin cậy" trong đó các nhà xây dựng sẽ thực hiện nhiều sự đánh đổi khác nhau giữa khả năng sử dụng, độ phức tạp và tính bảo mật.

Tiêu đề gốc: "Xung đột cơ quan hợp đồng thông minh"

Nguồn gốc: Stanford Blockchain Review

Tác giả gốc: Shi Khai Wei, Raghav Agarwal

Bản tổng hợp gốc: Kxp, BlockBeats

Giới thiệu

Nhiều chuỗi là xu hướng phát triển trong tương lai, việc theo đuổi khả năng mở rộng đã đưa Ethereum đến việc xây dựng công nghệ Rollup. Trong quá trình chuyển sang chuỗi khối mô-đun, mọi người một lần nữa chú ý đến chuỗi ứng dụng. Và trong tương lai không xa, chúng ta sẽ nghe thấy những tin đồn về các ứng dụng cụ thể như Rollup, L3 và chuỗi có chủ quyền. Nhưng tất cả điều này sẽ phải trả giá bằng sự phân mảnh và các cầu nối chuỗi chéo hiện tại thường bị hạn chế về chức năng và phải dựa vào những người ký đáng tin cậy để đảm bảo an ninh.

Vậy cuối cùng Web3 được kết nối với nhau sẽ trông như thế nào? Chúng tôi tin rằng các cầu nối chuỗi chéo cuối cùng sẽ phát triển thành giao thức nhắn tin chuỗi chéo hoặc Truyền tin nhắn tùy ý (AMP) để mở khóa các kịch bản ứng dụng mới và cho phép ứng dụng gửi tin nhắn tùy ý giữa chuỗi nguồn và chuỗi đích. Chúng ta cũng sẽ chứng kiến sự xuất hiện của một "bối cảnh tin cậy" trong đó các nhà xây dựng sẽ thực hiện nhiều đánh đổi khác nhau giữa khả năng sử dụng, độ phức tạp và tính bảo mật.

Mọi giải pháp AMP đều cần triển khai hai tính năng chính:

Xác minh: Khả năng xác minh tính hợp lệ của tin nhắn từ chuỗi nguồn trên chuỗi mục tiêu

Hoạt động: b>Có thể chuyển thông tin từ chuỗi nguồn đến chuỗi đích

Thật không may, xác minh không cần sự tin cậy 100% là không thực tế. Người dùng phải xác minh xem xác minh có được bật hay không -chain hoặc on-chain. Off-chain, chọn tin cậy mã, lý thuyết trò chơi, con người (hoặc thực thể) hoặc sự kết hợp của những thứ này.

Trong bài viết này, chúng tôi chia theo chiều dọc lĩnh vực khả năng tương tác tổng thể thành hai khía cạnh dựa trên cơ chế tin cậy và dựa trên kiến trúc tích hợp.

Cơ chế tin cậy:

1. Mã tin cậy và toán học:Đối với những giải pháp này, có bằng chứng trực tuyến mà bất kỳ ai cũng có thể xác minh. Các giải pháp này thường dựa vào các máy khách nhẹ để xác minh sự đồng thuận của chuỗi nguồn trên chuỗi mục tiêu hoặc để xác minh tính hợp lệ của quá trình chuyển đổi trạng thái của chuỗi nguồn trên chuỗi mục tiêu. Việc xác minh thông qua các ứng dụng khách nhẹ có thể cải thiện hiệu quả thông qua bằng chứng không có kiến thức, nén các phép tính dài tùy ý để thực hiện ngoại tuyến, đồng thời cung cấp xác minh trên chuỗi đơn giản để chứng minh kết quả tính toán.

2. Lý thuyết trò chơi tin cậy: Điều này liên quan khi người dùng/ứng dụng cần tin tưởng vào bên thứ ba hoặc mạng của bên thứ ba để đảm bảo tính xác thực của một giao dịch với các giả định tin cậy bổ sung. Tính bảo mật của các cơ chế này có thể được cải thiện bằng cách sử dụng lý thuyết trò chơi như mạng không được phép và các biện pháp khuyến khích kinh tế cũng như bảo mật lạc quan.

3. Tin cậy vào con người: Những giải pháp này dựa vào tính trung thực hoặc độc lập của đa số những người xác thực chuyển các Thông tin khác nhau. Ngoài việc tin tưởng vào sự đồng thuận của hai chuỗi tương tác, bạn cũng cần tin tưởng vào bên thứ ba. Trong trường hợp này, rủi ro duy nhất là uy tín của các đơn vị tham gia. Một giao dịch được coi là hợp lệ nếu có đủ các bên tham gia đồng ý rằng nó hợp lệ.

Điều đáng lưu ý là tất cả các giải pháp đều yêu cầu mức độ tin cậy nhất định đối với mã và con người. Bất kỳ giải pháp nào có mã lỗi đều có thể bị tin tặc khai thác và mọi giải pháp đều có yếu tố con người nhất định trong việc thiết lập, nâng cấp hoặc bảo trì cơ sở mã.

Kiến trúc tích hợp:

1. Mô hình điểm-điểm:Bắt buộc Thiết lập kênh liên lạc chuyên dụng giữa từng chuỗi nguồn và chuỗi đích.

2.Mô hình hub trung tâm: Cần thiết lập kênh liên lạc với hub trung tâm để đạt được sự giao tiếp với tất cả những người được kết nối với hub với các blockchain khác.

Mô hình ngang hàng tương đối khó mở rộng vì mỗi chuỗi khối được kết nối đều yêu cầu một kênh liên lạc được ghép nối. Việc phát triển các kênh này có thể là thách thức đối với các blockchain có sự đồng thuận và khuôn khổ khác nhau. Tuy nhiên, các cặp bridge mang lại sự linh hoạt hơn trong việc tùy chỉnh cấu hình nếu muốn. Các phương pháp tiếp cận kết hợp cũng có thể thực hiện được, chẳng hạn như sử dụng giao thức Giao tiếp liên chuỗi khối (IBC) để định tuyến nhiều bước thông qua rơle, giúp loại bỏ nhu cầu liên lạc trực tiếp giữa các điểm nhưng gây ra sự phức tạp hơn về mặt bảo mật, độ trễ và trị giá.

Mã tin cậy và toán học

Để chỉ dựa vào mã/toán học để thực hiện giả định tin cậy, khách hàng Light có thể được sử dụng để xác minh sự đồng thuận của chuỗi nguồn trên chuỗi mục tiêu. Máy khách/nút nhẹ là phần mềm kết nối với các nút đầy đủ để tương tác với chuỗi khối. Các máy khách nhẹ trên chuỗi mục tiêu thường lưu trữ lịch sử các tiêu đề khối của chuỗi nguồn (theo thứ tự), đủ để xác minh các giao dịch. Các tác nhân ngoại tuyến (như rơle) giám sát các sự kiện trên chuỗi nguồn, tạo ra bằng chứng mật mã về sự bao gồm và chuyển tiếp chúng cùng với các tiêu đề khối tới các máy khách nhẹ trên chuỗi mục tiêu. Vì các máy khách nhẹ lưu trữ các tiêu đề khối theo thứ tự nên mỗi tiêu đề khối chứa hàm băm gốc Merkle có thể được sử dụng để chứng minh trạng thái, chúng có thể xác minh các giao dịch. Sau đây là tổng quan về các đặc điểm chính của phương pháp này:

Bảo mật

Quy trình khởi tạo ứng dụng khách nhẹ Giả định về sự tin cậy được giới thiệu. Khi một ứng dụng khách nhẹ mới được tạo, nó sẽ được khởi tạo với tiêu đề khối từ một độ cao cụ thể trên chuỗi của bên kia. Tuy nhiên, có khả năng tiêu đề khối được cung cấp có thể không chính xác, do đó có khả năng đánh lừa các máy khách hạng nhẹ bằng các tiêu đề khối giả mạo. Sau khi khởi tạo ứng dụng khách nhẹ, không có giả định tin cậy nào nữa được đưa ra. Tuy nhiên, cần lưu ý rằng quá trình khởi tạo này dựa trên các giả định về độ tin cậy yếu hơn vì bất kỳ ai cũng có thể xác minh nó. Ngoài ra, còn có giả định về độ sống động đối với việc truyền thông tin liên tục bằng bộ lặp.

Triển khai

Việc triển khai ứng dụng khách nhẹ phụ thuộc vào về tính sẵn có của các nguyên tắc mật mã cần thiết để xác thực. Nếu bạn đang kết nối với cùng một loại chuỗi, nghĩa là chúng có chung khung ứng dụng và thuật toán đồng thuận, thì việc triển khai ứng dụng khách đơn giản sẽ giống nhau ở cả hai đầu. Ví dụ: tất cả các chuỗi dựa trên Cosmos SDK đều sử dụng giao thức Truyền thông liên chuỗi khối (IBC). Mặt khác, việc triển khai như các máy khách đơn giản phụ thuộc vào sự hỗ trợ cho các nguyên tắc mã hóa cần thiết để xác thực. Nếu bạn đang kết nối với cùng một loại chuỗi, tức là chúng chia sẻ cùng một khung ứng dụng và thuật toán đồng thuận, thì việc triển khai ứng dụng khách nhẹ ở cả hai bên sẽ giống nhau. Ví dụ: giao thức Giao tiếp liên chuỗi khối (IBC) được sử dụng cho tất cả các chuỗi dựa trên Cosmos SDK. Mặt khác, nếu hai loại chuỗi khác nhau được kết nối, chẳng hạn như các khung ứng dụng hoặc loại đồng thuận khác nhau, thì việc triển khai ứng dụng khách nhẹ sẽ khác nhau. Một ví dụ là Composable Finance, công ty đang nỗ lực kết nối chuỗi Cosmos SDK với khung ứng dụng Substrate của hệ sinh thái Polkadot thông qua IBC. Điều này yêu cầu sử dụng ứng dụng khách nhẹ Tendermint trên chuỗi Substrate và thêm ứng dụng khách nhẹ "mạnh mẽ" trên chuỗi Cosmos SDK. Gần đây, họ đã thiết lập kết nối đầu tiên giữa Polkadot và Kusama thông qua IBC.

Thách thức

Tăng cường tài nguyên là một thách thức quan trọng. Việc chạy các cặp light client trên tất cả các chuỗi có thể tốn kém vì việc ghi trên blockchain rất tốn kém. Ngoài ra, cường độ tài nguyên của việc có trình xác nhận động là một thách thức quan trọng. Việc chạy các cặp light client trên tất cả các chuỗi có thể tốn kém vì việc ghi trên blockchain rất tốn kém. Ngoài ra, đối với các chuỗi có bộ trình xác thực động (chẳng hạn như Ethereum), việc chạy các ứng dụng khách nhẹ là không khả thi.

Khả năng mở rộng là một thách thức khác. Việc triển khai ứng dụng khách nhẹ khác nhau tùy thuộc vào kiến trúc của chuỗi, điều này khiến việc mở rộng quy mô và kết nối các hệ sinh thái khác nhau trở nên khó khăn.

Lỗ hổng mã là một rủi ro tiềm ẩn vì lỗi trong mã có thể dẫn đến lỗ hổng. Ví dụ: lỗ hổng chuỗi BNB tháng 10 năm 2022 đã tiết lộ một lỗ hổng bảo mật nghiêm trọng ảnh hưởng đến tất cả các chuỗi hỗ trợ IBC.

Để giải quyết chi phí và tính thực tế của việc chạy các máy khách nhẹ theo cặp trên tất cả các chuỗi, các giải pháp thay thế như bằng chứng không kiến thức (ZK) có thể được áp dụng để loại bỏ nhu cầu cho sự tin cậy của bên thứ ba.

Bằng chứng không có kiến thức như một giải pháp cho sự tin cậy của bên thứ ba

Không có kiến thức bằng chứng có sẵn Nó được sử dụng để xác minh tính hợp lệ của quá trình chuyển đổi trạng thái của chuỗi nguồn trên chuỗi mục tiêu. So với việc thực hiện toàn bộ tính toán trên chuỗi, bằng chứng ZK chỉ thực hiện phần xác minh của tính toán trên chuỗi, trong khi tính toán thực tế xảy ra ngoài chuỗi. Cách tiếp cận này cho phép xác minh nhanh hơn và hiệu quả hơn so với việc chạy lại phép tính ban đầu. Một số ví dụ bao gồm Polymer ZK-IBC của Phòng thí nghiệm Polymer và Thần giao cách cảm của Phòng thí nghiệm Succinct. Polymer đang phát triển IBC nhiều bước nhảy để tăng cường khả năng kết nối và giảm số lượng kết nối theo cặp cần thiết.

Các khía cạnh chính của cơ chế này bao gồm:

Bảo mật ;

Tính bảo mật của zk-SNARK dựa vào các đường cong elip, trong khi zk-STARK dựa vào hàm băm. zk-SNARK có thể yêu cầu thiết lập đáng tin cậy, bao gồm cả việc tạo khóa ban đầu dùng để tạo bằng chứng dùng trong xác minh. Điều quan trọng là phá hủy bí mật thiết lập sự kiện để ngăn chặn các giao dịch được thực hiện thông qua xác minh giả mạo. Khi quá trình thiết lập tin cậy hoàn tất, không có giả định tin cậy nào nữa được đưa ra. Ngoài ra, các khung ZK mới như Halo và Halo2 loại bỏ hoàn toàn nhu cầu thiết lập đáng tin cậy.

Triển khai

Có rất nhiều ZK chứng minh các giải pháp, chẳng hạn như SNARK, STARK, VPD và SNARG, giải pháp được sử dụng rộng rãi nhất là SNARK. Các khung chứng minh SNARK khác nhau, chẳng hạn như Groth16, Plonk, Marlin, Halo và Halo2, đưa ra sự cân bằng về kích thước bằng chứng, thời gian chứng minh, thời gian xác minh, yêu cầu bộ nhớ và yêu cầu thiết lập đáng tin cậy. Bằng chứng ZK đệ quy cũng đã xuất hiện, cho phép khối lượng công việc bằng chứng được phân phối trên nhiều máy tính thay vì một máy tính duy nhất. Để tạo bằng chứng hợp lệ, phải triển khai các nguyên tắc cốt lõi sau: xác minh sơ đồ chữ ký được người xác thực sử dụng, bằng chứng rằng khóa chung của người xác thực được bao gồm trong cam kết của bộ trình xác thực được lưu trữ trên chuỗi và theo dõi bộ trình xác thực, trong đó có thể thay đổi thường xuyên.

Thách thức

Triển khai nhiều chữ ký khác nhau trong zkSNARKs Giải pháp yêu cầu triển khai các phép toán số học ngoài miền và đường cong elip phức tạp, việc này không hề đơn giản và có thể yêu cầu các cách triển khai khác nhau dựa trên khuôn khổ và sự đồng thuận của các chuỗi khác nhau. Kiểm tra mạch ZK là một nhiệm vụ đầy thách thức và dễ xảy ra lỗi. Các nhà phát triển cần phải làm quen với các ngôn ngữ dành riêng cho miền như Circom, Cairo và Noir hoặc trực tiếp triển khai các mạch, cả hai ngôn ngữ này đều có thể gặp khó khăn và có thể làm chậm quá trình áp dụng. Nếu thời gian và công sức tốn rất nhiều, nó chỉ có thể được xử lý bởi các nhóm chuyên trách và phần cứng chuyên dụng, có khả năng dẫn đến sự tập trung hóa. Thời gian tạo bằng chứng dài hơn cũng có thể gây ra sự chậm trễ. Các kỹ thuật như Tính toán có thể xác minh tăng dần (IVC) có thể tối ưu hóa thời gian chứng minh, nhưng nhiều kỹ thuật trong số đó vẫn đang trong giai đoạn nghiên cứu và chờ triển khai. Thời gian và nỗ lực xác minh lâu hơn sẽ làm tăng chi phí trên chuỗi.

Lý thuyết trò chơi tin cậy

Các giao thức tương tác dựa trên lý thuyết trò chơi có thể được chia thành hai loại, dựa trên cách chúng khuyến khích hành vi trung thực của các thực thể tham gia:

Loại đầu tiên là cơ chế an ninh kinh tế trong đó nhiều Bên tham gia bên ngoài (chẳng hạn như người xác thực) hợp tác để đạt được sự đồng thuận và xác định trạng thái cập nhật của chuỗi nguồn. Để trở thành người xác thực, người tham gia cần đặt cọc một số lượng token nhất định, số token này có thể giảm nếu hoạt động độc hại xảy ra. Trong thiết lập không được phép, bất kỳ ai cũng có thể tích lũy cổ phần và trở thành người xác nhận. Ngoài ra, các ưu đãi tài chính như phần thưởng khối được cung cấp cho những người xác thực tuân theo giao thức để đảm bảo khuyến khích kinh tế cho hành vi trung thực. Tuy nhiên, nếu số tiền tiềm năng bị đánh cắp vượt quá số tiền đặt cược, người tham gia có thể thông đồng để đánh cắp tiền. Ví dụ về các giao thức sử dụng cơ chế bảo mật kinh tế bao gồm Axelar và Celer IM.

Loại thứ hai là cơ chế bảo mật lạc quan, trong đó giải pháp chỉ dựa vào một số ít người tham gia blockchain trung thực và tuân thủ Quy tắc giao thức giả định. Trong cách tiếp cận này, một người tham gia trung thực có thể đóng vai trò là người đảm bảo. Ví dụ: một giải pháp tối ưu cho phép mọi người gửi bằng chứng gian lận. Mặc dù có những khuyến khích tài chính nhưng một người quan sát trung thực có thể bỏ lỡ một giao dịch gian lận. Optimistic Rollups cũng sử dụng cơ chế này. Nomad và ChainLink CCIP là ví dụ về các giao thức sử dụng cơ chế bảo mật lạc quan. Trong trường hợp của Nomad, những người quan sát có thể chứng minh được sự gian lận, mặc dù họ đã được đưa vào danh sách trắng tại thời điểm viết bài. ChainLink CCIP có kế hoạch sử dụng mạng chống lừa đảo bao gồm mạng oracle phân tán để phát hiện hoạt động độc hại, mặc dù việc triển khai mạng chống lừa đảo của CCIP vẫn chưa được biết đến.

Bảo mật

Về mặt bảo mật, cả hai cơ chế này dựa vào sự tham gia không được phép của người xác minh và người quan sát để đảm bảo tính hợp lệ của lý thuyết trò chơi. Trong các cơ chế an ninh kinh tế, tiền dễ bị tấn công hơn nếu số tiền cam kết thấp hơn số tiền có thể bị đánh cắp. Mặt khác, trong các cơ chế bảo mật lạc quan, giả định về niềm tin thiểu số có thể bị lợi dụng nếu không có ai gửi bằng chứng gian lận hoặc nếu những người quan sát được cấp phép bị xâm phạm hoặc bị loại bỏ. Ngược lại, các cơ chế an ninh kinh tế ít phụ thuộc vào hoạt động duy trì an ninh hơn.

Thực hiện

Về mặt thực hiện , một cách tiếp cận liên quan đến một chuỗi trung gian với các trình xác nhận riêng. Trong thiết lập này, một bộ trình xác thực bên ngoài giám sát chuỗi nguồn và đạt được sự đồng thuận về tính hợp lệ của giao dịch khi phát hiện cuộc gọi. Sau khi đạt được sự đồng thuận, họ sẽ cung cấp bằng chứng về chuỗi mục tiêu. Người xác thực thường được yêu cầu đặt cược một số lượng mã thông báo nhất định, số lượng này có thể giảm nếu phát hiện hoạt động độc hại. Ví dụ về các giao thức sử dụng phương pháp triển khai này bao gồm Axelar Network và Celer IM.

Một phương pháp triển khai khác liên quan đến việc sử dụng proxy ngoài chuỗi. Proxy ngoài chuỗi được sử dụng để triển khai các giải pháp như triển khai lạc quan. Trong khoảng thời gian được xác định trước, các proxy ngoài chuỗi này có thể gửi bằng chứng gian lận và đảo ngược giao dịch nếu cần thiết. Ví dụ: Nomad dựa vào các proxy ngoài chuỗi độc lập để chuyển tiếp các tiêu đề và bằng chứng mật mã. Mặt khác, ChainLink CCIP có kế hoạch tận dụng mạng oracle hiện có của mình để giám sát và chứng nhận các giao dịch xuyên chuỗi.

Ưu điểm và thách thức

Trò chơi A Ưu điểm chính của giải pháp AMP là tối ưu hóa tài nguyên, vì quy trình xác minh thường không diễn ra trên chuỗi, do đó giảm yêu cầu về tài nguyên. Hơn nữa, các cơ chế này có thể mở rộng vì cơ chế đồng thuận vẫn bất biến đối với nhiều loại chuỗi khác nhau và có thể dễ dàng mở rộng sang các chuỗi khối không đồng nhất.

Có một số thách thức liên quan đến các cơ chế này. Nếu phần lớn những người xác thực thông đồng với nhau, các giả định về độ tin cậy có thể bị lợi dụng để đánh cắp tiền, đòi hỏi các biện pháp đối phó như bỏ phiếu bậc hai và bằng chứng gian lận. Ngoài ra, các giải pháp dựa trên bảo mật lạc quan gây ra sự phức tạp về tính hữu hạn và tính thực tế, vì người dùng và ứng dụng cần phải chờ các cửa sổ gian lận để đảm bảo tính hợp lệ của giao dịch.

Tin cậy con người

Các giải pháp yêu cầu tin cậy các thực thể con người cũng có thể được chia thành hai danh mục:

1. Bảo mật danh tiếng: Các giải pháp này dựa trên việc triển khai đa chữ ký, trong đó nhiều thực thể xác minh và ký giao dịch. Khi đạt đến ngưỡng tối thiểu, giao dịch được coi là hợp lệ. Giả định ở đây là phần lớn các thực thể đều trung thực và nếu phần lớn các thực thể này ký một giao dịch cụ thể thì giao dịch đó hợp lệ. Rủi ro duy nhất ở đây là danh tiếng của các đơn vị tham gia. Một số ví dụ bao gồm Multichain (Anycall V6) và Wormhole. Các lỗ hổng vẫn có thể tồn tại do các lỗ hổng trong hợp đồng thông minh, như đã được chứng minh bằng vụ hack Wormhole vào đầu năm 2022.

2. Tính độc lập:Các giải pháp này chia toàn bộ quy trình nhắn tin thành hai phần và dựa vào các thực thể độc lập khác nhau để quản lý cả hai quy trình. Giả định ở đây là hai thực thể độc lập với nhau và không thông đồng với nhau. LayerZero là một ví dụ. Tiêu đề khối được truyền theo yêu cầu thông qua các oracle phân tán và bằng chứng giao dịch được gửi qua rơle. Nếu bằng chứng khớp với tiêu đề thì giao dịch được coi là hợp lệ. Mặc dù việc chứng minh sự trùng khớp dựa vào mã/toán học, nhưng người tham gia cần tin tưởng rằng các thực thể này vẫn độc lập và không có mục đích xấu. Các ứng dụng được xây dựng trên LayerZero có thể chọn các oracle và bộ chuyển tiếp (hoặc lưu trữ các oracle/bộ chuyển tiếp của riêng chúng), hạn chế rủi ro cho từng oracle/trên bộ lặp. Người dùng cuối cần tin tưởng rằng LayerZero, các bên thứ ba hoặc chính ứng dụng đang chạy các oracle và trình chuyển tiếp một cách độc lập và không có mục đích xấu.

Trong cả hai cách tiếp cận, danh tiếng của các thực thể bên thứ ba tham gia sẽ ngăn chặn hành vi nguy hiểm. Đây thường là những thực thể được tôn trọng trong cộng đồng người xác thực và nhà tiên tri và nếu họ hành xử ác ý, họ có nguy cơ gây thiệt hại về danh tiếng và tác động tiêu cực đến các hoạt động kinh doanh khác.

Những cân nhắc bổ sung dành cho giải pháp AMP

Khi xem xét tính bảo mật của giải pháp AMP Khi nó Nói đến hiệu suất và khả năng sử dụng, chúng ta cũng cần xem xét các chi tiết ngoài cơ chế cơ bản. Vì đây là những thành phần có thể thay đổi theo thời gian nên chúng tôi không đưa chúng vào so sánh tổng thể.

Tính toàn vẹn của mã

Các cuộc tấn công hack gần đây đã khai thác lỗi mã hóa, nêu bật nhu cầu kiểm tra đáng tin cậy , tiền thưởng lỗi và triển khai ứng dụng khách đa dạng. Nếu tất cả trình xác thực (trong lĩnh vực bảo mật kinh tế/lạc quan/danh tiếng) chạy cùng một máy khách (phần mềm được sử dụng để xác thực), điều đó sẽ làm tăng sự phụ thuộc vào một cơ sở mã duy nhất và giảm tính đa dạng của máy khách. Ví dụ: Ethereum dựa trên nhiều ứng dụng khách thực thi như geth, nethermind, erigon, besu, akula. Việc triển khai nhiều ngôn ngữ khác nhau có thể làm tăng tính đa dạng, không có ứng dụng khách nào thống trị mạng, do đó loại bỏ một điểm lỗi tiềm ẩn. Việc có nhiều ứng dụng khách cũng có thể giúp duy trì hoạt động nếu một số trình xác thực/người ký/ứng dụng khách nhẹ không thành công do lỗ hổng/tấn công vào một triển khai cụ thể.

Thiết lập và nâng cấp

Người dùng và nhà phát triển cần biết về trình xác nhận/Liệu người quan sát có thể tham gia mạng theo cách không được phép, nếu không, sự tin cậy sẽ bị ẩn bởi thực thể chọn quyền. Việc nâng cấp lên hợp đồng thông minh cũng có thể gây ra các lỗ hổng dẫn đến các cuộc tấn công và thậm chí có thể thay đổi các giả định về độ tin cậy. Các giải pháp khác nhau có thể được thực hiện để giảm thiểu những rủi ro này. Ví dụ: trong quá trình khởi tạo hiện tại, cổng Axelar có thể được nâng cấp nhưng cần có sự phê duyệt ngoại tuyến của ủy ban (ngưỡng 4/8), tuy nhiên, trong tương lai gần, Axelar có kế hoạch yêu cầu tất cả người xác thực phê duyệt chung mọi nâng cấp đối với cổng. Các hợp đồng cốt lõi của Wormhole có thể nâng cấp và quản lý thông qua hệ thống quản trị trên chuỗi của Wormhole. LayerZero dựa vào các hợp đồng thông minh bất biến và thư viện bất biến để tránh bất kỳ nâng cấp nào, nhưng các thư viện mới có thể được đẩy lên, các dapp có cài đặt mặc định sẽ có phiên bản mới hơn, các dapp có cài đặt phiên bản thủ công sẽ cần được đặt thành phiên bản mới.

Giá trị có thể trích xuất tối đa (MEV)

Các chuỗi khối khác nhau không được đồng bộ hóa thông qua một đồng hồ chung và có thời điểm cuối cùng khác nhau. Do đó, thứ tự và thời gian thực hiện trên chuỗi mục tiêu có thể khác nhau tùy theo chuỗi. Trong thế giới chuỗi chéo, MEV rất khó xác định rõ ràng. Nó đưa ra sự cân bằng giữa tính sống động và thứ tự thực hiện. Kênh được đặt hàng sẽ đảm bảo gửi tin nhắn theo thứ tự, nhưng nếu hết thời gian gửi tin nhắn, kênh sẽ bị đóng. Một ứng dụng khác có thể không muốn sắp xếp nhưng việc gửi các tin nhắn khác không bị ảnh hưởng.

Tính xác định của chuỗi nguồn

Lý tưởng nhất là giải pháp AMP nên Đợi chuỗi nguồn hoạt động đạt được mục đích cuối cùng trước khi truyền thông tin trạng thái của nó tới một hoặc nhiều chuỗi mục tiêu. Điều này sẽ đảm bảo rằng các khối trên chuỗi nguồn hầu như không bao giờ bị thu hồi hoặc thay đổi. Tuy nhiên, để mang lại trải nghiệm tốt nhất cho người dùng, nhiều giải pháp cung cấp tính năng nhắn tin tức thời và đưa ra các giả định đáng tin cậy về tính hữu hạn. Trong trường hợp này, nếu chuỗi nguồn gặp phải tình trạng khôi phục trạng thái sau khi nhắn tin và chuyển tiếp tài sản, điều đó có thể dẫn đến các tình huống như chi tiêu gấp đôi số tiền bắc cầu. Các giải pháp AMP có thể quản lý rủi ro này theo một số cách, chẳng hạn như bằng cách đặt ra các giả định cuối cùng khác nhau cho các chuỗi khác nhau dựa trên mức độ phân cấp của chúng hoặc bằng cách cân bằng giữa tốc độ và bảo mật. Các cầu nối tận dụng giải pháp AMP có thể đặt giới hạn về số lượng nội dung được kết nối trước khi chuỗi nguồn đạt đến trạng thái cuối cùng.

Xu hướng và triển vọng trong tương lai

Bảo mật có thể tùy chỉnh và bổ sung

Để phục vụ tốt hơn các trường hợp sử dụng đa dạng, các giải pháp AMP được khuyến khích mang lại sự linh hoạt hơn cho các nhà phát triển. Axelar giới thiệu một cách để đạt được khả năng mở rộng thông báo và xác thực mà không thay đổi logic lớp ứng dụng. HyperLane V2 giới thiệu các mô-đun cho phép nhà phát triển lựa chọn nhiều tùy chọn như bảo mật kinh tế, bảo mật lạc quan, bảo mật động và bảo mật lai. CelerIM cung cấp bảo mật tích cực bổ sung bên cạnh bảo mật tài chính. Nhiều giải pháp chờ đợi số lượng xác nhận khối tối thiểu được xác định trước trên chuỗi nguồn trước khi gửi tin nhắn. LayerZero cho phép các nhà phát triển cập nhật các thông số này. Chúng tôi hy vọng rằng một số giải pháp AMP sẽ tiếp tục mang lại sự linh hoạt hơn, nhưng những lựa chọn thiết kế này cần phải thảo luận một số. Các ứng dụng có thể định cấu hình bảo mật của chúng ở mức độ nào không và điều gì sẽ xảy ra nếu các ứng dụng được thiết kế với thiết kế dưới mức tối ưu? Nhận thức của người dùng về các khái niệm cơ bản đằng sau bảo mật có thể ngày càng trở nên quan trọng. Cuối cùng, chúng tôi thấy trước sự tổng hợp và trừu tượng hóa các giải pháp AMP, có thể dưới dạng một số dạng tổng hợp hoặc bảo mật "tiện ích bổ sung".

Sự trưởng thành của cơ chế "Mã tin cậy và toán học"

Ở giai đoạn cuối lý tưởng, tất cả các thông điệp xuyên chuỗi sẽ được giảm thiểu độ tin cậy thông qua việc sử dụng bằng chứng không có kiến thức (ZK). Chúng tôi đã thấy các dự án tương tự xuất hiện như Phòng thí nghiệm Polymer và Phòng thí nghiệm Succinct. Multichain cũng đã xuất bản sách trắng zkRouter về khả năng tương tác thông qua các bằng chứng ZK. Với Máy ảo Axelar được công bố gần đây, các nhà phát triển có thể tận dụng Bộ khuếch đại Interchain để thiết lập các kết nối mới với mạng Axelar mà không cần được phép. Ví dụ: sau khi các ứng dụng khách nhẹ và bằng chứng ZK mạnh mẽ được phát triển cho trạng thái Ethereum, các nhà phát triển có thể dễ dàng tích hợp chúng vào mạng Axelar để thay thế hoặc nâng cao các kết nối hiện có. Celer Network đã công bố Brevis, một nền tảng chứng minh dữ liệu chuỗi chéo ZK cho phép dApps và hợp đồng thông minh truy cập, tính toán và tận dụng dữ liệu tùy ý trên nhiều chuỗi khối. Celer sử dụng mạch máy khách ZK để triển khai zkBridge, một tài sản hướng đến người dùng cho chuỗi chéo giữa mạng thử nghiệm Ethereum Goerli và mạng thử nghiệm Chuỗi BNB. LayerZero thảo luận trong tài liệu của mình về khả năng thêm thư viện thư chống tối ưu hóa mới trong tương lai. Các dự án mới như Lagrange đang khám phá việc tổng hợp nhiều bằng chứng từ nhiều chuỗi nguồn, trong khi Herodotus tạo ra các bằng chứng lưu trữ khả thi với bằng chứng ZK. Tuy nhiên, quá trình chuyển đổi này sẽ mất thời gian vì cách tiếp cận này khó mở rộng quy mô giữa các chuỗi khối dựa trên các cơ chế và khuôn khổ đồng thuận khác nhau.

ZK là một công nghệ tương đối mới và phức tạp, khó kiểm toán và chi phí xác minh và tạo bằng chứng hiện tại là không tối ưu. Chúng tôi tin rằng về lâu dài, để hỗ trợ các ứng dụng chuỗi chéo có khả năng mở rộng cao trên chuỗi khối, nhiều giải pháp AMP có thể kết hợp phần mềm có thể kiểm chứng với các cá nhân và tổ chức đáng tin cậy vì:

1. Thông qua kiểm tra và thưởng lỗi, khả năng khai thác mã có thể được giảm thiểu. Theo thời gian, việc tin tưởng các hệ thống này sẽ trở nên dễ dàng hơn vì lịch sử của chúng trở thành bằng chứng về tính bảo mật của chúng.

2. Chi phí tạo ra các bằng chứng ZK sẽ giảm xuống. Với nhiều nghiên cứu và phát triển hơn về ZKP, ZKP đệ quy, tổng hợp bằng chứng, sơ đồ gấp và phần cứng chuyên dụng, chúng tôi hy vọng rằng chi phí thời gian của việc tạo và xác minh bằng chứng sẽ giảm đáng kể, khiến đây trở thành một cách tiếp cận hiệu quả hơn về mặt chi phí.

3. Blockchain sẽ trở nên thân thiện với ZK hơn. Trong tương lai, zkEVM sẽ có thể cung cấp bằng chứng ngắn gọn về tính hợp lệ thực thi và các giải pháp dựa trên máy khách nhẹ sẽ có thể dễ dàng xác minh việc thực thi và sự đồng thuận của chuỗi nguồn. Trong giai đoạn cuối cùng của Ethereum, cũng có kế hoạch "zk-SNARK mọi thứ", bao gồm cả cơ chế đồng thuận.

Chứng thực, danh tiếng và danh tính của con người

Tính bảo mật của các hệ thống phức tạp như giải pháp AMP Nó không thể được gói gọn chỉ bằng một khung duy nhất và yêu cầu một giải pháp nhiều lớp. Ví dụ: ngoài các biện pháp khuyến khích kinh tế, Axelar còn triển khai cơ chế bỏ phiếu thứ cấp để ngăn quyền biểu quyết tập trung vào một tập hợp con các nút và thúc đẩy quá trình phân cấp. Những lời chứng thực, danh tiếng và nhận dạng khác của con người cũng có thể bổ sung cho cơ chế thiết lập và cấp phép.

Kết luận

Theo tinh thần cởi mở của Web3, chúng ta có thể thấy một sự đa dạng tương lai, nhiều phương pháp cùng tồn tại. Trên thực tế, các ứng dụng có thể chọn sử dụng nhiều giải pháp tương tác theo cách dư thừa hoặc cho phép người dùng chọn kết hợp dựa trên sự đánh đổi. Giữa các tuyến đường có lưu lượng truy cập cao, các giải pháp điểm-điểm có thể sẽ được ưu tiên hơn, trong khi các mô hình trục và nan hoa có khả năng chiếm ưu thế ở phần đuôi dài của chuỗi. Cuối cùng, chúng tôi, với tư cách là một cộng đồng người dùng, người xây dựng và người đóng góp, sẽ định hình Internet Web3 về cơ bản sẽ trông như thế nào.