Trang chủ Blockchain Công nghệ Blockchain zk-SNARK là gì ?

zk-SNARK là gì ?

05/02/2019 22:30

zk-SNARK ( Zero Knowledge Proofs – Bằng chứng không kiến thức) là gì ?

Quyền riêng tư từ lâu đã là mục tiêu trung tâm và tính năng của tiền điện tử. Tuy nhiên, những gì có thể được coi là riêng tư sớm hơn trong lịch sử của ngành thường không còn được coi là trường hợp. Ví dụ: tuyên bố rằng bitcoin là ẩn danh hiện thường bị bác bỏ, vì các chuỗi khối là minh bạch và công khai: Mặc dù một địa chỉ bitcoin riêng lẻ không được liên kết với một người trong mạng, tất cả các giao dịch diễn ra trong thế giới bitcoin đều có thể được theo dõi và lập bản đồ. Phân tích chuỗi khối loại này là một tính năng trung tâm của các nỗ lực thực thi pháp luật và chính phủ nhằm trấn áp các tội phạm khác nhau liên quan đến tiền điện tử và các vấn đề tương tự. Do sự thiếu riêng tư của một số loại tiền điện tử ban đầu, bao gồm cả bitcoin, trong những năm gần đây đã có một làn sóng mới về các token và coin tập trung vào quyền riêng tư. Một trong số đó, zcash, được hỗ trợ bởi một công nghệ được gọi là zk-SNARKs.

Tổng quan về zk-SNARK

Một zk-SNARK (“đối số tri thức không tương tác cô đọng”) sử dụng một khái niệm được gọi là “bằng chứng không kiến thức”. Ý tưởng đằng sau những bằng chứng này thực sự được thiết lập khá tốt, vì chúng lần đầu tiên được hình thành vào những năm 1980. Nói một cách đơn giản, bằng chứng không có kiến thức là tình huống trong đó hai bên trong một giao dịch có thể xác minh với nhau rằng họ có một bộ thông tin cụ thể, đồng thời không tiết lộ thông tin đó là gì. Đối với hầu hết các loại bằng chứng khác, ít nhất một trong hai bên phải có quyền truy cập vào tất cả các thông tin, có nghĩa là bằng chứng không có kiến thức là sai lệch so với định mức.

Để biết ví dụ về bằng chứng truyền thống, hãy xem xét mật khẩu được sử dụng để truy cập mạng trực tuyến. Người dùng gửi mật khẩu và mạng tự kiểm tra nội dung của mật khẩu để xác minh rằng đó là chính xác. Để làm điều này, mạng cũng phải có quyền truy cập vào nội dung của mật khẩu. Một phiên bản bằng chứng không có kiến thức về tình huống này sẽ liên quan đến việc người dùng chứng minh với mạng (thông qua bằng chứng toán học) rằng họ có mật khẩu chính xác mà không thực sự tiết lộ mật khẩu. Những lợi thế về quyền riêng tư và bảo mật trong tình huống này là rõ ràng: Nếu mạng không có mật khẩu được lưu trữ ở đâu đó cho mục đích xác minh, mật khẩu không thể bị đánh cắp.

Cơ sở toán học của zk-SNARKS rất phức tạp. Tuy nhiên, bằng chứng loại này cho phép một bên chứng minh không chỉ có một chút thông tin cụ thể tồn tại mà cả bên đang nghi vấn có nhận thức về thông tin đó. Trong trường hợp của zcash, zk-SNARK có thể được xác minh gần như ngay lập tức và giao thức không yêu cầu bất kỳ sự tương tác nào giữa người cung cấp và người xác minh.

Tất nhiên, cũng có những lo ngại liên quan đến zk-SNARKs. Ví dụ, nếu ai đó có thể truy cập tính ngẫu nhiên bí mật được sử dụng để tạo các tham số của giao thức chứng minh, người đó có thể tạo bằng chứng sai mà dù sao trông có vẻ hợp lệ đối với người xác minh. Điều này sẽ cho phép người đó tạo token mới của zcash thông qua quy trình giả mạo. Để ngăn chặn điều này xảy ra, zcash được thiết kế theo cách để làm cho các giao thức chứng minh được xây dựng và trải rộng trên nhiều bên.

Mặc dù việc xây dựng quy trình chứng minh zcash đã được hoàn thành theo cách để giảm thiểu khả năng làm giả token bằng chứng giả, nhưng có ít nhất một mối quan tâm khác liên quan đến tiền điện tử. Zcash được tạo ra với thuế “thuế” 20% cho tất cả các khối được tạo trong vài năm đầu tiên của token. Thuế này được gọi là “thuế của người sáng lập” và nó được sử dụng để bồi thường cho các nhà phát triển tiền điện tử. Các nhà phê bình cho rằng những người sáng lập có khả năng sử dụng khía cạnh này của hệ thống để tạo ra số lượng token zcash vô hạn mà không ai biết về sự tồn tại của các token đó. Vì lý do đó, không hoàn toàn có thể biết chính xác số lượng token zcash đang tồn tại vào thời điểm này.

Xem thêm: Zcash(ZEC) là gì?

Theo TapchiBitcoin.vn