Centrifuge has completed formal verification of 1,589 properties of its core protocol using the Certora Prover, enhancing security for its V3 series launched throughout 2026. This verification, conducted by independent researcher Alex Zoid, also tested 1,445 code mutants to ensure robustness. The verified properties cover key features like multichain fund distribution, portfolio management, and enforceable investment mandates, aligning with the V3 roadmap. While this formal verification strengthens security, Centrifuge continues to rely on audits, security reviews, and bug bounties to protect its real-world asset protocol, which bridges traditional finance and blockchain.
Centrifuge's core protocol formal verification is highlighted alongside Pluang's market breadth data. For readers following cryptocurrency markets, here is Pluang's snapshot as of Oct 14, 2026 17:31 WIB: out of 50 major cryptocurrencies, 17 rose and 32 fell. Notable movers include DOT at Rp20.305 with 64% Sell order activity, COTI at Rp220 with 75% Buy order activity, and CAKE at Rp42.096 with 83% Buy order activity.
Genesis Global won the Best AI Solution for Software Development award at the 2026 AI in Capital Markets Awards for its product Genesis Create. This software combines AI with reusable components and financial expertise to help firms develop productio...
nuVizz has been recognized as an Accelerator in the 2026 Nucleus Research Transportation Management Value Matrix for its specialized last-mile delivery technology. The platform excels in coordinating complex delivery networks involving private fleets...
ASML Holding posted a strong Q3 2026 earnings per share of $14.65, beating estimates of $12.17, driven by a 55% year-over-year sales growth and a 57.5% gross margin. Although revenue was slightly below expectations at $13.05 billion, the company bene...
Charles Schwab is set to report its Q3 2026 earnings with an estimated EPS of $1.66 and revenue around $7.18-$7.19 billion, reflecting significant growth driven by an 18.2% increase in trading revenue, net interest income, and asset management fees. ...
Transmission System Operators (TSOs) are increasingly investing in software like Energy Management Systems and grid planning tools to modernize aging infrastructure, enhance cybersecurity, and expand grid capacity. Cybersecurity remains their top con...
