針對不可傳遞式零知識證明的研究

Abstract

在現今，零知識證明扮演了一個重要的角色，像是在區塊鏈中的驗證機制。 當擁有一些難題的知識時，證明者可以去通過驗證者的驗證。這個系統提供了一 個完美的模式，達到即使不洩漏個人資訊，證明者依舊能通過驗證。然而，我們 希望在驗證者驗證完證明者的資訊後，是沒有辦法將手中的訊息透漏給其他人， 讓其他人也知道證明者知道某項知識。在我們的研究中，我們提出了一個新的零 知識證明系統去達到不可傳遞性。由於不可傳遞性，無論證明是否合法，它可以 永遠通過驗證條件。Zero-Knowledge Proof plays an important role in today, such as the authentication in blockchain. With knowing the knowledge of some hard problems, a prover can generate a proof and pass the verification by a verifier. It gives a perfect scenario to avoid the parties to have other’s knowledge. However, we hope that the proof is non-transferable and the verifier cannot transfer the information. In our studies, we create a new Zero-Knowledge Proof scheme to achieve the non-transferability, called non-transferable Zero-Knowledge Proof. Due to the non-transferability, the proof will be always passed the verification whether it is valid or not.