ブロックチェーン上でプログラムを自動実行する仕組みを何と呼ぶか。

ビットコインで採用されている合意形成アルゴリズムはどれか。