Tóm tắt
Marlin tăng cường sức mạnh xử lý và khả năng biểu đạt của các hợp đồng thông minh bằng cách sử dụng các tài nguyên tính toán ngoài chuỗi dễ xác minh.
Nó có hai sản phẩm, Oyster và Kalypso, sử dụng TEE và chứng minh ZK tương ứng để đảm bảo tính chính xác của các phép toán.
Khả năng không máy chủ cho phép các nhà phát triển “bắn và quên” mã, giúp họ thoát khỏi những công việc DevOps tẻ nhạt. Tự động mở rộng và khả năng chịu lỗi được tích hợp vào giao thức Marlin.
Mạng được cung cấp sức mạnh GPU cho phép các nhà phát triển gọi chương trình, gửi đầu vào và nhận kết quả bằng cách sử dụng các cuộc gọi hợp đồng thông minh, làm cho các ứng dụng và trò chơi DeFi sử dụng AI trở nên thực tiễn.
Các backend được triển khai trên Oyster có thể mở rộng các điểm cuối HTTPS cho phép các sàn giao dịch đặt hàng có độ trễ thấp, các cổng RPC hoặc các frontend phi tập trung được triển khai trên chúng.
Giới thiệu
Một blockchain bao gồm một số lượng lớn các nút xử lý dư thừa các giao dịch để ngăn chặn người dùng độc hại sử dụng đồng xu của họ hai lần hoặc thực hiện các giao dịch không hợp lệ. Điều này thường khiến blockchain trở nên chậm và tốn kém. Ngay cả các giải pháp mở rộng lớp 2 như rollups cũng bị hạn chế trong khả năng của chúng vì chúng không thể truy cập lịch sử blockchain để tính toán điểm tín dụng, chạy các mô hình học máy lớn để phát triển các trò chơi động, hoặc đạt được độ trễ đủ thấp để triển khai các sàn giao dịch đặt hàng phản hồi.
Các đồng xử lý như Marlin cho phép các thuật toán lớn và phức tạp được tính toán trên các nút ngoài chuỗi với quyền truy cập bổ sung vào các API Web 2 và lịch sử blockchain. Thay vì đánh giá cùng một chương trình trên nhiều máy, mỗi chương trình được thực thi trên một nút duy nhất, điều này tăng tốc độ thực thi, giảm chi phí và tăng khả năng song song. Độ chính xác của kết quả trong sự vắng mặt của phép toán dư thừa của chương trình gốc được đảm bảo bằng phần mềm cấu trúc được gọi là chứng minh Không-Kiến thức (ZK) và Môi trường Thực thi Đáng tin cậy (TEE), nơi các chứng minh và xác nhận tính toán nhỏ gọn được xác minh trên chuỗi nhanh hơn và rẻ hơn nhiều.
Marlin là gì?
Marlin là một giao thức tính toán có thể xác minh. Nó gồm một mạng lưới phân cấp các nút, cho phép các chương trình tùy ý được thực thi trong chúng. Các chương trình có thể được viết bằng Solidity, C++, Rust và Go, hoặc nhắm đến bất kỳ môi trường WASM nào khác. Chúng có thể được triển khai trên các nút Marlin riêng lẻ như các container docker và được gọi bằng các cuộc gọi hợp đồng thông minh.
Giao thức đảm bảo rằng các chương trình thực thi đúng cách mặc dù chạy ngoài chuỗi trên các nút do các bên thứ ba không đáng tin cậy điều hành. Đầu ra của các chương trình sau đó có thể được chuyển tiếp trở lại trên chuỗi hoặc được cung cấp qua các điểm cuối API. Nếu một nút trở nên không khả dụng hoặc nếu khối lượng công việc bất ngờ tăng lên, giao thức tự động tạo ra các phiên bản mới, cung cấp cho người dùng một giao diện không máy chủ.
Lịch sử phát hành
Dưới đây là một cái nhìn tổng quan ngắn gọn về lịch sử phát hành của Marlin:
OpenWeaver đã được phát hành vào quý 4 năm 2019, cho phép các mạng tiếp sức toàn cầu có độ trễ thấp được triển khai giữa một cụm các nút.
Marlin Cache đã được phát hành vào quý 2 năm 2020 để cho phép các nút lưu trữ và phục vụ dữ liệu thường xuyên được truy cập.
Vào quý 4 năm 2020, OpenWeaver đã được triển khai trên một mạng công cộng gồm hơn 800 nút gọi là Marlin Relay.
Trong quý 2 năm 2021, mev-bor, một khách hàng của Flashbots cho Polygon, đã được phát hành để nhận các gói MEV qua Marlin Relay.
Oyster đã thêm các khả năng tính toán bằng cách sử dụng TEE vào mạng trong quý 2 năm 2022.
Kalypso cho phép việc tạo ra các chứng minh ZK được thuê ngoài cho mạng và được công bố vào quý 4 năm 2023.
Marlin hoạt động như thế nào?
Là một mạng lưới tính toán phân cấp, kiến trúc của Marlin được tối ưu hóa cho ba nhiệm vụ:
(i) nhận các yêu cầu tính toán
(ii) thực hiện phép toán
(iii) làm cho kết quả của phép toán có sẵn
Trong tinh thần phân cấp, bất kỳ ai cũng có thể tham gia mạng và thực hiện các nhiệm vụ này. Dựa trên các nhiệm vụ, các nút được phân công các vai trò khác nhau, cụ thể là
Nút cổng
Nút thực thi
Nút giám sát
Nút cổng
Các nút cổng có trách nhiệm nhận các yêu cầu và chuyển tiếp chúng đến các nút thực thi. Các yêu cầu tính toán có thể được thực hiện bằng cách gọi các điểm cuối HTTPS được mở rộng bởi các nút cổng. Thay vào đó, để các hợp đồng thông minh có thể thực hiện yêu cầu, một hợp đồng tiếp sức được triển khai trên blockchain. Các cổng lắng nghe các sự kiện phát sinh từ hợp đồng tiếp sức và sau đó chỉ định các nút thực thi để xử lý yêu cầu.
Do đó, các cổng hoạt động như bộ cân bằng tải thực tế khi chúng kiểm tra các nút thực thi nào đang bận hoặc nhàn rỗi trước khi chuyển tiếp yêu cầu. Tương tự, các cổng cũng đóng vai trò là ống dẫn để truyền kết quả trở lại. Dựa trên yêu cầu của người dùng thực hiện yêu cầu, các cổng có thể thực hiện các giao dịch hợp đồng thông minh để truyền kết quả trở lại trên chuỗi.
Thực thi không máy chủ: Thực tế, các thuộc tính tương tự cho phép các nút cổng phát hiện khi các nút thực thi có tỷ lệ sử dụng cao hoặc đã trở nên không khả dụng. Chúng chỉ định các nút thực thi mới để tiếp quản. Khi các cổng phối hợp với nhóm các nút thực thi, các nhà phát triển không cần phải chọn và theo dõi từng nút thực thi.
Nút thực thi
Các nút thực thi bao gồm máy tính xách tay và máy chủ thông thường nhưng cũng bao gồm phần cứng chuyên dụng như GPU, ASIC và FPGA. Chúng được giao nhiệm vụ thực hiện các phép toán như các thuật toán ghép nối cho các động cơ giao dịch, điều này sẽ cực kỳ tốn kém trên chuỗi. Ngoài ra, chúng cũng có thể suy luận bằng cách sử dụng các mô hình học máy hoặc tạo ra các chứng minh ZK, điều này sẽ hoàn toàn không thể thực hiện trên chuỗi.
Các chương trình cần thực thi có thể được chia sẻ trực tiếp với nút thực thi bằng cách lưu chúng trong calldata của giao dịch hoặc trên IPFS và chỉ định các nút thực thi đến chúng bằng cách đề cập đến giao dịch hoặc băm IPFS trong yêu cầu. Vì các chương trình có thể được viết bằng bất kỳ ngôn ngữ nào, chúng cũng có thể bao gồm các máy chủ, có thể hoạt động trên nút thực thi và phục vụ yêu cầu của người dùng như một backend phi tập trung.
Nút giám sát
Các nút giám sát kiểm tra các đảm bảo mức dịch vụ (SLAs) mà các cổng và nút thực thi đã đưa ra, bao gồm thời gian hoạt động và khả năng tiếp cận mạng. Trong trường hợp một nút không đáp ứng được các đảm bảo mong đợi, cược của nó có thể bị cắt giảm bởi các nút giám sát. Do đó, các nút giám sát đóng vai trò quan trọng trong việc giữ cho mạng trung thực và hiệu suất cao bằng cách loại bỏ các nút không trung thực và hiệu suất thấp.
Đảm bảo tính chính xác
Xem xét rằng bất kỳ ai cũng có thể chạy các nút này, điều gì sẽ xảy ra nếu các nút thực thi trả về kết quả không chính xác? Nhiều điều có thể sai lầm nếu một oracle chạy trên Oyster trả về giá sai của một tài sản hoặc nếu một sàn giao dịch vĩnh viễn nhầm lẫn thanh lý một nhà giao dịch. Cũng tồi tệ như vậy, một nhà điều hành nút có thể tìm cách xâm nhập vào dữ liệu riêng tư như một mô hình học máy sở hữu đang điều khiển dịch vụ điểm tín dụng.
Để cung cấp cho người dùng sự thoải mái của việc thực thi an toàn, Marlin sử dụng hai công nghệ: TEE và chứng minh ZK.
Môi trường Thực thi Đáng tin cậy (TEE)
Một TEE hoặc vùng bảo mật là một hệ thống được bảo vệ trong một máy nơi dữ liệu và mã được tách biệt khỏi các quy trình khác ở cấp độ phần cứng. Nhiều nhà cung cấp đám mây và nhà sản xuất máy chủ cung cấp các phiên bản như vậy. Các nút thực thi Oyster sử dụng TEE để đảm bảo các chương trình chạy đúng cách vì cả hệ điều hành và bất kỳ quy trình nào khác đang chạy trên đó đều không thể truy cập các chương trình bên trong TEE.
Dữ liệu gửi đến TEE thường được mã hóa và chỉ được giải mã bên trong TEE, ngăn chặn thông tin nhạy cảm bị rò rỉ đến các nhà điều hành nút. Một xác nhận có thể xác minh trên chuỗi có thể được lấy khi các phép toán được thực hiện bên trong một TEE.
Chứng minh Không-Kiến thức (ZK)
Một chứng minh không kiến thức là một sơ đồ mật mã cho phép ai đó thực hiện phép toán chứng minh cho ai đó khác rằng kết quả là chính xác bằng cách chia sẻ một chứng minh. Mật mã đứng sau việc tạo ra chứng minh khiến việc xác minh rất dễ dàng nhưng gần như không thể làm giả trừ khi phép toán thực sự được thực hiện đúng cách. Các phép toán được thuê ngoài cho các nút thực thi Kalypso tạo ra một chứng minh như vậy, có thể được xác minh trên chuỗi.
Thị trường ZK prover Kalypso là một sàn giao dịch dựa trên sổ đặt hàng cho phép bất kỳ ai tạo ra một thị trường cho bất kỳ sơ đồ chứng minh ZK nào. Vì việc tạo ra các chứng minh ZK tốn thời gian và chi phí, thị trường kết nối các thiết bị bị hạn chế tài nguyên với các nhà cung cấp phần cứng nhàn rỗi để tăng doanh thu và khả năng sử dụng tài nguyên.
Điều gì làm cho Marlin trở nên độc đáo?
Marlin là một mạng lưới các đồng xử lý ngoài chuỗi và không phải là một blockchain. Điều này mang lại một số lợi thế chính:
Không phụ thuộc vào blockchain: Marlin có thể làm việc với bất kỳ nhà cung cấp lớp 1, lớp 2 hoặc rollup-as-a-service nào để tăng cường khả năng tính toán của họ.
Truy cập dữ liệu ngoài chuỗi: Các nút Marlin có thể truy cập thông tin từ cơ sở dữ liệu, API Web 2 hoặc các nút lưu trữ blockchain, điều này thì không thể thực hiện trên chuỗi.
Tính toán song song: Các nút đồng xử lý trên Marlin không thực hiện các phép toán giống nhau một cách dư thừa, cho phép mỗi nút làm việc đồng thời trên các nhiệm vụ khác nhau.
Các điểm cuối HTTPS: Kết nối TLS có thể được chấm dứt bên trong TEE, cho phép các nút Oyster gửi/nhận dữ liệu bằng cách sử dụng các kết nối HTTPS.
Không phụ thuộc vào mạch: Không giống như các mạng ZK prover chuyên dụng, Kalypso được thiết kế để không cần quyền, cho phép tạo chứng minh cho bất kỳ mạch, zkVM hoặc hệ thống chứng minh nào.
Không giống như hầu hết các hệ thống blockchain nơi tính toán là giao dịch, các chương trình được triển khai trên Marlin có thể được để chạy mãi mãi, miễn là một ví liên kết tiếp tục thanh toán cho nó.
Mã thông báo POND là gì?
Hệ sinh thái Marlin dựa vào mã thông báo POND để tạo ra các đảm bảo an ninh của nó. Các nút trong mạng cần phải đặt cược POND để tham gia. Họ có nguy cơ mất cược nếu có hành vi sai trái. Điều này đảm bảo rằng các tác nhân khác nhau trong mạng tuân thủ các quy tắc do giao thức xác định.
Những suy nghĩ cuối cùng
Oyster và Kalypso định vị Marlin như một đồng xử lý đáng tin cậy cho các DApps được xây dựng trên bất kỳ nhà cung cấp lớp-1, lớp-2 hoặc roll-as-a-service nào. Tính tùy chỉnh của nó đảm bảo rằng các DApps có sự lựa chọn sử dụng TEE, chứng minh ZK hoặc cả hai để cung cấp bảo mật cho các phép toán ngoài chuỗi. Tính linh hoạt của nó cung cấp nhiều tùy chọn triển khai, chế độ tương tác, ngôn ngữ lập trình và môi trường chạy. Cuối cùng, tính mở của nó cho phép bất kỳ ai tham gia, cung cấp sức mạnh tính toán và triển khai các ứng dụng hấp dẫn.
Nội dung này được trình bày cho bạn trên cơ sở “như vậy” chỉ để thông tin chung và mục đích giáo dục, mà không có sự đại diện hay bảo đảm nào dưới bất kỳ hình thức nào. Nó không nên được hiểu là lời khuyên tài chính, pháp lý hoặc chuyên nghiệp khác, cũng như không nhằm mục đích khuyên mua bất kỳ sản phẩm hoặc dịch vụ cụ thể nào. Bạn nên tìm kiếm lời khuyên của chính mình từ các cố vấn chuyên nghiệp thích hợp. Các sản phẩm được đề cập trong bài viết này có thể không có sẵn trong khu vực của bạn. Khi bài viết được đóng góp bởi một bên thứ ba, xin lưu ý rằng những quan điểm được bày tỏ thuộc về bên thứ ba đó, và không nhất thiết phản ánh quan điểm của Binance Academy. Xin vui lòng đọc cảnh báo miễn trừ trách nhiệm đầy đủ để biết thêm chi tiết. Giá trị tài sản kỹ thuật số có thể dao động. Giá trị đầu tư của bạn có thể giảm xuống hoặc tăng lên và bạn có thể không lấy lại số tiền đã đầu tư. Bạn hoàn toàn chịu trách nhiệm cho các quyết định đầu tư của mình và Binance Academy không chịu trách nhiệm cho bất kỳ tổn thất nào bạn có thể gặp phải. Tài liệu này không nên được hiểu là lời khuyên tài chính, pháp lý hoặc chuyên nghiệp khác. Để biết thêm thông tin, hãy xem Điều khoản sử dụng và Cảnh báo rủi ro.