ビットコインスマートコントラクトは何語ですか?

ビットコインのスマートコントラクトに使用されるプログラミング言語を理解することに興味があります。 ビットコインプラットフォーム上でスマートコントラクトを作成するために特にどの言語が使用されているかを知りたいです。