如果你被 Bulletproof 瞄準了，這裡有一點小獎勵：我在我的博客上添加了一個關於見證擴展模擬的簡短條目 如果你和我一樣，WEE 是那種你第一次閱讀 Bulletproofs 時忽略的奇怪安全概念，並且從未回過神。是時候我來看看了！

@mmaker 直觀來看，我們難道不能直接使用 Damgard 風格的提取器嗎？對於成功概率超過 kappa 的證明者，這個提取器將始終輸出有效的見證。對於所有其他證明者，它可能會失敗，但驗證者輸出 1 的概率小於 kappa。