Một bài báo giải thích zk-SNARK, thứ sẽ quan trọng như blockchain trong mười năm tới trong mắt V God

Đây là số thứ 1943 của Vernacular Blockchain Tác giả gốc | Được biên soạn bởi Huohuo |

Trong một thời gian dài, chỉ có thể đạt được hai trong ba tam giác bất khả thi của blockchain (tức là khả năng mở rộng, phân cấp và bảo mật). Do đó, sau khi Ethereum đạt được mức độ bảo mật và quyền riêng tư cao hơn, việc mở rộng trở thành ưu tiên hàng đầu. Do đó, Lớp 2 ra đời. Trong kế hoạch mở rộng Lớp 2 hiện tại, công nghệ ZK được Vitalik Buterin (V God), người đồng sáng lập Ethereum, coi là giải pháp tối ưu cho vấn đề mở rộng.

Vào ngày 21 tháng 5, tại hội nghị EDCON 2023, hội nghị Ethereum toàn cầu thường niên phi lợi nhuận được tổ chức ở Montenegro, Buterin nói rằng trong 10 năm tới, zk-SNARK với ZK là công nghệ cơ bản sẽ quan trọng như blockchain.

Vậy zk-SNARK được V God quảng bá gần đây là gì? Blockchain có thể giải quyết những vấn đề nan giải nào? Chúng ta hãy xem phần giới thiệu ngày hôm nay. Sau đây là văn bản:

01 zk-SNARK là gì?

1. Ai đã tạo zk-SNARK?

Thuật ngữ "zk-SNARK" được đặt ra bởi một nhóm các nhà mật mã học, bao gồm Nir Bitansky, Alessandro Chiesa và Eran Tromer, những người ban đầu đã công bố các nguyên tắc cơ bản của zk-SNARK trong một bài báo. Kể từ đó, zk-SNARK dần dần được phát triển và cải tiến bởi nhiều dự án và nhóm khác nhau.

2. zk-SNARK có nghĩa là gì?

- ZK: không có kiến ​​thức, không có kiến ​​thức

Không có kiến ​​thức có nghĩa là người đang xác minh khiếu nại không thể thu được bất kỳ thông tin mới nào từ quá trình xác minh. Nói cách khác, trong quy trình chứng minh không có kiến ​​thức, người xác minh chỉ biết liệu tuyên bố đó là đúng hay sai và không có gì khác.

- S: sự đơn giản

Bằng chứng zk-SNARK ngắn gọn là những bằng chứng ngắn gọn và dễ kiểm chứng. Điều này trái ngược với các bằng chứng không có kiến ​​thức thông thường, có thể rất dài và phức tạp. Thông thường, bằng chứng zk-SNARK có thể được xác minh trong một phần nghìn giây.

- N: không tương tác không tương tác

Bằng chứng zk-SNARK không tương tác không yêu cầu bất kỳ sự tương tác nào giữa người chứng minh và người xác minh. Điều này có nghĩa là chỉ có một thông báo kết quả được gửi từ người chứng minh đến người xác minh. Điều này trái ngược với bằng chứng tương tác, trong đó người chứng minh và người xác minh phải tương tác qua lại với nhau để hoàn thành bằng chứng.

- AR: đối số đối số

Lập luận là một lý do hoặc một tập hợp các lý do ủng hộ một quan điểm. Trong ngữ cảnh của zk-SNARK, đối số là một chuỗi các phép toán được sử dụng để chứng minh rằng đối số đã nêu là đúng.

- K: kiến ​​thức kiến ​​thức

Kiến thức là ý tưởng rằng người chứng minh biết một số thông tin cần thiết để hoàn thành bằng chứng. Ví dụ: đây có thể là khóa riêng của tài khoản.

Tóm lại, zk-SNARKs là một hệ thống ZK (hệ thống chứng minh không có kiến ​​thức) cho phép người dùng ("người chứng nhận") chứng minh điều gì đó cho một bên khác ("người xác minh"), chẳng hạn như danh tính, quyền sở hữu tiền của họ, v.v. mà không tiết lộ bất kỳ thông tin nào về những tài sản đó. Ví dụ:

- Người dùng có thể chứng minh rằng có đủ số dư trong tài khoản của mình để mua sản phẩm hoặc dịch vụ mà không cần phải chia sẻ số tiền chính xác mà mình có; - Người dùng có thể xác minh danh tính của mình trước khi truy cập ứng dụng mà không cần phải chia sẻ; dữ liệu cá nhân của anh ấy.

Là một ví dụ về cách “giải thích zk-SNARK cho trẻ 5 tuổi”, đây là trò chơi giải thích zk-SNARK là gì:

"Hãy tưởng tượng bạn đang chơi với ba người bạn. "Giáo viên tiếng Trung ở đâu? ”, giải thưởng là khoản tiền cược 1.000 USD, chia đều cho những người chiến thắng. Bạn và bạn bè ngồi quanh một chiếc bàn và mỗi người được tặng một bức ảnh của một giáo viên Trung Quốc.

Bạn phải tìm thấy giáo viên tiếng Trung trong ảnh. Sau khi tìm thấy giáo viên tiếng Trung, bạn cần chứng minh rằng bạn đã tìm thấy cô ấy, nhưng bạn không được tiết lộ vị trí của cô ấy hoặc bất kỳ thông tin nào khác. Nói cách khác, bạn muốn chứng minh kiến ​​thức về sự thật mà không tiết lộ bất kỳ thông tin nào vượt quá giá trị của tuyên bố của bạn.

Sử dụng zkSNARK, bạn có thể lấy một mảnh giấy có cùng kích thước và đánh dấu một điểm trên vị trí của giáo viên tiếng Trung trong hình. Sau đó, tờ giấy có thể được giấu trong một chiếc hộp và khi bạn bè của bạn giải được câu đố, họ có thể tự mình nhìn thấy vị trí của giáo viên tiếng Trung mà bạn đã đánh dấu. "

Nói cách khác, zk-SNARK cho phép bạn chứng minh thông tin xác minh bạn cần mà không tiết lộ giá trị cụ thể của thông tin đó. Trong hệ sinh thái chuỗi chéo hiện tại, việc sử dụng công nghệ zk-SNARK có thể duy trì quyền riêng tư của các chuỗi khối và DApp được xây dựng trên nền tảng của nó. Ở đây, ý tưởng chính là người xác minh không thể có được bất kỳ thông tin nào về bằng chứng (do đó có tên là bằng chứng "không có kiến ​​thức").

02 Cách hoạt động của zk-SNARK

zk-SNARK đặc biệt quan trọng trong không gian tiền điện tử, nơi quyền riêng tư đặc biệt quan trọng vì nhiều blockchain có bản chất công khai. Ví dụ nổi tiếng nhất là Zcash, một loại tài sản mã hóa riêng tư. Khi Zcash được giao dịch trên các chuỗi công khai như Bitcoin và Ethereum, các chi tiết như địa chỉ người gửi và người nhận cũng như giá trị đầu vào và đầu ra (tức là số tiền đã chi tiêu và số tiền chưa chi tiêu) sẽ được sử dụng để xác minh. Nhưng với zk-SNARK, Zcash có thể chứng minh rằng giao dịch là hợp lệ mà không tiết lộ thông tin như địa chỉ và giá trị.

Cách Zcash sử dụng zkSNARKS để cung cấp một lớp quyền riêng tư cho người dùng tiền điện tử Nguồn: Blockchainhub.net

zk-SNARK hoạt động như thế nào? Chữ ký số hình thành cách hoạt động của zk-SNARK. Chữ ký số sử dụng thuật toán mã hóa để bảo vệ thông tin nhạy cảm, giấu thông tin đó khỏi bên kia trong khi cung cấp cho bên đó bằng chứng cần thiết được yêu cầu. Vậy chính xác thì nó được thực hiện như thế nào? Các bước như sau: 1. Trước tiên, người chứng minh tạo một cặp khóa, một khóa chung và một khóa riêng. Anh ta ký giao dịch bằng khóa riêng của mình. 2. Sau đó, người chứng minh mã hóa giao dịch này thành zk-SNARK, đây là bằng chứng toán học cho thấy giao dịch đó hợp lệ. 3. Bằng chứng được gửi đến người xác minh cùng với khóa chung. Sau đó, người xác minh sử dụng khóa chung để kiểm tra xem công thức có đúng không mà không biết bất kỳ thông tin nào khác về giao dịch. Vì chỉ một lượng nhỏ thông tin được xác minh nên việc kiểm tra này có thể được hoàn thành rất nhanh để xác nhận rằng giao dịch là hợp lệ.

03 Trường hợp sử dụng cụ thể của zk-SNARK

1. Token nào sử dụng zk-SNARK?

Mã thông báo mật mã SNARK là tài sản mã hóa sử dụng zk-SNARK để cải thiện quyền riêng tư, còn được gọi là mã thông báo quyền riêng tư. Ví dụ về các mã thông báo bảo mật như vậy là: - Zcash (ZEC) - Verge (XVG) - Monero (XMR) - Dash (DASH) - Beam (BEAM) - Horizen (ZEN) - Bytecoin (BCN) Thách thức chính của zk-SNARK là Nếu khóa riêng bị xâm phạm, bằng chứng giả mạo có thể được tạo ra. Điều này có thể cho phép những người tạo ra bằng chứng giả mạo thực hiện hành vi gian lận, chẳng hạn như tạo và sử dụng các đồng tiền riêng tư giả mạo.

2. Các ứng dụng khác của zk-SNARKS

Filecoin là nhà cung cấp dịch vụ lưu trữ phi tập trung hoạt động trên nhiều mặt trận.

Đầu tiên, các nhà cung cấp lưu trữ trên mạng Filecoin (cung cấp không gian lưu trữ để đổi lấy phần thưởng khối) và “người chứng nhận” phải chứng minh rằng họ đang lưu trữ dữ liệu trên chuỗi một cách chính xác. Mặt khác, chúng tôi có “người xác nhận”, tức là các nút, những người phải xác minh rằng nhà cung cấp dịch vụ lưu trữ đang lưu trữ và bảo vệ dữ liệu một cách chính xác. Những người xác thực này phải hài lòng với bằng chứng do nhà cung cấp dịch vụ lưu trữ đưa ra. Điều này yêu cầu các nhà cung cấp dịch vụ lưu trữ và các nút phải liên lạc khi dữ liệu được chuyển chủ. Như bạn có thể tưởng tượng, quá trình này sẽ tốn nhiều tài nguyên. Bài đăng trên blog chính thức của Filecoin giải thích: “Lượng dữ liệu phải được chứng minh bởi một nhà cung cấp dịch vụ lưu trữ duy nhất hiện nay để xác minh dung lượng lưu trữ của họ là rất lớn và sẽ chỉ tăng lên theo thời gian. Mạng Filecoin có thời gian chặn là 30 giây”. bất biến theo thời gian và cho phép các phương pháp có thể mở rộng, Filecoin cần một giải pháp cho phép xác minh nhanh chóng, hiệu quả và mạnh mẽ."

Với zk-SNARK, mạng Filecoin có thể tăng khả năng mở rộng và hiệu quả bằng cách giảm thời gian cần thiết để mỗi bên xác minh bộ nhớ. Đối với các nhà cung cấp dịch vụ lưu trữ, zk-SNARK giảm lượng dữ liệu họ cần truyền để chứng minh khả năng lưu trữ của mình, từ đó giảm chi phí vận hành.

3. zk-SNARK cũng có thể được sử dụng cho những việc khác như:

- Xác thực: Xác minh thông tin đăng nhập của người dùng mà không cần mật khẩu, loại bỏ nhu cầu về các tài liệu như hộ chiếu và giấy khai sinh để bảo vệ thông tin nhạy cảm như nơi sinh và ngày sinh.

- Hệ thống bỏ phiếu: Danh tính cử tri có thể được xác minh mà không cần giấy tờ tùy thân và không thể xác định danh tính của cử tri ngay cả khi lá phiếu bị rò rỉ, từ đó bảo vệ quyền riêng tư của cử tri.

- Nén dữ liệu: Đây là một cách sử dụng thú vị của zk-SNARKS và xứng đáng có phần riêng.

04 Tóm tắt

Nhìn chung, zk-SNARKS có ba điểm chính: 1. zkSNARKS là một hệ thống bằng chứng không có kiến ​​thức cho phép một bên chứng minh với bên khác rằng họ biết giá trị x mà không truyền đạt bất kỳ thông tin nào khác về x. 2. Ý tưởng chính là người xác minh không thể suy luận bất cứ điều gì về x chỉ từ thực tế là người xác minh có thể chứng minh rằng họ biết x. Điều này bảo vệ quyền riêng tư dữ liệu của người chứng minh. 3. Hệ thống chứng minh không có kiến ​​thức được sử dụng trong nhiều ứng dụng khác nhau, bao gồm liên lạc an toàn, mật mã và phân tích dữ liệu bảo đảm quyền riêng tư. Mặc dù hệ thống chứng minh không có kiến ​​thức hiện là một lĩnh vực nghiên cứu tương đối mới nhưng vẫn còn nhiều câu hỏi mở về tính khả thi và tính thực tiễn của chúng. Tuy nhiên, chúng đã được sử dụng để tạo ra một số sản phẩm ấn tượng.

Bạn nghĩ gì về zk-SNARKs? Vui lòng để lại tin nhắn trong phần bình luận để thảo luận.

Liên kết gốc: https://phemex.com/academy/what-is-zksnark Tiêu đề gốc: zkSNARK là gì: Người giải thích thân thiện với người mới bắt đầu Tác giả gốc: Contributor Compiler: Huohuo

KẾT THÚC