Điều hướng Web có khả năng tương tác: Đi sâu vào các Giao thức truyền tin nhắn tùy ý

Giới thiệu loại coin

Tương lai là đa chuỗi. Cuộc tìm kiếm khả năng mở rộng đã khiến Ethereum hướng tới việc cuộn lên. Sự thay đổi hướng tới các chuỗi khối mô-đun đã thu hút lại sự chú ý vào chuỗi ứng dụng. Và ở phía bên kia đường chân trời, chúng tôi nghe thấy những lời thì thầm về các đợt cuộn lên dành riêng cho ứng dụng, L3 và các chuỗi có chủ quyền.

Nhưng điều này đã phải trả giá bằng sự phân mảnh. Do đó, làn sóng cầu cơ bản đầu tiên đã được đưa ra để giải quyết nhu cầu bắc cầu, nhưng chúng thường bị hạn chế về chức năng và phải dựa vào những người ký tên đáng tin cậy để bảo mật.

Trò chơi kết thúc của một web3 được kết nối với nhau sẽ như thế nào? Chúng tôi tin rằng tất cả các cầu nối sẽ phát triển thành giao thức nhắn tin xuyên chuỗi hoặc “Truyền tin nhắn tùy ý” (AMP) để mở khóa các trường hợp sử dụng mới, bằng cách cho phép ứng dụng chuyển các tin nhắn tùy ý từ chuỗi nguồn đến chuỗi đích. Chúng ta cũng sẽ thấy một “bối cảnh cơ chế tin cậy” xuất hiện, nơi các nhà xây dựng thực hiện nhiều sự cân bằng khác nhau về khả năng sử dụng, độ phức tạp và bảo mật.

Mọi giải pháp AMP đều cần hai khả năng quan trọng:

• 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 đích
• Tính sống động: Khả năng chuyển tiếp thông tin từ nguồn đến đích

Không thể đạt được xác minh không cần tin cậy 100% và người dùng phải tin tưởng vào mã, lý thuyết trò chơi, con người (hoặc thực thể) hoặc kết hợp những thứ này, tùy thuộc vào việc xác minh được thực hiện trên chuỗi hay ngoài chuỗi.

Chúng tôi phân chia bối cảnh khả năng tương tác tổng thể dựa trên cơ chế tin cậy và kiến trúc tích hợp.

Cơ chế tin cậy:

1. Mã tin cậy/toán học: Đối với các giải pháp này, bằng chứng trên chuỗi tồn tại và có thể được xác minh bởi bất kỳ ai. Các giải pháp này thường dựa vào máy khách hạng nhẹ để xác thực sự đồng thuận của chuỗi nguồn trên chuỗi đích hoặc xác minh tính hợp lệ của quá trình chuyển đổi trạng thái cho chuỗi nguồn trên chuỗi đích. Việc xác minh thông qua các ứng dụng khách nhẹ có thể được thực hiện hiệu quả hơn nhiều thông qua Bằng chứng không kiến thức để nén các phép tính dài tùy ý ngoại tuyến và cung cấp xác minh đơn giản trên chuỗi để chứng minh các tính toán.
2. Lý thuyết trò chơi tin cậy: Có một giả định về niềm tin bổ sung khi người dùng/ứng dụng phải tin tưởng vào bên thứ ba hoặc mạng lưới của bên thứ ba về tính xác thực của giao dịch. Các cơ chế này có thể được đảm bảo an toàn hơn thông qua các mạng không được phép kết hợp với các lý thuyết trò chơi như khuyến khích kinh tế và an ninh lạc quan.
3. Tin tưởng vào con người: Những giải pháp này dựa vào tính trung thực của phần lớn những người xác thực hoặc tính độc lập của các thực thể chuyển tiếp thông tin khác nhau. Họ yêu cầu sự tin tưởng vào bên thứ ba ngoài việc tin tưởng vào sự đồng thuận của hai chuỗi tương tác. Điều duy nhất bị đe dọa ở đây là danh tiếng của các đơn vị tham gia. Nếu có đủ các bên tham gia đồng ý rằng một giao dịch là hợp lệ thì nó được coi là hợp lệ.

Điều quan trọng cần lưu ý là tất cả các giải pháp, ở một mức độ nhất định, đều yêu cầu sự tin tưởng vào mã cũng như con người. Bất kỳ giải pháp nào có mã bị 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 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: Cần thiết lập một kênh liên lạc chuyên dụng giữa mọi nguồn và mọi đích.
2. Mô hình Hub và Spoke: Một kênh liên lạc cần được thiết lập với một trung tâm trung tâm cho phép kết nối với tất cả các chuỗi khối khác được kết nối với trung tâm đó.

Mô hình Điểm tới Điểm tương đối khó mở rộng vì cần có kênh liên lạc theo cặp cho mọi chuỗi khối được kết 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ầu nối theo cặp mang lại sự linh hoạt hơn trong việc tùy chỉnh cấu hình nếu cần. Một cách tiếp cận kết hợp cũng có thể thực hiện được, ví dụ, bằng cách sử dụng giao thức Giao tiếp liên chuỗi khối (IBC) với định tuyến nhiều bước thông qua một trung tâm, giúp loại bỏ nhu cầu giao tiếp theo cặp trực tiếp, nhưng lại gây ra sự phức tạp hơn về bảo mật, độ trễ và chi phí cân nhắc.

Mã tin cậy/toán học

Làm thế nào để các khách hàng hạng nhẹ xác thực sự đồng thuận của chuỗi nguồn trên chuỗi đích?

Máy khách/nút nhẹ là một 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 đích thường lưu trữ lịch sử của các tiêu đề khối (tuần tự) của chuỗi nguồn, đủ để xác minh các giao dịch. Các tác nhân ngoài chuỗi như người chuyển tiếp giám sát các sự kiện trên chuỗi nguồn, tạo ra bằng chứng bao gồm mật mã và chuyển tiếp chúng cùng với các tiêu đề khối đến máy khách hạng nhẹ trên chuỗi đích. Các máy khách hạng nhẹ có thể xác minh giao dịch khi chúng lưu trữ các tiêu đề khối một cách tuần tự và 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. Các tính năng chính của cơ chế này là:

1. Bảo vệ:

• Ngoài sự tin cậy vào mã, một giả định tin cậy khác được đưa ra trong quá trình khởi tạo ứng dụng khách cơ bản. Khi ai đó tạo một ứng dụng khách nhẹ mới, nó sẽ được khởi tạo với tiêu đề ở một độ cao cụ thể từ chuỗi đối tác. Tiêu đề được cung cấp có thể không chính xác và ứng dụng khách nhẹ sau đó có thể bị lừa bằng các tiêu đề giả mạo khác. Không có giả định tin cậy nào được đưa ra sau khi máy khách hạng nhẹ đã được khởi tạo. Tuy nhiên, đây là giả định về độ tin cậy yếu vì bất kỳ ai cũng có thể kiểm tra quá trình khởi tạo.
• Có một giả định về tính sống động trên bộ chuyển tiếp vì nó cần thiết để truyền thông tin.

1. Triển khai: Phụ thuộc vào sự sẵn có của hỗ trợ cho các nguyên tắc mã hóa cần thiết để xác minh

• Nếu cùng một loại chuỗi đang được kết nối (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ụ: IBC cho tất cả các chuỗi dựa trên Cosmos SDK.
• Nếu hai loại chuỗi khác nhau (khung ứng dụng hoặc loại đồng thuận khác nhau) được kết nối thì việc triển khai ứng dụng khách nhẹ sẽ khác nhau. Ví dụ: Tài chính tổng hợp đang hoạt động để cho phép chuỗi Cosmos SDK được kết nối thông qua IBC với Substrate (khung ứng dụng của hệ sinh thái Polkadot). Điều này yêu cầu ứng dụng khách ánh sáng Tendermint trên chuỗi cơ chất và cái gọi là ứng dụng khách ánh sáng mạnh mẽ được thêm vào chuỗi SDK Cosmos

1. Những thách thức:

• Cường độ tài nguyên: Việc chạy các ứng dụng khách nhẹ theo cặp trên tất cả các chuỗi sẽ rất tốn kém vì việc ghi trên chuỗi khối rất tốn kém và không khả thi khi chạy trên các chuỗi có bộ trình xác thực động như Ethereum.
• Khả năng mở rộng: Cần phải triển khai ứng dụng khách nhẹ cho mỗi tổ hợp chuỗi. Do việc triển khai khác nhau tùy theo kiến trúc của chuỗi nên rất khó để mở rộng quy mô và kết nối các hệ sinh thái khác nhau.
• Khai thác mã: Lỗi trong mã có thể dẫn đến lỗ hổng. Vụ khai thác chuỗi BNB vào tháng 10 năm 2022 đã phát hiện ra 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.

Làm cách nào để bằng chứng ZK xác minh tính hợp lệ của quá trình chuyển đổi trạng thái cho chuỗi nguồn trên chuỗi đích?

Việc chạy các ứng dụng khách nhẹ theo cặp trên tất cả các chuỗi rất tốn kém và không thực tế đối với tất cả các chuỗi khối. Các máy khách nhẹ trong quá trình triển khai như IBC cũng được yêu cầu theo dõi bộ trình xác thực của chuỗi nguồn, điều này không thực tế đối với các chuỗi có bộ trình xác thực động, như Ethereum. Bằng chứng ZK cung cấp giải pháp giảm lượng khí đốt và thời gian xác minh. Thay vì chạy toàn bộ tính toán trên chuỗi, chỉ việc xác minh bằng chứng tính toán được thực hiện trên chuỗi và việc tính toán thực tế được thực hiện ngoài chuỗi. Việc xác minh bằng chứng tính toán có thể được thực hiện trong thời gian ngắn hơn và tốn ít gas hơn so với việc chạy lại tính toán ban đầu. Các tính năng chính của cơ chế này là:

1. Bảo mật: zk-SNARK phụ thuộc vào các đường cong elip để bảo mật và zk-STARK phụ thuộc vào hàm băm. zk-SNARK có thể yêu cầu hoặc không yêu cầu thiết lập đáng tin cậy. Thiết lập đáng tin cậy ban đầu chỉ cần thiết để đề cập đến sự kiện tạo ban đầu của các khóa được sử dụng để tạo bằng chứng cần thiết để xác minh các bằng chứng đó. Nếu bí mật trong sự kiện thiết lập không bị hủy, chúng có thể được sử dụng để giả mạo giao dịch bằng cách xác minh sai. Không có giả định tin cậy nào được đưa ra sau khi thiết lập tin cậy hoàn tất.
2. Triển khai: Các chương trình chứng minh ZK khác nhau như SNARK, STARK, VPD, SNARG tồn tại cho đến ngày nay và hiện tại SNARK được áp dụng rộng rãi nhất. Bằng chứng ZK đệ quy là một sự phát triển mới nhất khác cho phép toàn bộ công việc chứng minh được phân chia giữa nhiều máy tính thay vì chỉ một. Để tạo ra bằng chứng hợp lệ, cần 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
• bao gồm bằng chứng về khóa công khai của trình xác thực trong cam kết của bộ trình xác thực (được lưu trữ trên chuỗi)
• theo dõi bộ trình xác nhận có thể thay đổi thường xuyên

1. Những thách thức:

• Để triển khai các lược đồ chữ ký khác nhau bên trong zkSNARK yêu cầu triển khai các phép toán số học ngoài trường và đường cong elip phức tạp. Điều này không dễ đạt được và có thể yêu cầu các cách triển khai khác nhau cho mỗi chuỗi tùy thuộc vào khuôn khổ và sự đồng thuận của chúng.
• Nếu thời gian và nỗ lực chứng minh là cực kỳ cao thì chỉ những đội chuyên biệt với phần cứng chuyên dụng mới có thể làm được điều đó sẽ dẫn đến sự tập trung hóa. Thời gian tạo bằng chứng cao hơn cũng có thể dẫn đến độ trễ.
• Thời gian và nỗ lực xác minh cao hơn sẽ dẫn đến chi phí trên chuỗi cao hơn.

1. Ví dụ: Polymer ZK-IBC của Phòng thí nghiệm Polymer, Phòng thí nghiệm Succinct. Polymer đang nghiên cứu IBC hỗ trợ nhiều bước nhảy để tăng khả năng kết nối đồng thời giảm số lượng kết nối theo cặp cần thiết.

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 2 loại dựa trên cách chúng khuyến khích hành vi trung thực từ các thực thể tham gia:

1. An ninh kinh tế: Nhiều người tham gia bên ngoài (như người xác nhận) đạt được sự đồng thuận về trạng thái cập nhật của chuỗi nguồn. Điều này tương tự như thiết lập nhiều chữ ký nhưng để trở thành người xác thực, người tham gia được yêu cầu đặt cọc một lượng token nhất định, số token này có thể bị cắt giảm trong trường hợp phát hiện bất kỳ hoạt động độc hại nào. Trong các 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òn có phần thưởng khối, hoạt động như một động lực kinh tế khi những người xác thực tham gia tuân theo giao thức. Do đó, những người tham gia được khuyến khích về mặt kinh tế để trung thực. Tuy nhiên, nếu số tiền có thể bị đánh cắp cao hơn nhiều so với số tiền đặt cược thì người tham gia có thể cố gắng thông đồng để đánh cắp tiền. Ví dụ: Axelar, Celer IM
2. Bảo mật lạc quan: Các giải pháp bảo mật lạc quan dựa trên giả định về niềm tin thiểu số, giả định rằng chỉ một số ít người tham gia blockchain là trực tiếp, trung thực và tuân theo các quy tắc của giao thức. Giải pháp chỉ có thể yêu cầu một người tham gia trung thực duy nhất giữ lời đảm bảo. Ví dụ phổ biến nhất là giải pháp tối ưu mà bất kỳ ai cũng có thể gửi bằng chứng gian lận. Ở đây cũng có động cơ kinh tế nhưng trên thực tế, ngay cả một người theo dõi trung thực cũng có thể bỏ lỡ một giao dịch gian lận. Những kết quả lạc quan cũng tận dụng cách tiếp cận này. Ví dụ: Nomad, ChainLink CCIP

• Trong trường hợp của Nomad, người theo dõi có thể chứng minh được sự gian lận. Tuy nhiên, những người theo dõi Nomad được đưa vào danh sách trắng tại thời điểm viết bài.
• ChainLink CCIP sẽ tận dụng Mạng chống gian lận bao gồm các mạng oracle phi tập trung với mục đích duy nhất là giám sát hoạt động độc hại. Việc triển khai Mạng Chống Lừa đảo của CCIP vẫn chưa được nhìn thấy.

Đặc điểm chính của các cơ chế này là:

1. Bảo mật: Đối với cả hai cơ chế, điều cần thiết là phải có sự tham gia không được phép của người xác thực và người theo dõi để cơ chế lý thuyết trò chơi có hiệu quả. Theo cơ chế an ninh kinh tế, tiền có thể gặp rủi ro cao hơn nếu số tiền đặt cọc thấp hơn số tiền có thể bị đánh cắp. Theo cơ chế bảo mật lạc quan, các giả định về niềm tin thiểu số đối với các giải pháp lạc quan có thể bị khai thác nếu không ai gửi bằng chứng gian lận hoặc nếu những người theo dõi được cấp phép bị xâm phạm/xóa bỏ, trong khi các cơ chế an ninh kinh tế không có cùng sự phụ thuộc vào tính tồn tại của an ninh.
2. Thực hiện:

• Chuỗi trung gian có trình xác thực riêng: Một nhóm trình xác thực bên ngoài giám sát chuỗi nguồn, đạt được sự đồng thuận về tính hợp lệ của giao dịch bất cứ khi nào phát hiện được cuộc gọi và cung cấp chứng thực trên chuỗi đích nếu đạt được sự đồng thuận. Người xác thực thường được yêu cầu đặt cược một số lượng token nhất định có thể bị cắt giảm nếu phát hiện hoạt động độc hại. Ví dụ: Mạng Axelar, Celer IM
• Thông qua các đại lý ngoài chuỗi: Các đại lý ngoài chuỗi có thể được sử dụng để triển khai một giải pháp giống như triển khai lạc quan trong khoảng thời gian được xác định trước, các đại lý ngoài chuỗi sẽ được phép gửi bằng chứng gian lận và hoàn nguyên giao dịch. Ví dụ: Nomad dựa vào các tác nhân ngoài chuỗi độc lập để chuyển tiếp bằng chứng tiêu đề và mật mã. ChainLink CCIP sẽ tận dụng mạng oracle hiện có của mình để giám sát và chứng thực các giao dịch xuyên chuỗi.

1. Những thách thức:

• Các giả định về độ tin cậy có thể bị lợi dụng để đánh cắp tiền nếu phần lớn những người xác nhận thông đồng với nhau, đò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.
• Tính cuối cùng: Các giải pháp AMP dựa trên bảo mật lạc quan tạo 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ờ thời cơ gian lận.

1. Thuận lợi:

• Tối ưu hóa tài nguyên: Cách tiếp cận này thường không tốn nhiều tài nguyên vì việc xác minh thường không diễn ra trên chuỗi
• Khả năng mở rộng: Cách tiếp cận này có khả năng mở rộng hơn vì cơ chế đồng thuận vẫn giống nhau cho tất cả các loại chuỗi và có thể dễ dàng mở rộng sang các chuỗi khối không đồng nhất.

Tin tưởng con người

1. Giả định về tính trung thực đa số: Các giải pháp này dựa trên việc triển khai nhiều chữ ký trong đó nhiều thực thể xác minh và ký các giao dịch. Khi đạt được 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 đang ký vào một giao dịch cụ thể thì giao dịch đó là hợp lệ. Điều duy nhất bị đe dọa ở đây là danh tiếng của các đơn vị tham gia. Ví dụ: Multichain (Anycall V6), Wormhole. Việc khai thác do lỗi hợp đồng thông minh vẫn có thể xảy ra, bằng chứng là 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ộ quá trình truyền tin nhắn thành hai phần và dựa vào các thực thể độc lập khác nhau để quản lý 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í dụ: LayerZero. Các tiêu đề khối được truyền phát theo yêu cầu bởi các nhà tiên tri phi tập trung và bằng chứng giao dịch được gửi qua bộ chuyển tiếp. 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 so khớp bằng chứng phụ thuộc vào mã/toán học, nhưng người tham gia được yêu cầu tin tưởng vào các thực thể để duy trì tính độc lập. Các ứng dụng xây dựng trên LayerZero có tùy chọn chọn Oracle và Relayer (hoặc lưu trữ Oracle/Relayer của riêng chúng), do đó hạn chế rủi ro đối với sự thông đồng oracle/relayer riêng lẻ. Người dùng cuối cần tin tưởng rằng LayerZero, bên thứ ba hoặc chính ứng dụng đang chạy oracle và trình chuyển tiếp một cách độc lập và không có ý định xấu.

Trong cả hai cách tiếp cận, danh tiếng của các thực thể bên thứ 3 tham gia đều không khuyến khích 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à họ có nguy cơ gặp phải những hậu quả về danh tiếng cũng như tác động tiêu cực đến các hoạt động kinh doanh khác nếu họ hành động ác ý.

Ngoài những giả định về niềm tin và tương lai của khả năng tương tác

Trong khi xem xét tính bảo mật và khả năng sử dụng của giải pháp AMP, chúng tôi cũng cần tính đến các chi tiết ngoài các cơ chế cơ bản. Vì đây là những bộ phận chuyển động 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ã: Một số vụ hack trong quá khứ gần đây đã lợi dụng các lỗi trong mã, đòi hỏi phải có kiểm tra đáng tin cậy, tiền thưởng lỗi được lên kế hoạch tốt và triển khai nhiều ứng dụng khách. Nếu tất cả cá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 để xác minh), điều đó sẽ làm tăng sự phụ thuộc vào một cơ sở mã duy nhất và làm 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. Nhiều triển khai bằng nhiều ngôn ngữ khác nhau có khả năng tăng tính đa dạng mà không có bất kỳ ứ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 khách hàng cũng có thể giúp tăng tính năng hoạt động nếu một số ít người xác thực/người ký tên/khách hàng nhẹ gặp sự cố do khai thác/lỗi trong một lần 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 liệu người xác thực/người theo dõi có thể tham gia mạng theo cách không được phép hay không, nếu không, sự tin cậy sẽ bị che giấu bởi việc lựa chọn các thực thể được phép. Việc nâng cấp lên hợp đồng thông minh cũng có thể gây ra lỗi dẫn đến việc khai thác hoặc thậm chí có khả năng 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ác cổng Axelar có thể nâng cấp được nếu có sự phê duyệt của ủy ban ngoại tuyến (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ác cổng. Các hợp đồng cốt lõi của Wormhole có thể nâng cấp và được 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, tuy nhiên, nó có thể đẩy một thư viện mới và các dapp có cài đặt mặc định sẽ nhận được phiên bản cập nhật và các dapp có phiên bản được đặt thủ công sẽ cần đặt nó sang phiên bản mới .
• 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 gian hoàn thành khác nhau. Do đó, thứ tự và thời gian thực hiện trên chuỗi đích có thể khác nhau giữa các chuỗi. MEV trong một thế giới chuỗi chéo là một thách thức để 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 kênh sẽ đóng nếu hết một tin nhắn. Một ứng dụng khác có thể thích một kịch bản trong đó việc đặt hàng là không cần thiết nhưng việc gửi các tin nhắn khác không bị ảnh hưở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 phương pháp nâng cấp khả năng truyền và xác minh thông báo mà không có bất kỳ thay đổi nào đối với logic lớp ứng dụng. HyperLane V2 đã giới thiệu các mô-đun cho phép các nhà phát triển lựa chọn trong số nhiều lựa 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 lạc quan bổ sung cùng với bảo mật kinh tế. 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 truyền thông báo. 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 kỳ vọ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 sẽ dẫn đến một số cuộc thảo luận. Các ứng dụng có thể định cấu hình bảo mật ở mức độ nào không và điều gì sẽ xảy ra nếu ứng dụng áp dụng kiến trúc thiết kế dưới mức trung bình? 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 một số hình thức kết hợp hoặc bảo mật “bổ sung”.
• Sự phát triển và hoàn thiện của cơ chế “Mã tin cậy/toán học”: Trong một trò chơi kết thúc 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 bằng cách sử dụng bằng chứng không kiến thức (ZK) để xác minh thông điệp và trạng thái. Chúng tôi đã chứng kiến sự thay đổi này với sự xuất hiện của các dự án như Phòng thí nghiệm Polymer và Phòng thí nghiệm Succinct. Multichain gần đây cũng đã xuất bản sách trắng zkRouter để cho phép 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ấp phép. Ví dụ: khi các máy khách nhẹ và bằng chứng ZK mạnh mẽ cho trạng thái của Ethereum được phát triển, 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 kết nối hiện có. LayerZero trong tài liệu của mình nói về khả năng bổ sung các thư viện nhắn tin bằng chứng được tối ưu hóa mới trong tương lai. Các dự án mới hơn 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 và Herodotus đang làm cho bằng chứng lưu trữ trở nên khả thi thông qua 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 blockchain 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, đang gặp nhiều thách thức trong việc kiểm toán và hiện tại, việc xác minh và tạo bằng chứng không mang lại chi phí 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ó khả năng bổ sung cho các cá nhân và tổ chức đáng tin cậy bằng phần mềm có thể xác minh được vì:
• Khả năng khai thác mã có thể được giảm thiểu thông qua kiểm tra và tiền thưởng lỗi. Theo thời gian, việc tin tưởng các hệ thống này sẽ dễ dàng hơn vì lịch sử của chúng sẽ đóng vai trò là bằng chứng về tính bảo mật của chúng.
• Chi phí tạo ra bằng chứng ZK sẽ giảm. Với nhiều hoạt động R&D hơn về ZKP, ZK đệ quy, tập hợp bằng chứng và phần cứng chuyên dụng, chúng tôi hy vọng thời gian và chi phí 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í.
• Blockchains sẽ trở nên thân thiện hơn với zk. Trong tương lai, zkEVM sẽ có thể cung cấp bằng chứng thực thi hợp lệ ngắn gọn 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 cả việc thực thi và sự đồng thuận của chuỗi nguồn trên chuỗi đích. Trong trò chơi cuối cùng của Ethereum, cũng có kế hoạch “zk-SNARK mọi thứ” bao gồm cả sự đồng thuận.
• Bằng chứng về tính nhân văn/danh tiếng/danh tính: Tính bảo mật của các hệ thống phức tạp như giải pháp AMP không thể được gói gọn trong một khuôn khổ duy nhất và đảm bảo có nhiều lớp giải pháp. Ví dụ: cùng với các biện pháp khuyến khích kinh tế, Axelar đã triển khai bỏ phiếu bậc hai để ngăn chặn sự tập trung quyền biểu quyết giữa một tập hợp con các nút và thúc đẩy quá trình phân cấp. Các bằng chứng khác về tính nhân văn, danh tiếng và danh tính cũng có thể bổ sung cho các cơ chế thiết lập và cấp phép.

Với tinh thần cởi mở của Web3, chúng ta có thể sẽ thấy một tương lai đa dạng nơi nhiều cách tiếp cận 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 kết hợp và kết hợp với việc tiết lộ sự đánh đổi. Các giải pháp điểm-điểm có thể được ưu tiên giữa các tuyến đường có “lưu lượng truy cập cao”, trong khi mô hình trục và trục có thể chiếm ưu thế ở phần đuôi dài của chuỗi. Cuối cùng, tùy thuộc vào chúng tôi, tập thể người dùng, người xây dựng và người đóng góp, trong việc định hình địa hình của web3 được kết nối với nhau.

Chúng tôi xin cảm ơn Bo Du và Peter Kim từ Phòng thí nghiệm Polymer, Galen Moore từ Axelar Network, Uma Roy từ Phòng thí nghiệm Succinct, Max Glassman và Ryan Zarick từ LayerZero vì đã xem xét và cung cấp phản hồi có giá trị của họ.

Danh sách tài liệu tham khảo:

• Trục: https://docs.axelar.dev/
• CelerIM: https://im-docs.celer.network/developer/celer-im-overview
• ChainLink CCIP: https://blog.chain.link/introducing-the-cross-chain-interoperability-protocol-ccip/
• debridge: https://docs.debridge.finance/
• IBC: https://tutorials.cosmos.network/academy/3-ibc/
• LayerZero: https://layerzero.gitbook.io/docs/
• Đa chuỗi: https://docs.multichain.org/getting-started/introduction
• Du mục: https://docs.nomad.xyz/nomad-101/introduction
• Phòng thí nghiệm Polymer: https://polymerlabs.medium.com/
• Phòng thí nghiệm ngắn gọn: https://blog.succinct.xyz/
• Lỗ sâu: https://docs.wormhole.com/wormhole/

Danh sách đọc thêm:

• Điều hướng các cầu nối nhắn tin tùy ý: Khung so sánh: https://blog.li.fi/navigating-arbitrary-messaging-bridges-a-comparison-framework-8720f302e2aa
• Khung rủi ro L2Bridge: https://gov.l2beat.com/t/l2bridge-risk-framework/31
• Horatius tại cây cầu: https://maven11.substack.com/p/horatius-at-the-bridge

Tuyên bố từ chối trách nhiệm:

1. Bài viết này được in lại từ [Medium]. Mọi bản quyền thuộc về tác giả gốc [LongHash Ventures]. Nếu có ý kiến phản đối việc tái bản này, vui lòng liên hệ với nhóm Gate Learn , họ sẽ xử lý kịp thời.
2. Tuyên bố miễn trừ trách nhiệm pháp lý: Các quan điểm và ý kiến trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết đã dịch đều bị cấm.