Formal verification dalam konteks kripto dan saham merujuk pada proses matematis dan logis untuk memastikan bahwa smart contract atau sistem trading berfungsi sesuai dengan spesifikasi dan tidak mengandung kesalahan. Dalam dunia kripto, ini sering diterapkan pada smart contracts dan protokol blockchain untuk memastikan keamanan dan keandalan sistem. Dalam pasar saham, meskipun tidak digunakan secara langsung, konsep ini relevan dalam memastikan algoritma dan sistem perdagangan otomatis berfungsi dengan benar.
Dalam pasar saham, formal verification lebih relevan untuk sistem perdagangan algoritmik dan platform trading otomatis. Prosesnya mirip dengan kripto tetapi dengan fokus pada algoritma perdagangan:
Iceberg order adalah jenis pesanan yang digunakan dalam trading saham atau kripto di mana volume pesanan besar dibagi menjadi beberapa pesanan lebih kecil dan disembunyikan dari pasar. Hal ini bertujuan untuk menghindari dampak besar pada harga pasar ketika memesan volume besar sekaligus. Nama “i
Bid price adalah harga yang diinginkan oleh pembeli untuk membeli suatu aset, baik itu saham, kripto, atau aset lainnya. Ini adalah harga tertinggi yang bersedia dibayar oleh pembeli pada saat tertentu di pasar. Secara sederhana, bid price mencerminkan seberapa besar permintaan terhadap suatu ase
Block producer adalah entitas penting dalam sistem blockchain, terutama pada jaringan yang menggunakan mekanisme konsensus Proof of Stake (PoS) atau varian dari PoS. Tugas utama block producer adalah membuat dan memvalidasi blok baru dalam rantai blok, yang berfungsi sebagai catatan transaksi yan
Anti Money Laundering (AML) adalah serangkaian prosedur, hukum, dan regulasi yang dirancang untuk mencegah praktik pencucian uang melalui sistem keuangan. AML bertujuan untuk mengidentifikasi dan menghentikan aktivitas ilegal di mana pelaku mencoba menyembunyikan asal-usul dana yang diperoleh sec
All or None Order (AON) adalah jenis pesanan dalam perdagangan saham yang memastikan seluruh jumlah saham yang dipesan dieksekusi dalam satu transaksi, atau tidak sama sekali. Dalam kata lain, pesanan ini hanya akan dipenuhi jika ada cukup saham yang tersedia untuk memenuhi seluruh pesanan pada h