Centrifuge telah menyelesaikan verifikasi formal terhadap 1.589 properti inti protokolnya menggunakan Certora Prover, memperkuat keamanan untuk seri V3 yang diluncurkan sepanjang 2026. Verifikasi ini dilakukan oleh peneliti independen Alex Zoid dan juga menguji 1.445 mutan kode untuk memastikan ketahanan. Properti yang diverifikasi mencakup fitur utama seperti distribusi dana multichain, manajemen portofolio, dan mandat investasi yang dapat ditegakkan, sesuai dengan roadmap V3. Meski verifikasi formal ini memperkuat keamanan, Centrifuge tetap mengandalkan audit, tinjauan keamanan, dan program bug bounty untuk melindungi protokol aset dunia nyata yang menjembatani keuangan tradisional dan blockchain.
Verifikasi formal protokol inti Centrifuge disajikan bersama data pasar Pluang. Bagi pembaca yang mengikuti pasar kripto, berikut gambaran pasar di Pluang per 14 Oktober 2026 pukul 17.31 WIB: dari 50 kripto utama, 17 naik dan 32 turun. Pergerakan signifikan terlihat pada DOT di Rp20.305 dengan aktivitas order jual 64%, COTI di Rp220 dengan aktivitas order beli 75%, dan CAKE di Rp42.096 dengan aktivitas order beli 83%.
Operator Sistem Transmisi (TSO) semakin banyak berinvestasi pada software seperti Sistem Manajemen Energi dan perangkat perencanaan jaringan untuk memodernisasi infrastruktur lama, meningkatkan keamanan siber, dan memperluas kapasitas jaringan. Keama...
Air Canada akan memulai layanan penerbangan nonstop musiman antara Montreal dan Seville, Spanyol, mulai 8 September 2027. Rute ini menjadi satu-satunya koneksi nonstop antara Amerika Utara dan Seville, memperluas pilihan perjalanan bagi wisatawan dan...
Air Canada mengumumkan penerbangan langsung musiman antara Montréal dan Seville, Spanyol, mulai 8 September 2027. Rute baru ini menjadi satu-satunya koneksi langsung antara Amerika Utara dan Seville, memudahkan perjalanan bagi wisatawan Kanada dan in...
CodeWall Ltd. mengumumkan pendanaan awal sebesar $4 juta untuk mengembangkan agen serangan otomatis berbasis AI yang mensimulasikan serangan siber nyata pada perusahaan. Agen ini memulai dari luar jaringan tanpa akses dalam, terus mencari celah keama...
Orvida Pharma mengumumkan bahwa FDA telah menerima kandidat obat utamanya KM-023 (ontivatrep) dalam proses Bukti Penyakit Langka (RDEP) untuk pengobatan sindrom Olmsted, penyakit kulit genetik langka. Penerimaan ini memungkinkan Orvida berdiskusi den...
