Bitcoin上で任意の計算の検証を可能にするBitVM

ZeroSyncのRobin Linusが、先日、Bitcoinで(現状opcodeとして存在しないような計算を含む)任意のロジックのコントラクトを表現できるようにする提案BitVMを発表した↓ https://bitvm.org/bitvm.pdf BitVMの仕組み 世の中にはたくさんのプログラムが存在するけど、これらのプログラムは、 高級言語でコードを記述し、 コン…