1/ Manta Thái Bình Dương
Manta Pacific là giải pháp Ethereum Lớp 2 được thiết kế cho các ứng dụng ZK. Đây là Lớp 2 mô-đun được xây dựng trên Ethereum và đã nhận được hơn 60 triệu đô la tài trợ từ các tổ chức như Polychain, Binance Labs, CoinFund và SevenX Ventures.
Manta Pacific hiện dựa trên kiến trúc OP Stack tùy chỉnh của Caldera, khiến nó tương thích gần như 100% với Ethereum EVM. Điều này cho phép các nhà phát triển hiện có trong hệ sinh thái Ethereum di chuyển liền mạch các ứng dụng của họ sang Manta Pacific.
Manta Pacific chuyển lớp khả dụng dữ liệu từ Ethereum sang Celestia, biến nó thành Lớp 2 đầu tiên sử dụng Celestia làm lớp sẵn có dữ liệu.
Manta cũng kết hợp các mạch ZK vào Manta Pacific. Các nhà phát triển có thể dễ dàng gọi các hàm ZK chỉ bằng một vài dòng mã thông qua SDK và API, cho phép tích hợp ZK với các DApp hiện có hoặc phát triển các ứng dụng ZK mới.
2/ Tính mô đun
Tính mô đun đề cập đến thiết kế sản phẩm và tư duy kiến trúc phổ biến trong Web2 và các ngành công nghiệp truyền thống. Ví dụ: các nhà sản xuất điện thoại thông minh chọn nhà cung cấp màn hình, chip, WiFi, Bluetooth, v.v., sau đó sử dụng các nhà sản xuất theo hợp đồng để lắp ráp, cải thiện đáng kể hiệu quả và giảm chi phí, thay vì tự sản xuất tất cả các linh kiện.
Thông thường, một blockchain có thể được chia thành lớp đồng thuận, lớp giải quyết, lớp sẵn có của dữ liệu và lớp thực thi.
Mạng chính của Ethereum xử lý các trách nhiệm giải quyết và đồng thuận cuối cùng, trong khi các dự án lớp sẵn có của dữ liệu bao gồm Celestia, EigenDA, Polygon Avail, v.v. Lớp Ethereum 2 phổ biến là các dự án lớp thực thi.
Tính mô-đun có nghĩa là khả năng tùy chỉnh và khả năng kết hợp cao hơn. Các dự án có thể thực hiện đánh đổi dựa trên nhu cầu của họ, chẳng hạn như ủy thác bảo mật cho mạng chính Ethereum trong khi theo đuổi phí Gas thấp, thậm chí phí Gas bằng 0 và tốc độ giao dịch cực cao.
Tính mô-đun cho phép các dự án xây dựng chuỗi của họ dựa trên các nhóm kỹ thuật đã được chứng minh như Polygon CDK hoặc OP Stack mà không cần xây dựng tất cả cơ sở hạ tầng từ đầu.
3/ Tính mô đun của Manta Pacific
Thiết kế mô-đun của Manta bao gồm hai khía cạnh:
Manta Pacific sử dụng các nhóm công nghệ hoàn thiện như OP Stack và Polygon CDK để triển khai kiến trúc mô-đun của mình.
Không giống như các giải pháp Lớp 2 khác, Manta Pacific không xây dựng cơ sở hạ tầng từ đầu mà thay vào đó sử dụng nền tảng công nghệ OP Stack hoàn thiện hiện có.
Nếu Manta là một thương hiệu điện thoại thông minh mới thành lập, việc sử dụng OP Stack sẽ giống như sử dụng trực tiếp chuỗi cung ứng và kiến trúc công nghệ của iPhone.
Ưu điểm của phương pháp này là Optimism là một dự án được thử nghiệm bởi thị trường giá xuống và nhóm công nghệ của nó, OP Stack, cũng đã trải qua quá trình thử nghiệm thị trường dài hạn và rất trưởng thành. Manta Pacific có thể trực tiếp đứng trên vai những gã khổng lồ, kế thừa phần lớn những lợi thế về bảo mật và kỹ thuật hiện có của OP Stack.
Hơn nữa, nó đạt được khả năng tương thích hoàn toàn với EVM, cho phép các nhà phát triển dễ dàng di chuyển các DApp hiện có sang Manta Pacific. Quan trọng hơn, Manta có thể tập trung hơn vào việc xây dựng hệ sinh thái và mở rộng dự án. Đến nay, Manta Pacific đã xác minh hơn 810 hợp đồng thông minh trên chuỗi của mình, với hơn 200 dự án hệ sinh thái.
Manta Pacific sử dụng Celestia làm lớp sẵn có của dữ liệu, nghĩa là tính bảo mật về tính khả dụng của dữ liệu được đảm bảo một phần bởi cả mạng chính Ethereum và Celestia. Nếu các nút trình tự xuất bản dữ liệu xác thực, dữ liệu tương ứng có thể được tìm thấy trên cả mạng chính Ethereum và Celestia.
Trình sắp xếp chuỗi của Manta Pacific chỉ định chiều cao khối để xuất bản các đốm màu lên Ethereum. Nếu đốm màu không xuất hiện ở độ cao đó thì giao dịch không hợp lệ.
Trình sắp xếp thứ tự xuất bản dữ liệu: một giao dịch vào Hộp thư đến, được mã hóa thành ba phần: số phiên bản (0x02), chiều cao khối (0xa4aa050000000000) và cam kết blob (phần còn lại). Bằng cách chỉ định chiều cao, các nút biết nơi cần tìm.
Ví dụ: 0xa4aa050000000000 là mã hóa endian nhỏ của chiều cao khối, được chuyển đổi thành khối 371364. Bạn có thể tìm thấy khối tương tự tại https://celenium.io/block/371364.
Khối này chứa một khối trong không gian tên của Manta Pacific. Dữ liệu đầy đủ có thể được tìm thấy:
Nếu trình sắp xếp chuỗi xuất bản dữ liệu giả mạo, các nút sẽ không thể tìm thấy cam kết ở độ cao khối được chỉ định.
Các mạch ZK của Manta được thiết kế theo mô-đun, tích hợp các chức năng ZK vào Manta Pacific. Các nhà phát triển hoàn toàn có thể gọi và triển khai các chức năng và tính năng của ZK trong Manta Pacific, giúp phân biệt nó với các ZK Rollups hoặc zkEVM khác. Các nhà phát triển cũng có thể dễ dàng gọi các mạch ZK để kết hợp các chức năng ZK với các ứng dụng.
Trong các tương tác ZK Rollup, người dùng giao dịch trong ZK Rollup và trình sắp xếp của Rollup đóng vai trò là người chứng minh, sắp xếp thứ tự các giao dịch của người dùng, nén, đóng gói và tạo bằng chứng ZK. Hợp đồng thông minh trên mạng chính Ethereum đóng vai trò là người xác minh, xác minh tính chính xác của bằng chứng ZK, do đó xác minh tính chính xác của các giao dịch mà nó đại diện.
Hợp đồng thông minh mạng chính không cần thực hiện xác thực phức tạp các giao dịch ZK Rollup và một bằng chứng ZK có thể thể hiện tính chính xác của nhiều thông tin giao dịch hơn, đạt được khả năng mở rộng và cải thiện khả năng xác nhận giao dịch của mạng chính Ethereum.
Để so sánh, người dùng Manta Pacific đóng vai trò là người chứng minh, tạo ra bằng chứng ZK cục bộ khi gửi giao dịch. Bộ đối chiếu trên chuỗi đóng vai trò là người xác minh, xác thực bằng chứng ZK. Các giao dịch được xác minh sau đó được nén bởi trình sắp xếp thứ tự và gửi tới mạng chính Ethereum. Trong Lớp 2, Manta Pacific hoàn thành việc tạo và xác thực ZK, hiện thực hóa đầy đủ các tính năng của ZK.
4/ TRÊN STACK
OP Stack là một ngăn xếp công nghệ blockchain mã nguồn mở, mô-đun được đưa ra bởi nhóm Optimism, được thiết kế để cung cấp các giải pháp blockchain có khả năng mở rộng cao, có khả năng tương tác cao. OP Stack áp dụng thiết kế mô-đun, trong đó mỗi mô-đun triển khai một lớp cụ thể của ngăn xếp và kết nối thông qua các API được xác định rõ. Điều này cho phép các nhà phát triển dễ dàng sửa đổi các mô-đun hiện có hoặc tạo mô-đun mới, hỗ trợ các loại ứng dụng và đổi mới blockchain khác nhau.
Mục tiêu của OP Stack là vượt xa các mô hình chuỗi đơn hoặc đa chuỗi truyền thống và thúc đẩy cấu trúc bao gồm các chuỗi tích hợp cao, được gọi là Superchain. Superchain, bằng cách chia sẻ các định dạng nhắn tin, cho phép các chuỗi khác nhau giao tiếp dễ dàng mà không cần bộ điều hợp tùy chỉnh cho từng chuỗi. Nó cũng hỗ trợ khả năng kết hợp chuỗi chéo nguyên tử, trong đó nhiều chuỗi op chia sẻ một bộ trình tự sắp xếp, đảm bảo tương tác ở cấp độ nguyên tử giữa các chuỗi.
5/ Lớp sẵn sàng dữ liệu (Lớp DA)
Lớp sẵn có của dữ liệu đảm bảo rằng tất cả dữ liệu trong mạng blockchain, đặc biệt là dữ liệu Lớp 2, có thể được truy cập và xác minh công khai. Lớp sẵn có của dữ liệu cho phép bất kỳ người tham gia nào truy xuất dữ liệu này để xác thực trạng thái của mạng và tính hợp lệ của các giao dịch, cung cấp sự đảm bảo quan trọng về tính minh bạch và bảo mật của blockchain.
6/ Celestia
Celestia cung cấp lớp đồng thuận và tính khả dụng của dữ liệu có thể cắm được, được xây dựng trên sự đồng thuận của Cosmos Tendermint và Cosmos SDK, tương thích với chuỗi EVM và chuỗi ứng dụng Cosmos. Các chuỗi này có thể trực tiếp sử dụng Celestia làm lớp sẵn có dữ liệu của họ, với dữ liệu khối được lưu trữ, truy cập và xác minh thông qua Celestia. Celestia cũng hỗ trợ Rollups gốc, cho phép xây dựng Lớp 2 trên đó, mặc dù nó không hỗ trợ hợp đồng thông minh.
Rollups tích hợp với Celestia bằng cách chạy các nút Celestia. Celestia nhận thông tin giao dịch Rollup, đặt hàng giao dịch thông qua sự đồng thuận của Tendermint, nhưng không thực hiện hoặc xác thực tính chính xác của giao dịch. Nó đóng gói, đặt hàng, phát sóng các giao dịch và đảm bảo tính sẵn sàng và bảo mật dữ liệu thông qua mã hóa xóa và lấy mẫu dữ liệu sẵn có (DAS).
7/ Mạch ZK
Trong các bằng chứng không có kiến thức, "mạch" là một cách biểu diễn các thuật toán và hàm phức tạp. Ở đây, các mạch không đề cập đến các mạch điện tử truyền thống mà đề cập đến cấu trúc toán học hoặc logic.
Trong bối cảnh chứng minh không có kiến thức, các mạch thường được sử dụng để mô tả hoặc xác định một vấn đề hoặc tuyên bố cụ thể.
Chức năng chính của mạch:
Mô tả vấn đề: Mạch có thể mô tả hoặc xác định một vấn đề hoặc câu lệnh cụ thể. Ví dụ: người chuẩn bị có thể muốn chứng minh rằng họ biết đầu vào thỏa mãn một mạch cụ thể.
Bảo mật thông tin chi tiết: Bằng cách sử dụng các mạch, người chứng minh có thể chứng minh rằng họ biết thông tin thỏa mãn các điều kiện của mạch mà không tiết lộ nội dung cụ thể của thông tin đó.
Khả năng xác minh: Mạch cung cấp một cách để người xác minh kiểm tra tính chính xác của bằng chứng mà không cần biết đầu vào cụ thể được người chứng minh sử dụng.
Tính tổng quát và khả năng sử dụng lại: Sau khi được xác định, các mạch có thể được sử dụng cho nhiều vấn đề và tình huống khác nhau. Đây là lý do tại sao một số khung ZKP hỗ trợ cái gọi là mạch "phổ quát", có khả năng mô tả và giải quyết các vấn đề khác nhau.
Tóm lại, các mạch trong bằng chứng không có kiến thức đóng vai trò như một cầu nối, kết nối các tuyên bố mà người chứng minh muốn chứng minh với nhu cầu xác minh tuyên bố của người xác minh mà không tiết lộ bất kỳ thông tin nào ngoài chính tuyên bố đó. Mạch được sử dụng để xác định các tính toán đang được chứng minh. Mỗi ứng dụng cụ thể yêu cầu các mạch riêng. Các dịch vụ khác nhau (chẳng hạn như zkEVM, ZKML, ZK Oracle, ZK Bridge và các bằng chứng trạng thái và đồng thuận khác nhau) yêu cầu các mạch khác nhau.
8/ Mạch Universal ZK của Manta Pacific
Manta Pacific là giải pháp Lớp 2 được thiết kế dành riêng cho các ứng dụng ZK (Không có kiến thức), cung cấp khả năng tương thích gần như hoàn toàn với môi trường Ethereum EVM (Máy ảo Ethereum) và ngôn ngữ lập trình Solidity. Gần đây, Manta Pacific đã ra mắt Universal ZK Circuits 2.0, một thư viện ZK hướng đến nhà phát triển, cho phép tích hợp các hợp đồng hỗ trợ ZK vào các hợp đồng thông minh Solidity hiện có và dApps chỉ bằng một vài dòng mã.
Mạch Universal ZK cung cấp ZK dưới dạng dịch vụ cho các nhà phát triển Solidity. Hiện tại, nó bao gồm mạch MantaPay hiện có của Manta Network, mạch zkShuffle và mạch ZK từ dự án Semaphore của Ethereum Foundation.
Bằng cách sử dụng Universal Circuits trên Manta Pacific, các nhà phát triển có thể dễ dàng triển khai các ứng dụng ZK gốc EVM. Họ cũng có thể gọi các hợp đồng hỗ trợ ZK cho các hợp đồng thông minh và dApps Solidity hiện có của họ thông qua các API nâng cao.
Ví dụ: nhà phát triển tạo ứng dụng trò chơi bài trên chuỗi có thể sử dụng mạch zkShuffle để triển khai việc xáo trộn và chia bài phi tập trung. Một ví dụ thực tế về phát triển ứng dụng ZK đơn giản hóa với Manta Universal Circuits là zkHoldem.
Trước khi giới thiệu Universal Circuits, việc xây dựng zkShuffle và các ứng dụng ZK tương tự yêu cầu xây dựng mạch thủ công và chuyển đổi giữa các ngôn ngữ lập trình như Rust và Solidity. Tuy nhiên, với sự ra đời của Manta Universal Circuits, độ phức tạp này đã giảm đi đáng kể.
Với Universal Circuits của Manta Pacific, việc xây dựng các ứng dụng ZK đã trở nên đơn giản và hiệu quả hơn.