Tại hội nghị EDCON ở Montenegro, @VitalikButerin đã giải thích những 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ư blockchain trong 10 năm tới. Zk-SNARK mà V God 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? Tiếp theo, Thread, hãy để tôi đưa ra một số ý tưởng trong cuộc thảo luận. 1/n

SNARK là viết tắt của (succinct non-interactive đối số của kiến ​​thức), là một đối số kiến ​​thức không tương tác ngắn gọn, 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, cho phép người xác minh tự xác minh tính đúng đắn của dữ liệu mà không cần biết bản gốc dữ liệu. Quá trình triển khai bao gồm các công nghệ phức tạp như mạch xác minh, nguyên tắc mật mã đường cong elip, hàm băm, thuật toán mã hóa, v.v. nên tôi sẽ không đi sâu vào chi tiết ở đây. 2/n

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 không có kiến ​​thức của zk, zk-SNARK có thể đạt được những bước tiến lớn về khả năng mở rộng, quyền riêng tư, bảo mật và các khía cạnh khác. Đặc biệt là sau khi Ethereum ra mắt Thuật toán ngẫu nhiên Makarov (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. 3/ngày

Đây là lý do tại sao, mặc dù công nghệ zk-STARK có nguồn gốc từ @Statrknet 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.), nhưng zk-SNARK lại có những kỳ vọng lớn 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ư: bảo vệ quyền riêng tư và các vấn đề tiềm ẩn về rửa tiền của hacker, các vấn đề phục hồi xã hội không thể thoát khỏi sự can thiệp của các tổ chức tập trung , vân vân. 4/ngày

Trước tiên hãy nói về khả năng mở rộng. zk-rollup vượt xa op-rollup và là giải pháp cuối cùng cho lớp Ethereum thứ hai. OP trước tiên mặc định lạc quan đối với tất cả các giao dịch, sau đó trải qua giai đoạn thử thách chống gian lận kéo dài 7 ngày sau khi gửi nó lên chuỗi. 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. 5/ngày

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Ở ​​đây zk-SNARK giải quyết một vấn đề nghịch lý về khả năng mở rộng của Ethereum, mâu thuẫn giữa khả năng mở rộng và tập trung hóa, mặc dù giải pháp op-rollup thực sự được triển khai trong kịch bản. trưởng thành hơn, nhưng nó vẫn tiềm ẩn nguy cơ tập trung vào trình tự sắp xếp và quy trình xác minh thách thức lạc quan. Tất nhiên, chúng ta có thể "lạc quan", nhưng để đạt được tổng số phi tập trung hoàn toàn, chúng ta phải có SNARK. 6/ngày

Hãy nhìn vào sự riêng tư. Dựa trên bối cảnh công nghệ blockchain hiện tại, việc phát triển công nghệ bảo mật của chúng ta sẽ rơi vào một nghịch lý logic. Liệu cuối cùng nó có phục vụ được tin tặc không? 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 phát triể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ể áp dụng cho các giao thức tương tự Tornado 7/n;

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ử trạng thái blockchain và khóa riêng tư. Khi tin tặc cố gắng rửa tiền thông qua nhóm giao dịch trộn tiền tệ của Tornado, nếu địa chỉ yêu cầu rút tiền và địa chỉ gửi tiền do anh ta cung cấp không nhất quán (Nếu địa chỉ riêng tư. khóa khác), nó sẽ bị chặn và trả về địa chỉ trộn ban đầu. Những tài sản không xác định được bằng tin tặc không thể trốn tránh việc theo dõi thông qua hệ thống trộn tiền tệ 8/n;

Tất nhiên, bạn cũng có thể trực tiếp xây dựng cây Merkel danh sách loại trừ như Buterin đã chỉ ra trong bài phát biểu của mình, điều này tương đương với việc thêm cơ chế danh sách đen vào giao thức lốc xoáy. Người dùng bình thường có thể tạo ra bằng chứng vô tội nếu tiền gửi của họ không có trong danh sách. thì sẽ bình thường thôi. Với Tornado thì ngược lại. Mặc dù danh sách đen có hiệu quả nhưng nó có nguy cơ tập trung hóa. Việc chặn các giao dịch với các khóa riêng gửi và rút tiền không nhất quán sẽ hiệu quả hơn.

9/n Cuối cùng, hãy nói về vấn đề nghịch lý (bảo mật) chống kiểm duyệt của bên thứ ba. Không còn nghi ngờ gì nữa, chức năng Social Recovery là con đường tất yếu cho việc áp dụng blockchain trên quy mô lớn. Tuy nhiên, không khó để nhận thấy từ những phản đối của cộng đồng mà Leager phải gánh chịu khi mở chức năng này hai ngày trước rằng Social Recovery không thể được xây dựng trên đó. tiền đề là bên thứ ba được tập trung hóa. Và công nghệ zk-SNARK có thể giải quyết được vấn đề này. 10/ngày

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 chứng nhận zk-SNARK để tạo chứng chỉ, sau đó phân phối chứng chỉ cho tổ chức hoặc bạn bè đáng tin cậy. Nếu khóa riêng tư của người dùng bị mất. nó có thể được yêu cầu Bên thứ ba cung cấp chứng chỉ dữ liệu bị phân mảnh và 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ừ đó nhận ra chức năng phục hồi xã hội mà không tiết lộ sự phân mảnh khóa riêng. 11/11

Sau khi hiểu đầy đủ nội dung trên, không khó để thấy tầm quan trọng của công nghệ zk-SNARK đối với hệ thống blockchain. Nó có thể giải quyết nhiều vấn đề khác nhau trong mạng Ethereum hiện tại như khả năng mở rộng và tập trung hóa, quyền riêng tư và cái ác, bảo mật và chống tội phạm. Kiểm duyệt. Vấn đề nghịch lý phát triển. Do đó, Buterin nói rằng zk-SNARK sẽ quan trọng như blockchain trong 10 năm nữa. Có lẽ lớp dưới cùng của Ethereum cũng sẽ là zk-SNARKed. Vâng, zk-SNARKS thống trị mọi thứ xung quanh tôi. 12/12