BITVM2

BitVM2 adalah bahasa pemrograman yang digunakan dalam proyek Citrea untuk memperluas kemampuan Bitcoin dalam konteks kontrak pintar. Versi ini menawarkan peningkatan yang memungkinkan partisipan untuk menantang transaksi yang mencurigakan.