使用 paillier 密碼系統的零知識證明

對於 paillier 密碼系統，我如何執行零知識證明？

給定一組值：

• 0001
• 0010
• 0100
• 1000

這將用於投票系統，在該系統中，我們希望確保我們從可接受的選票集中給出一個值，而不知道是否選擇了哪個值。

我發現一些資訊表明這是可能的，但我找不到一套簡潔的步驟或解釋如何實現這一點。

在這裡找到了一個實現：https ://paillier.daylightingsociety.org/Paillier_Zero_Knowledge_Proof.pdf

引用自：https://crypto.stackexchange.com/questions/46679