techmedia-think https://blog.hatena.ne.jp/techmedia-think/ Develop with pleasure! https://techmedia-think.hatenablog.com/ Cryptography BitVM Bitcoin 先日書いたBitVM 3sは↓ techmedia-think.hatenablog.com SNARK証明の検証をFraud proofベースで行う仕組み。 SNARKの検証というのは、具体的にはGroth16とかであれば楕円曲線を用いたペアリングの演算を行うことになる。EthereumではBN254やBLS12-381で動作するペアリング演算のプリコンパイルドコントラクトを導入しているけど、当然Bitcoinにはそのような計算をするopcodeは存在しないので、BitVMではこのペアリングの演算をGarbled Circuitで表現している。Groth16と同様の検証を行う場合、この回路は… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftechmedia-think.hatenablog.com%2Fentry%2F2026%2F02%2F14%2F121921" title="BitVMのストレージ要件を劇的に改善する提案Argo - Develop with pleasure!" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2026-02-14 12:19:21 rich https://techmedia-think.hatenablog.com/entry/2026/02/14/121921 1.0 100%