Lời nói đầu
Bản nâng cấp lớn của Mina mang đến các trường hợp sử dụng không cần kiến thức mang tính đổi mới, giới thiệu khả năng thực hiện hợp đồng thông minh ngoại tuyến trong môi trường máy khách như trình duyệt hoặc máy chủ. Bài viết này khám phá tầm quan trọng của zkApps (ứng dụng hỗ trợ zk), tác động tiềm tàng của chúng đối với Web3 và vai trò quan trọng của bản nâng cấp Berkeley sắp tới của Mina.
Trong lĩnh vực Web3 đang phát triển nhanh chóng, những đột phá mới nhất về không có kiến thức đã mở ra một kỷ nguyên mới. Từ tốc độ cuộn nhanh hơn và ứng dụng khách nhẹ cho đến công nghệ bắc cầu, những tiến bộ trong cơ sở hạ tầng ZooKeeper tiếp tục thu hút sự chú ý. Nhưng chúng tôi tin rằng một khả năng thực sự có thể thay đổi cuộc chơi đã xuất hiện – khả năng thực hiện các hợp đồng thông minh hoàn toàn ngoại tuyến trong môi trường máy khách như trình duyệt hoặc máy chủ.
Di chuyển ra khỏi chuỗi
Làm thế nào điều này đạt được? Chìa khóa cho sự đổi mới này là tạo ra các hợp đồng thông minh bằng cách sử dụng mã ứng dụng zk (zkApp). Loại mã này đảm bảo thực thi chống giả mạo và có thể chứng minh tính chính xác của hoạt động cho bên thứ ba mà không đưa ra các giả định tin cậy mới, về cơ bản phản ánh chức năng của hợp đồng thông minh trên chuỗi.
Tác động của các ứng dụng hỗ trợ zk này rất sâu rộng. Bằng cách chuyển việc thực hiện hợp đồng thông minh ra khỏi chuỗi, nhiều thách thức liên quan đến việc thực hiện trên chuỗi có thể được khắc phục, chẳng hạn như chi phí gas, hạn chế về dữ liệu, hạn chế về quy mô và độ trễ về thời gian. Ngoài ra, zkApps còn cung cấp khả năng bảo vệ quyền riêng tư nâng cao, cho phép xác minh thông tin nhạy cảm như tuổi mà không tiết lộ thông tin cá nhân chính xác như ngày sinh.
Sự ra mắt của zkApps sẽ mở ra một làn sóng đổi mới, thổi sức sống mới vào tinh thần cypherpunk của Web3 và làm sống lại những ý tưởng từng được coi là không thể thực hiện được trong 5-10 năm qua.
Neo trên dây chuyền
Mặc dù zkApps có chức năng ngoài chuỗi nhưng chuỗi neo vẫn rất quan trọng. Sau hơn hai năm phát triển, bản nâng cấp Berkeley của Mina đang ở giai đoạn chuẩn bị cuối cùng. Tại sao zkApps cần một chuỗi? Vì bằng chứng zkApp bên ngoài chuỗi yêu cầu xác minh nên việc sử dụng chuỗi có thể mang lại một số lợi thế xác minh đáng tin cậy:
- Tự động xác minh trên chính chuỗi bởi các trình xác nhận trung lập chuyên nghiệp
- Tự động kích hoạt các hành động tiếp theo dựa trên kết quả xác minh (ví dụ: khi bạn chứng minh mình trên 18 tuổi, tài khoản DeFi của bạn sẽ được mở và giao dịch sẽ bị đóng)
- Lưu trữ vĩnh viễn thông tin xác minh để tham khảo dữ liệu trong tương lai
- Xác minh có thể được kết nối với các chuỗi khác
Thực tế là quy trình xác minh giữa hợp đồng thông minh ngoài chuỗi và xác minh trên chuỗi có vẻ như là một bước không mấy hấp dẫn và nếu có sự cố xảy ra, những lợi thế của phương pháp ngoài chuỗi có thể nhanh chóng bị xói mòn. Nếu không có chuỗi được xây dựng có mục đích như Mina, việc xác minh hợp đồng thông minh có thể trở nên lớn, phức tạp và tốn kém, vì vậy Mina được xây dựng từ đầu để xử lý các bằng chứng không có kiến thức (ZKP). Sau khi nâng cấp Berkeley, chuỗi khối Mina sẽ trở thành một nơi tuyệt vời để xác minh bằng chứng ứng dụng ngoài chuỗi. Tại sao Mina lại là nơi tuyệt vời để xác thực zkApps?
- Không có chi phí gas, chi phí xác minh bằng chứng trên chuỗi luôn thấp bất kể quy mô của hợp đồng thông minh ngoài chuỗi;
- Trạng thái nhỏ bé của Mina có nghĩa là trong tương lai gần, một nút đầy đủ sẽ có thể chạy trong trình duyệt của người dùng, cho phép gửi bằng chứng mà không cần sử dụng giao thức gọi thủ tục từ xa (RPC) của bên thứ ba – hoàn hảo để bảo vệ quyền riêng tư;
- Trạng thái nhỏ bé của Mina cũng có nghĩa là nó có thể được thể hiện trên các chuỗi khác thông qua cầu nối dựa trên bằng chứng trạng thái (không cần hack token), vì vậy Mina có thể đóng vai trò là lớp bằng chứng mô-đun cho toàn bộ Web3. Trong số nhiều tính năng khác, điều này cho phép bạn chỉ viết ứng dụng zk của mình một lần, xác minh đầu ra một lần trên Mina và sau đó kết nối xác minh với nhiều chuỗi khác. Đây là kỷ nguyên của DApp đa chuỗi, tức thời.
Việc xác minh nó có thể được thực hiện trực tiếp trên chuỗi EVM, nhưng trong lĩnh vực ứng dụng phần mềm, tất cả chúng ta đều biết rằng “có thể” không bằng “nên”. Vì vậy, về mặt lý thuyết, EVM cũng có thể được sử dụng làm lớp dữ liệu sẵn có (DA) và trình tự phi tập trung cho các chuỗi khác, nhưng thế giới Web3 đã chứng minh rằng tính mô-đun là cách để đạt được các chức năng chuyên biệt này và việc xác minh đã được chứng minh là một công cụ chuyên môn hóa cao. Chức năng.
Cuộc cách mạng ngoài chuỗi
Hãy quay lại mã ứng dụng và hướng tới thời gian còn lại của năm 2024, chúng tôi tại o1Labs đang mong đợi sự đột biến trong đổi mới ứng dụng và trường hợp sử dụng được thúc đẩy bởi điện toán ngoài chuỗi zk và cuộc cách mạng ngoài chuỗi này mang đến một số khả năng thú vị:
Tính toán không cần gas: tính toán ngoài chuỗi zk cho phép thực hiện các phép tính ở mọi quy mô mà không cần phí gas và không cần sự tin cậy;
Quyền riêng tư có thể kiểm chứng: Khách hàng zk đảm bảo tính sẵn có rộng rãi của quyền riêng tư có thể kiểm chứng;
Việc sử dụng dữ liệu Web2: Việc sử dụng tính toán nhiều bên (MPC) và ZK để “công chứng” giúp việc sử dụng dữ liệu Web2 hàng ngày trở nên khả thi;
Xây dựng zkApps đơn giản: Các ngôn ngữ dành riêng cho miền (DSL) mới như o1.js, sử dụng TypeScript, cho phép các nhà phát triển xây dựng các ứng dụng zk một cách nhanh chóng và dễ dàng.
o1js : Làm cho mã zk có thể truy cập được ngoài chuỗi
Mặc dù trước đây có thể xây dựng mã zk ngoài chuỗi nhưng trên thực tế, o1js luôn khiến việc này trở nên dễ dàng. Bằng cách tận dụng TypeScript, o1js cung cấp ngôn ngữ trực quan, cấp cao giúp triển khai và bảo trì dễ dàng hơn. Vì o1js hỗ trợ chức năng WebAssembly (WASM) nên zkApp của bạn cũng có thể chạy liền mạch trong trình duyệt của người dùng. Ngoài ra, khả năng đệ quy của o1js có thể được sử dụng để tổng hợp và nén nhiều bằng chứng từ các phép tính ngoài chuỗi thành một bằng chứng nhỏ.
o1js đã có sẵn từ năm 2022 và nó không chỉ đang trưởng thành mà còn đạt được những khả năng mới. Một loạt cải tiến thú vị gần đây đối với chức năng cơ bản của o1js cho phép các ứng dụng zk xử lý nhiều loại đầu vào hơn. Những ví dụ bao gồm:
- Phát hành các nguyên tắc xử lý ECDSA và Keccak để bạn có thể sử dụng dữ liệu nguồn dữ liệu Ethereum có chữ ký MetaMask;
- Hỗ trợ công nghệ mã hóa SHA-256, là nền tảng cho nhiều nguồn dữ liệu trong thế giới Web2 (chẳng hạn như dữ liệu hộ chiếu);
- Công chứng và chứng thực nguyên thủy tạo ra thông tin trong dữ liệu được chứng nhận phiên Web2 (ví dụ: số dư tài khoản ngân hàng của bạn). Để biết thêm thông tin liên quan, vui lòng theo dõi!
Tham gia cuộc cách mạng zkApp
Sự xuất hiện của zkApps trên Mina đã đánh dấu một thời điểm quan trọng trong sự phát triển của Web3, mở ra những khả năng từng được coi là không thực tế. Chúng tôi rất mong được thấy những nâng cấp của Berkeley
