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:
Floor price adalah istilah yang digunakan dalam dunia aset digital, khususnya dalam konteks non-fungible tokens (NFT), untuk merujuk pada harga terendah di mana sebuah NFT dapat dibeli di pasar terbuka. Dengan kata lain, floor price adalah harga termurah dari sebuah koleksi NFT tertentu yang ters
Custody adalah istilah yang sering digunakan dalam dunia keuangan dan investasi untuk menggambarkan layanan penyimpanan dan perlindungan aset, seperti saham, obligasi, atau kripto, oleh lembaga keuangan profesional. Dalam konteks ini, custody berarti menjaga dan mengelola aset atas nama investor,
Bid-Ask Spread adalah perbedaan antara harga tertinggi yang bersedia dibayar oleh pembeli (bid) dan harga terendah yang diterima oleh penjual (ask). Dalam konteks perdagangan, Bid-Ask Spread mencerminkan selisih antara harga beli dan harga jual suatu aset, yang bisa berupa saham, forex, atau aset
Consumer Price Index (CPI) adalah indikator ekonomi utama yang digunakan untuk mengukur perubahan harga barang dan jasa yang dikonsumsi oleh rumah tangga. CPI memberikan gambaran tentang inflasi dan perubahan daya beli konsumen dari waktu ke waktu, dan merupakan alat penting bagi pembuat kebijaka
Genesis dalam dunia kripto merujuk pada blok pertama yang dibuat di dalam suatu jaringan blockchain. Istilah ini sering kali digunakan untuk menggambarkan “blok genesis” atau “blok 0,” yang menjadi dasar bagi semua blok lainnya yang akan ditambahkan ke dalam jaringan. Blok