Commitments
計算綁定意味著完美隱藏？
給定一個具有計算約束力的承諾方案（例如，基於一些推測的難題），它是否也暗示該方案是無條件隱藏的？
我的想法是：由於該方案在計算上具有約束力，它可以被無限的對手打破，他們可以為同一個承諾產生兩個開口。但這會使該計劃完全隱藏，因為即使是不受限制的攻擊者也無法以任何方式區分同一承諾的兩個（或多個）開口。
這個對嗎？如果不是，是否有任何方案可以證明並非如此？
這是不正確的。它可能沒有約束力，因為您可以將承諾分為兩個選項。您可以很容易地人工建構這樣的方案。例如，採用任何完美綁定方案 $ C_b $ 以及任何完美的隱藏方案 $ C_h $ . 然後，送出一條消息 $ m $ 通過承諾 $ C_b(m)||C_h(0) $ 或承諾 $ C_b(\overline{m})||C_h(1) $ . 然後，當你decommit時，如果完美隱藏部分為0，則取消息 $ m $ 在完美結合的部分。相反，如果完全隱藏部分是1，則在完全綁定部分取消息的補碼。
顯然，這只是一種計算綁定方案，因為全能的送出者可以打破完美隱藏部分的綁定，因此可以重新送出消息或其補充。此外，該方案顯然也只是計算隱藏。