BitVM2、ビットコイン開発者、プログラマビリティ、ロールアップ、ビットコイン上に構築