Garbled Circuitを利用した効率的なSNARK検証を提案するBitVM 3s
BitVM 3について、以前以下の記事を書いたけど↓ techmedia-think.hatenablog.com このRSAベースのガーブリングスキームには安全性の仮定に誤りがあり取り下げられ、その後BitVM 3sという改訂版が公開された↓ https://bitvm.org/bitvm3.pdf 3sの名前は、Secure、Simple、Bitcoin Scriptベースというところから来てるらしい…
