O(1) Labs: Mina đang trở thành một L2 cung cấp chức năng zk riêng tư cho mọi chuỗi L1
Tuyển chọn TechFlowTuyển chọn TechFlow
O(1) Labs: Mina đang trở thành một L2 cung cấp chức năng zk riêng tư cho mọi chuỗi L1
ZK xử lý hiệu quả quyền riêng tư và xác thực cần một nền tảng chuyên dụng để tạo và xác minh.
Chuyên sâu báo cáo Web3Tác giả: Phil Kelly, O(1) Labs
Trước những tin tức gần đây về zkEVM, bạn có thể nghĩ rằng trong Web3, các chứng minh kiến thức không (ZKP) đã gần như đạt đến "mục tiêu hoàn thành". Đối với O(1) Labs, mặc dù chúng tôi rất phấn khích trước tốc độ phát triển chung của lĩnh vực ZKP, nhưng chúng tôi cho rằng các thông báo này chỉ là một bước trong hành trình hiện thực hóa lợi thế của ZKP. Dưới đây là lý do:
Hiện nay trên thị trường cơ bản tồn tại hai "phong trào" ZKP sử dụng cùng một nguyên lý mật mã học cấp cao, nhưng lại có phương pháp kỹ thuật và mục tiêu thực tiễn hoàn toàn khác nhau:
(1) Khả năng mở rộng: zkEVM và các zk rollup khác được công bố cho đến nay sẽ giúp mở rộng các hoạt động Web3 "thông thường" —— về cơ bản là giảm chi phí thực hiện các hợp đồng thông minh ở dạng hiện tại, mà không cần thêm chức năng mới nào, nhằm giải quyết thách thức từ các L1 lớn. (Mina cũng liên quan đến khả năng mở rộng, với tiềm năng vượt trội so với các phương pháp khác, sẽ đề cập chi tiết sau.)
(2) Riêng tư và xác thực: Danh mục rộng hơn có thể gọi là "tính toán ngoài chuỗi có thể kiểm chứng", trong đó riêng tư và xác thực là hai trường hợp sử dụng chính, nhưng để dễ hiểu, tôi tách riêng ra. O(1) Labs và một số ít dự án khác ưu tiên cung cấp các chức năng hoàn toàn mới cho thị trường. Người dùng có thể đưa ra một số bằng chứng nhất định mà không tiết lộ thông tin nền tảng (riêng tư, tính toán có thể kiểm chứng).
Một vài ví dụ về trường hợp sử dụng:
-
Bỏ phiếu, đăng bài, trò chuyện riêng tư/ẩn danh, nhưng giới hạn trong một nhóm cụ thể (ví dụ: bất kỳ ai từng sở hữu token x trong 6 tháng qua).
Các chương trình nhận diện danh tính tổng quát:
-
Chứng minh hoạt động Web3 của bạn mà không tiết lộ ví hay giao dịch. Ví dụ: chứng minh với một DAO hoặc đối tác tiềm năng rằng bạn đã sở hữu tiền mã hóa vào năm 2014.
-
Chứng minh thông tin từ nguồn Web2 mà không tiết lộ hoạt động ngoài chuỗi. Ví dụ: chứng minh với một giao thức DeFi rằng bạn không cư trú tại quốc gia bị trừng phạt bởi OFAC (Văn phòng Kiểm soát Tài sản Nước ngoài), hoặc điểm tín dụng của bạn trên 700.
-
Chứng minh nguồn gốc dữ liệu mà bên nhận không cần trực tiếp chứng kiến nguồn dữ liệu đó (oracle zk và bằng chứng tính toán ngoài chuỗi).
Theo thời gian, các chức năng này sẽ được áp dụng trên mọi chuỗi —— thông qua EVM tương thích hoặc cách khác; thực tế là trong tương lai gần, chúng không phải là tùy chọn nội tại trong các zk rollup mở rộng, EVM hay các phương pháp khác.
Lấy một ví dụ minh họa sự khác biệt kỹ thuật giữa hai hướng tiếp cận: Các trường hợp sử dụng về riêng tư và xác thực (tính toán ngoài chuỗi có thể kiểm chứng) yêu cầu một số hoạt động phức tạp ngoài chuỗi, vì vòng đời của một bằng chứng gồm hai bước:
a. Xử lý dữ liệu cần bảo mật và tạo bằng chứng tại thiết bị người dùng (đối với chúng tôi, là sản phẩm phát triển bằng thư viện SnarkyJS của O(1) Labs), và
b. Bước thứ hai là xác minh tính toàn vẹn của bằng chứng (trong ví dụ này, ta chỉ xét việc xác minh trên chuỗi Mina).
O(1) Labs tin chắc rằng một hệ thống hiệu quả về mặt thời gian và chi phí để xử lý riêng tư và xác thực bằng ZKP cần một nền tảng chuyên dụng để tạo và xác minh bằng chứng, và trong suốt 5 năm qua, chúng tôi tập trung vào giao thức Mina và phát triển SnarkyJS.
Việc kết hợp SnarkyJS với Mina mang lại nhiều lợi ích. Bao gồm:
-
Bằng chứng có thể được tạo ngay tại thiết bị người dùng, bên trong trình duyệt thông thường thông qua SnarkyJS, đảm bảo chỉ có bằng chứng chứ không phải dữ liệu gốc rời khỏi thiết bị người dùng. Điều này đảm bảo quyền riêng tư tuyệt đối (hầu hết các hệ thống chứng minh khác cần gửi dữ liệu tới bộ tạo bằng chứng bên ngoài, dẫn đến rủi ro rò rỉ dữ liệu, chi phí và tốc độ bị ảnh hưởng).
-
Hệ thống chứng minh (SnarkyJS + Mina) được xây dựng đặc biệt để sử dụng cơ chế zkSNARK dựa trên PLONK, không cần quy trình thiết lập (setup), hỗ trợ đệ quy vô hạn và được tối ưu thông qua các kỹ thuật như cổng tùy chỉnh.
-
Mina có mức phí ổn định và thấp, không có gas fee. Chi phí cho mọi phép tính, dù phức tạp đến đâu, đều bằng với phép tính đơn giản nhất.
-
Trạng thái chuỗi của Mina rất nhỏ (thường nói là 22kb, nhưng hiện tại khoảng 11kb), đạt được nhờ kỹ thuật đệ quy vô hạn. Điều này giúp gì cho chúng ta?
-
Giải quyết vấn đề phình to chuỗi ảnh hưởng đến các chuỗi khác khi trạng thái tích lũy ngày càng nhiều.
-
Giảm ngưỡng vận hành nút, thúc đẩy tính phi tập trung tốt hơn. Một ví dụ thực tế: Bạn có thể thiết lập một nút Mina và tham gia sản xuất khối trong vài phút, chỉ cần xác minh một số lượng cố định, hằng định các bằng chứng khối/chuỗi gần đây trước khi tham gia mạng. Trong khi đó, việc đồng bộ nút mới trên các L1 khác có thể mất cả vài ngày. Việc dễ dàng thiết lập và vận hành nút Mina sẽ làm giảm nhu cầu về các dịch vụ hỗ trợ đầu vào (inbound support services) phổ biến trên các L1 khác – vốn có xu hướng tập trung. Trên Mina, theo thời gian, các thiết bị di động cá nhân sẽ có thể vận hành nút.
-
Trạng thái đầy đủ của chuỗi Mina có thể được ghi trực tiếp lên các chuỗi khác. Để thực hiện điều này, Quỹ Ethereum và Quỹ Mina đã cùng tài trợ cho dự án cầu nối của đội Nil project —— xây dựng một hợp đồng thông minh trên mainnet Ethereum để duy trì bản ghi cập nhật liên tục về toàn bộ trạng thái chuỗi Mina. Cái này thường được gọi là "cầu nối" (bridge), nhưng tôi cho rằng đây là một cách chia sẻ dữ liệu xuyên chuỗi mới (không phụ thuộc vào các phương pháp đã bộc lộ điểm yếu gần đây trên một số cầu nối, như guardian khóa phân mảnh nhiều phần hay niềm tin dựa trên token), và nên được gọi là zkBridge, hoặc đại diện cho phương pháp thay thế/tăng cường các công nghệ cầu nối khác. Mina có thể tích lũy nhiều bằng chứng ZK thông qua cầu nối này, sau đó "tổng hợp (roll up)" chúng lên các L1 khác, mang lại hiệu quả cao hơn và giảm chi phí giao dịch cho người dùng.
Một cách nhìn khác, Mina đang trở thành một L2 toàn cầu cung cấp chức năng zk riêng tư cho mọi chuỗi L1. Mặc dù Mina là một L1, nhưng do vai trò độc đáo về riêng tư và xác thực, chúng tôi dự đoán rằng trong nhiều trường hợp, các mạch ZKP trên Mina sẽ được sử dụng trong ứng dụng khách hoặc toàn bộ vòng đời giao dịch của dapp trên một L1 khác. Ví dụ: một giao thức DeFi trên Ethereum mainnet có thể sử dụng Mina để cho phép người dùng chứng minh ẩn danh nơi cư trú và phạm vi điểm tín dụng khi đăng ký và duy trì tài khoản. Tức là, chúng tôi dự kiến sẽ có nhiều trường hợp sử dụng nội tại trên Mina, và coi Mina như một môi trường trung gian trong hoạt động đa chuỗi.
Liệu Mina có hướng tới hỗ trợ khả năng mở rộng cao?
Theo tweet gần đây của Evan, CEO Quỹ Mina, thì có. Thực tế, Quỹ Mina đã tài trợ cho một dự án roll up trong chương trình zkApp Builder Program trước đó, và một số dapp đang khám phá các roll up riêng cho dapp, rồi tổng hợp lên mạng chính Mina.
Khi zkApp sắp ra mắt, O(1) Labs sẽ công bố một số quan điểm sâu sắc về SnarkyJS và các triển khai cụ thể cho trường hợp sử dụng Mina. Trong lúc chờ đợi, mời bạn tham khảo các liên kết dưới đây để tham gia hoạt động về kiến thức không của chúng tôi!
-
Học các kiến thức cơ bản từ các tài liệu trong SnarkyJS Week, nếu bạn là nhà phát triển, hãy thử bắt đầu xây dựng zkApp bằng cách đọc tại đây.
-
Đọc thông báo về chương trình đối tác mới của chúng tôi, nơi các đổi mới viên Web3 về riêng tư và chứng minh như Brave Browser, SISMO và DIA sử dụng SnarkyJS để xây dựng mã hợp đồng thông minh ZK và cung cấp phản hồi.
-
Ứng tuyển vào chương trình O(1) Labs zkApp Builder Program sắp tới.
Chào mừng tham gia cộng đồng chính thức TechFlow
Nhóm Telegram:https://t.me/TechFlowDaily
Tài khoản Twitter chính thức:https://x.com/TechFlowPost
Tài khoản Twitter tiếng Anh:https://x.com/BlockFlow_News
