LayerZero Research has completed formal verification of the bytecode expansion component of Jolt, their zero-knowledge virtual machine (zkVM) built on RISC-V architecture. Using the Lean theorem prover, they proved correctness for 60 out of 67 RISC-V instructions over 2.5 months, ensuring the transformation of raw instructions into Jolt's internal format is reliable. This milestone enhances the trustworthiness of Jolt's zkVM, which is designed with academic rigor and integrated into LayerZero's Zero chain with advanced features like GPU acceleration and post-quantum safety. The remaining seven instructions involve edge cases and are documented for future resolution, marking an ongoing verification effort that strengthens zkVM credibility in the competitive blockchain space.
LayerZero Research's formal verification of Jolt bytecode expansion comes as a backdrop to cryptocurrency market activity where 14 out of 50 major cryptocurrencies on Pluang rose and 35 fell. For readers following crypto markets, here is Pluang's snapshot as of Sep 23, 2026 22:05 WIB: EOS rose 8.13% to Rp12.649 with a typical hold time of 87 days, COTI increased 7.62% to Rp303 with a 120-day hold time and 78% buy order activity, while XNO fell 7.81% to Rp6.535 with a typical hold time of 86 days and 58% buy order activity.
Jefferies analysts set a new price target of $435 for General Electric Aerospace, implying a 35% upside from its current price of around $321. GE Aerospace's strong position is supported by a $170 billion commercial services backlog and 80,000 aircra...
BNP Paribas lowered its price target for PepsiCo from $183 to $161 on September 23, 2026, due to ongoing demand challenges in North America. Despite the cut, the firm maintained an Outperform rating, indicating confidence in the stock's potential. Th...
Celldex Therapeutics saw its price target raised from $70 to $88 by Leerink Partners following successful Phase III trial results for its drug barzolvolimab treating chronic spontaneous urticaria (CSU). The trials met all primary endpoints, showing l...
Ero Copper, a major copper producer, shows stock volatility between $16.88 and $40.83 over the past year. Analyst firm CIBC maintained a "Neutral" rating but increased the price target to C$56.00, reflecting optimism about the company's long-term gro...
Cintas Corporation posted robust first-quarter results, surpassing analyst expectations with earnings per share of $1.39 and revenue of $3.01 billion, a 10.9% increase year-over-year. The company's organic revenue growth was 8.9%, reflecting solid bu...
