zk-SNARK mà Vitalik không tiếc công sức quảng bá là gì? Công nghệ zk-SNARK có thể giải quyết những vấn đề blockchain hiện tại nào?
Được viết bởi: Haotian
Tại hội nghị EDCON ở Montenegro, @VitalikButerin V God đã giải thích một cách có hệ thống các thách thức kỹ thuật của mạng Ethereum về khả năng mở rộng, quyền riêng tư, bảo mật, v.v. và cuối cùng kết luận rằng zk-SNARK sẽ quan trọng như chuỗi khối trong 10 năm tới năm.
Chính xác thì zk-SNARK mà V God không tiếc công sức thúc đẩy là gì? Công nghệ zk-SNARK có thể giải quyết những vấn đề blockchain hiện tại nào?
Ở Thread tiếp theo mình cùng thảo luận nhé.
SNARK tên đầy đủ là (succinct non-interactive argument of knowledge) là lập luận ngắn gọn không tương tác về kiến thức, cốt lõi của nó là xây dựng một hệ thống chứng minh thông qua các thuật toán toán học, để người kiểm chứng có thể tự kiểm chứng tính đúng đắn của dữ liệu mà không cần biết dữ liệu gốc.
Quá trình triển khai liên quan đến các công nghệ phức tạp như mạch có thể xác minh, nguyên tắc mã hóa đường cong elip, hàm băm và thuật toán mã hóa, vì vậy tôi sẽ không đi vào quá nhiều chi tiết ở đây.
Vì SNARK có thể nén dữ liệu gốc thành một bằng chứng rất nhỏ để xác minh tính chính xác của dữ liệu đầu vào, cùng với nền tảng kỹ thuật về kiến thức zk zero, zk-SNARK có thể cải thiện đáng kể khả năng mở rộng chuỗi khối, quyền riêng tư, bảo mật, v.v.
Đặc biệt là sau khi Ethereum ra mắt Thuật toán Makarov Stochastic (MAST) vào năm 2018, zk-SNARK có thể được tích hợp trực tiếp vào hệ thống Ethereum để giải quyết vấn đề tắc nghẽn hiện tại của mạng Ethereum.
Đây là lý do tại sao, mặc dù công nghệ zk-STARK có nguồn gốc từ @Starknet có thể xử lý các vấn đề điện toán phức tạp hơn (tránh các cuộc tấn công điện toán lượng tử, v.v.), zk-SNARK đã được đặt nhiều kỳ vọng hơn.
Đặc biệt, một số nghịch lý blockchain mà mọi người đang bối rối có thể được giải quyết một cách hiệu quả sau khi thay thế lớp dưới cùng của zk-SNARK, chẳng hạn như: khả năng hacker rửa tiền để bảo vệ quyền riêng tư, sự can thiệp của cơ quan tập trung khiến phục hồi xã hội không thể thoát khỏi, v.v.
Trước tiên hãy nói về khả năng mở rộng. công nghệ zk- Rollup đi trước rất nhiều so với OP- Rollup và nó là giải pháp cuối cùng cho lớp thứ hai của Ethereum.
Trước tiên, OP giả định rằng tất cả các giao dịch đều khả quan và sau khi gửi chúng trên chuỗi, sẽ có thời gian thử thách bằng chứng gian lận trong 7 ngày, trong khi zk có thể đảm bảo nhanh chóng và an toàn rằng mọi giao dịch trên chuỗi đều hợp pháp dựa trên các thuật toán toán học. ( Chi tiết tham khảo Chủ đề trước )
Ở đây zk-SNARK giải quyết một vấn đề nghịch lý về khả năng mở rộng Ethereum, mâu thuẫn giữa khả năng mở rộng và tập trung hóa.
Mặc dù kịch bản hạ cánh thực tế của giải pháp OP- Rollup đã trưởng thành hơn, nhưng nó vẫn tiềm ẩn nguy cơ tập trung hóa trong quá trình xác minh trình sắp xếp thứ tự và những thách thức lạc quan.
Tất nhiên chúng ta có thể "lạc quan", nhưng cuối cùng chúng ta phải có SNARK để đạt được một Rollup hoàn toàn phi tập trung .
Hãy nhìn vào quyền riêng tư. Dựa trên bối cảnh công nghệ chuỗi khối hiện có, chúng ta sẽ rơi vào một nghịch lý logic trong quá trình phát triển công nghệ quyền riêng tư, liệu quyền riêng tư cuối cùng có phải là váy cưới cho tin tặc?
Tuy nhiên, nếu dựa trên zk-SNARK, giải pháp Bằng chứng vô tội (POI) có thể được thực hiện để bảo vệ người dùng gửi và rút tiền thông qua quyền riêng tư đồng thời tránh tội phạm sử dụng nó để làm điều ác.
Cụ thể, công nghệ POI có thể được áp dụng cho các giao thức giống như Tornado.
Công nghệ POI cung cấp cho mỗi người dùng một dấu vân tay kỹ thuật số được tạo dựa trên lịch sử của trạng thái chuỗi khối và khóa riêng. Khi một hacker cố gắng rửa tiền thông qua nhóm giao dịch tiền tệ hỗn hợp của Tornado, nếu địa chỉ của yêu cầu rút tiền mà anh ta cung cấp không phù hợp địa chỉ của khoản tiền gửi (các khóa riêng tư khác nhau), nó sẽ bị chặn và trả về địa chỉ tiền tệ hỗn hợp ban đầu.
Tài sản không xác định bằng tin tặc không thể thoát khỏi sự theo dõi thông qua hệ thống trộn tiền tệ.
Tất nhiên, cũng có thể trực tiếp xây dựng cây Merkle danh sách loại trừ như bài phát biểu của V God đã chỉ ra, điều này tương đương với việc thêm cơ chế danh sách đen vào giao thức Tornado.
Nếu tiền gửi của một người dùng bình thường không có trong danh sách, bằng chứng về sự vô tội có thể được tạo ra và Tornado có thể được sử dụng bình thường và ngược lại.
Mặc dù danh sách đen có hiệu quả nhưng vẫn có nguy cơ tập trung, cá nhân tôi nghĩ rằng việc chặn các giao dịch có khóa riêng không nhất quán đối với tiền gửi và rút tiền sẽ có ý nghĩa hơn.
Cuối cùng, hãy nói về vấn đề nghịch lý chống kiểm duyệt (bảo mật) của các bên thứ ba.
Chức năng Phục hồi xã hội chắc chắn là con đường cho các ứng dụng chuỗi khối quy mô lớn (Phải áp dụng hàng loạt, nhưng từ sự phản đối của cộng đồng rằng @Ledger đã mở chức năng này hai ngày trước, không khó để thấy rằng Phục hồi không thể được thiết lập ở trung tâm của bên thứ ba.
Nói một cách đơn giản, khi người dùng tạo nhiều đoạn khóa riêng tư, họ có thể mã hóa các đoạn đó và sử dụng hệ thống bằng chứng zk-SNARK để tạo bằng chứng, sau đó phân phối bằng chứng cho các tổ chức hoặc bạn bè đáng tin cậy.
Nếu khóa riêng của người dùng bị mất, bên thứ ba có thể được yêu cầu cung cấp chứng chỉ dữ liệu bị phân mảnh, sau đó sử dụng zk-SNARK để xác minh tính chính xác của các chứng chỉ này, từ đó thực hiện chức năng khôi phục xã hội mà không tiết lộ các đoạn khóa riêng.
Sau khi hiểu rõ nội dung trên, không khó để nhận thấy tầm quan trọng của công nghệ zk-SNARK đối với hệ thống chuỗi khối, nó có thể giải quyết nhiều vấn đề khác nhau trong mạng Ethereum hiện tại, chẳng hạn như khả năng mở rộng và tập trung, quyền riêng tư và tội ác, bảo mật và chống -kiểm duyệt.Vấn đề nghịch lý phát triển.
Vì vậy, V God đã nói rằng zk-SNARK sẽ quan trọng như blockchain trong 10 năm nữa, có thể Ethereum cũng sẽ là zk-SNARK trong tương lai, ừm, zk-SNARKS Rule Everthing Arround Me.
