Bitcoin上で任意の計算の検証を可能にするBitVM - Develop with pleasure!ZeroSyncのRobin Linusが、先日、Bitcoinで（現状opcodeとして存在しないような計算を含む）任意のロジックのコントラクトを表現できるようにする提案BitVMを発表した↓ https://bitvm.org/bitvm.pdf BitVMの仕組み 世の中にはたくさんのプログラムが存在するけど、これらのプログラムは、 高級言語でコードを記述し、 コンパイラ等でそれを最終的に機械語（0, 1のデータ）に変換し、 （CPUなどの）専用回路でそれが実行される。 つまり、あらゆる計算は何らかの回路の形で表現できる。 最近のゼロ知識証明プロトコルとかでも、プログラムを算術回路に変換し、その計算に含まれる値が回路を満たしていることを証明することで、実際にプログラムを実行することなく、その実行が正しいことを証明するアプローチが増えてる。 任意の計算を回路にコンパイル BitVMも同
