Tuần này, hệ sinh thái Mina đã có mặt tại Consensus để tổ chức một loạt hội thảo, tọa đàm và sự kiện xã hội miễn phí.
Cho dù bạn có ở đó hay không, sứ mệnh của chúng ta là giống nhau — truyền bá điều kỳ diệu của zero knowledge (ZK). Đó là lý do tại sao một số thành viên của hệ sinh thái đã dành thời gian trong tuần này để trả lời các câu hỏi được thu thập trực tuyến và IRL về ZK.
Một trong những đối tác trong hệ sinh thái của Mina, O(1) Labs, đã khởi động chương trình bằng cách trả lời một số câu hỏi thường gặp.
https://twitter.com/MinaProtocol/status/1652721043935469568
Ask Me Anything: ZK Edition
Dưới đây là một số câu trả lời cho các câu hỏi thường gặp về zero knowledge proofs (ZKPs) (ZKP).
1. ZKP có lợi ích gì cho tính bền vững không?
Không có dữ liệu nghiên cứu nào chứng minh điều này – nhưng về lý thuyết, việc sử dụng zero knowledge proofs đệ quy (ZKP) nguyên bản trên chuỗi khối sẽ bền vững hơn cả cơ chế đồng thuận Proof-of-Stake (PoS) và Proof-of-Work (PoW) thông thường.
Chẳng hạn, Mina sử dụng các ZKP đệ quy vốn có trên chuỗi khối để nó duy trì kích thước ~11KB. Mặc dù các chuỗi khối kế thừa yêu cầu người vận hành nút sử dụng các máy tiêu thụ năng lượng để xác minh hàng trăm Gigabyte dữ liệu để chạy một nút, nhưng kích thước nhỏ và cố định của Mina cho phép người dùng chạy một nút từ bất kỳ máy tính thông thường nào, tốn ít năng lượng hơn nhiều. Khi bạn kết hợp điều đó với các hệ thống PoS, bạn sẽ có được một chuỗi khối cực kỳ thân thiện với môi trường.
2. Khả năng kết hợp không giới hạn có nghĩa là gì, liên quan đến ZKP đệ quy?
Đệ quy liên quan đến ZK giống như một khái niệm lặp. Đó là khi bạn chứng minh điều gì đó về một bằng chứng khác, về một bằng chứng khác (hoặc cùng một bằng chứng), v.v.
Vì vậy, khả năng kết hợp không giới hạn có nghĩa là bạn có thể tạo bằng chứng về một phần của zkApp và sử dụng bằng chứng đó trong phần khác của zkApp để làm việc khác. Ví dụ: bạn có thể tạo bằng chứng rằng bạn kiểm soát tài khoản Mina với một số thuộc tính nhất định, sau đó chuyển bằng chứng đó vào một phần khác của hợp đồng thông minh sử dụng thông tin này để cho phép chuyển tiền theo các điều kiện nhất định.
Mặc dù đệ quy có xu hướng tập trung hơn vào hiệu quả ở cấp độ xử lý, nhưng khả năng kết hợp thiên về mức độ phong phú của những gì bạn có thể làm với (các) bằng chứng và sử dụng lại chúng.
3. Liên quan đến chơi game, bạn muốn xem loại ứng dụng hoặc trường hợp sử dụng ZK nào?
Poker riêng tư hoàn toàn có thể kiểm chứng — Nếu bạn đang chơi Poker trực tuyến, ai đó có thể nhìn thấy toàn bộ trạng thái của trò chơi hoặc người điều hành máy chủ có thể liên lạc với ai đó ở bên để gian lận hiệu quả. Với zero knowledge proofs, bạn có thể xây dựng poker riêng tư hoàn toàn có thể kiểm chứng để tránh dữ liệu bị chia sẻ hoặc loại động thái tiêu cực tương tự đó.
Có một số gaming zkApp đã được tài trợ trong vòng mới nhất của zkIgnite, điều này cũng rất thú vị.
4. Sự khác biệt giữa zkRollup và zk-zkRollup là gì?
Zk-zkRollup đề cập đến thực tế là bạn đang dùng ZKP của ZKP. Về cơ bản chứng minh rằng chứng minh là chính xác. Đó là một cách để cho phép ẩn danh nhiều hơn và là một cách diễn đạt khác cho SNARK đệ quy, tóm lại là Mina.
Có một dự án zkIgnite, được gọi là Anomix, đang thực hiện điều này và đang tạo ra nhiều hoạt động trên chuỗi riêng tư hơn. Có một dự án zkIgnite khác được tài trợ gọi là Noord, đây là một zk-zkRollup có thể mở rộng, mô-đun và có thể tương tác.
5. Làm cách nào bạn có thể nén thông tin bằng ZK (giống như Mina làm với chuỗi khối)?
Nén này là một xấp xỉ không thể giả mạo về mặt tính toán. Tương tự như cách băm mật mã như SHA256 phá vỡ nguyên tắc pigeonhole.
6. Có phải công nghệ ZK chỉ hữu ích cho khả năng mở rộng như rollup?
Đây là một quan niệm sai lầm phổ biến. ZK không chỉ là về khả năng mở rộng— nó còn có thể được tận dụng cho cả cơ sở hạ tầng cũng như quyền riêng tư và chứng thực ở cấp ứng dụng.
Cơ sở hạ tầng như chuỗi khối bao gồm tổng số, cầu nối, ứng dụng khách nhỏ và kênh trạng thái có thể sử dụng công nghệ ZK. Tuy nhiên, ZK về cơ bản là duy nhất với tư cách là một mật mã gốc cho quyền riêng tư vì nó cho phép xác minh thông tin mà không tiết lộ chi tiết của thông tin đó. zkApps trên Mina tận dụng công nghệ này để áp dụng các khả năng bảo vệ quyền riêng tư của nó cho các ứng dụng trong thế giới thực như chứng minh điểm tín dụng của bạn mà không chia sẻ số an sinh xã hội của bạn.
7. Zero knowledge proofs có thể chứng minh điều gì?
Những tiến bộ gần đây trong ZKP đã cho phép chứng minh tính toán tùy ý. Về cơ bản, các hệ thống ZKP hiện đại cho phép người dùng chứng minh mọi thứ có thể được thể hiện dưới dạng chương trình. Nhưng có một số lưu ý.
Do các giả định mã hóa duy nhất mà các hệ thống này dựa vào, một số hoạt động nhất định hiệu quả trên phần cứng thực có thể không hiệu quả trong các mạch zero knowledge.
8. Việc thêm ZKP có thể khiến mọi thứ trở nên riêng tư hoàn toàn không?
Sẽ thật tuyệt nếu chúng ta có thể đặt mọi thứ ở chế độ riêng tư bằng cách bổ sung zero knowledge, tuy nhiên, điều đó còn mang nhiều sắc thái hơn thế. Zero-knowledge proofs chứng minh tính toán mà không tiết lộ thông tin liên quan, nhưng ai đó vẫn phải thực hiện tính toán và người đó phải biết thông tin.
Có một vài nhánh mật mã rất thú vị đang đột nhiên thu hút sự quan tâm. Ba trong số phổ biến nhất là zero knowledge proofs (proof of computation), homomorphic encryption (nếu A+B=C thì mã hóaA + mã hóaB = mã hóaC) và multiparty computation (kết nối một quy trình giữa nhiều bên, ngăn bất kỳ bên nào có quyền trực tiếp nhìn vào quá trình). Bản thân mỗi công nghệ này đều mạnh mẽ nhưng việc sử dụng kết hợp chúng có thể còn mạnh mẽ hơn nữa. Ví dụ: ZKP và mã hóa đồng hình được sử dụng cùng nhau giúp có thể bỏ phiếu ẩn danh mạnh mẽ.
Zero Knowledge Proofs là một công nghệ tiên tiến đang nhanh chóng được đổi mới và áp dụng bởi một số dự án. Mina Protocol là giao thức hàng đầu trong lĩnh vực với chuỗi gốc ZK và lớp hợp đồng thông minh ZK cho các ứng dụng.
Nếu bạn có thêm câu hỏi về Zero Knowledge, hãy tham gia #zkapps-questions hoặc kênh chung trên Mina Discord hoặc đăng ký nhận bản tin Mina hàng tháng để nhận thông tin cập nhật mới nhất về tiến trình của ZK trong hệ sinh thái Mina.