使用 zk-snarks 驗證最高出價

我知道我們可以驗證給定的私有輸入和我們可以驗證a的公共輸入是否大於. 但是，如果我想將兩個輸入都保密怎麼辦？b``a``b

上下文是密封拍賣，我們需要驗證私人投標者中誰的出價最高。我還沒有看到任何關於如何實現這一點的例子，但希望這裡有人可以幫助我指出正確的方向。

使用 zk-snarks，可以驗證“更大”關係成立的證明 $ (a, b) $ 明文作為私人輸入，並承諾 $ (a, b) $ 作為公共輸入。一個會分開兩個 $ a $ 和 $ b $ 成比特（snarks 用語中的“電線”），並創建一個帶有乘法門的電路，產生“真”或“假”。Verilog 電路在這裡可能會有所幫助。乘法意味著表示電路的 R1CS 方程系統，作為特定於問題的部分，以及用於實現 Groth16 證明系統的 snark 庫的輸入。

有了這個電路，人們就會產生兩個公鑰，產生並驗證一個 snark 證明。

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