Program yang istilahnya direkam dalam bahasa komputer, bukan bahasa hukum. Kontrak pintar adalah tindakan otomatis yang dapat dikodekan dan dijalankan setelah serangkaian kondisi terpenuhi.