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:
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
Hard fork adalah perubahan signifikan pada protokol blockchain yang membuat versi baru dari blockchain tersebut tidak kompatibel dengan versi sebelumnya. Ketika hard fork terjadi, rantai blockchain terpecah menjadi dua jalur yang berbeda, di mana satu jalur mengikuti aturan protokol lama, sementa
Fear Of Missing Out (FOMO) adalah fenomena psikologis yang sering kali mempengaruhi perilaku investor, terutama dalam pasar kripto yang sangat fluktuatif. FOMO merujuk pada perasaan cemas atau takut tertinggal dalam kesempatan besar ketika melihat orang lain meraih keuntungan besar dari investasi
Buy Wall adalah istilah dalam trading kripto yang menggambarkan situasi di mana terdapat sejumlah besar pesanan beli pada harga tertentu di order book. Dalam konteks ini, Buy Wall berfungsi sebagai “dinding” yang mencegah harga aset turun lebih jauh karena adanya minat beli yang signi
Ethereum Improvement Proposal (EIP) adalah dokumen teknis yang menjelaskan standar baru atau pembaruan untuk blockchain Ethereum. EIP digunakan untuk mengusulkan perubahan, baik untuk aspek teknis yang berkaitan dengan protokol Ethereum, maupun bagi standar kontrak pintar (smart contract) dan API