Tôi đang đọc phần giải thích về zkSnark được viết bởi Maksym Petkus - http://www.petkus.info/papers/WhyAndHowZkSnarkWorks.pdf
Từ Mục 3.5
Bởi vì người xác minh có thể trích xuất kiến thức về đa thức chưa biết
$p(x)$ chỉ từ dữ liệu được gửi bởi người tục ngữ, chúng ta hãy xem xét những
các giá trị được cung cấp (bằng chứng): $g^p$, $g^{p'}$, $g^h$. Họ tham gia vào
kiểm tra sau:
$g^p = (g^{h})^{t(s)}$ (đa thức $p(x)$ có nguồn gốc của $t(x)$)
$(g^p)^\alpha = g^{p'}$ (đa thức của một hình thức đúng được sử dụng)
Câu hỏi đặt ra là làm thế nào để chúng ta thay đổi bằng chứng sao cho việc kiểm tra vẫn
nắm giữ, nhưng không có kiến thức có thể được trích xuất? Một câu trả lời có thể được bắt nguồn
từ phần trước: chúng ta có thể "chuyển" các giá trị đó theo một số ngẫu nhiên
con số $\delta$ (đồng bằng), ví dụ: $(g^p)^{\delta}$. Bây giờ, để
trích xuất kiến thức, trước tiên người ta cần tìm $\delta$ đó là
coi là không khả thi. Hơn nữa, sự ngẫu nhiên như vậy là thống kê
không thể phân biệt được với ngẫu nhiên.
Chúng tôi đã có Mã hóa đồng hình mạnh (như đã nêu trong Phần 3.3.3),
$E(v) = g^v \pmod n$
Các $g^p$, $g^{p'}$, $g^h$ được tạo như trên. Ý tôi là làm cách nào để bạn trích xuất thông tin về p, p' & h từ $g^p$, $g^{p'}$, $g^h$ rằng sự thay đổi của $\delta$ bắt buộc?
Vậy thì tại sao $\delta$ cần thay đổi cho Kiến thức Không?
