ビットコインでスマートコントラクト

Python、TypeScript、Scalaなどのモダン言語で作成されたスマートコントラクトを、ビットコイン自体を変更することなくビットコインで実行できるとしたら。

Input | Output (IO)で開発されている新しいコンパイルパイプラインによって、そのアイデアは現実になりつつある。シリアル化されたスマートコントラクト形式（Untyped Plutus Core：UPLC）、洗練されたインタープリターアーキテクチャーであるCEK - Control（制御）Environment（環境）Kontinuation（継続）- マシン、広くサポートされているオープンソースのRISCセットアーキテクチャー（RISC-V）を組み合わせることで、IOは表現力豊かなCardanoスマートコントラクトの世界からビットコインの堅牢なベース層への接続を構築している。その中心にあるのが、RISC-Vを利用してオフチェーンロジックを安全に実行する、ビットコインのオプティミスティック検証システムBitVMX…