次世代システム研究室のN.O.です。 Bitcoinのブロックチェーンに記録されたお金の所有権はどのように検証されるのでしょうか?それはBitcoinが独自に持つスクリプト言語によって検証されています。今回はこのスクリプト言語について説明します。また最近Bitcoin coreに取り込まれたSegwitについても少し触れたいと思います。 スクリプト言語はForthという言語に似たスタックベースの言語です。スタックの特徴としてプログラムや処理系が小さく済むため、IoTなど組み込み機器にも有利とされています。 スクリプト言語はOP_で始まるOpcode(オペコード)という命令群で構成されます。 スクリプトの場所 スクリプトはどこにあるのでしょうか? ブロックチェーンは文字通りブロックが連なったものであり、ブロックはブロックヘッダとトランザクションで構成され、トランザクションはinputとout