FILTERED RESULTS
FILTERS
MCap $2.9T -0.6%24h Vol $156.3B +0.6%Fear & Greed 73/100Alts Index 53/100
BTC.D 58.4% +0.1%Stable.D 9.3% +0.1%ETH.D 11.4% 0%Others.D 20.9% -0.2%
SHFL$0.6630+69.75%•NMR$13.566+35.22%•MARSCOIN$0.1506+28.93%•HBAR$0.1206+25.45%•ALGO$0.1394+17.82%•CRV$0.3911+16.35%•BTW$1.300+13.41%•GRASS$0.6794+8.71%•IOTA$0.0557+7.51%•牛来$0.1151+6.89%•
Q$0.0259-47.69%•SOON$0.2948-15.56%•ONDO$0.5103-14.2%•USELESS$0.2288-12.99%•ZEC$1,364.49-12.67%•NEAR$4.642-12.02%•FARTCOIN$0.1646-11.45%•BP$1.338-11.44%•DASH$59.677-11.25%•SEI$0.0739-11.21%•
•
·
·
FILTERED RESULTS
Analysts Report Slowed Growth for Anthropic Amid Rising Competition
U.S. Senate Investigates Trump Family's Cryptocurrency Ties and Tether's Sanctions Compliance
NVIDIA CEO Defends AI Model Distillation Amid U.S. Accusations Against Chinese Firms
Bitget BTC Protection Fund Releases 3,215 BTC
OpenAI Apologizes for Unauthorized Access to Australian Government Websites
TSMC Plans Second Semiconductor Campus in Texas with Significant Investment
Paid Launches Web Application Portal Amid Ongoing Suspension of X Money Payments
Stablecoin Card Spending Reaches Record $189 Million in Mid-September
Former CEO of Changxin Memory Technologies Accused of Coercing Samsung Technology
General Intelligence Manus Founder Announces Development of Domestic Version
Investment Strategy Shift: Utilities and Financials Preferred Over Bonds as Yields Rise
World Foundation Finalizes $49 Million Over-the-Counter Sale of WLD
CFTC Approves Launch of Coinbase Clearing with USDC Collateral
UsePaid Launches Claims Portal After $PAID Token Drops 38% Due to X Money Issues
KLEA Crypto Daily: Monday, September 28, 2026
Uniswap Dominates Tokenized Stock Deposits with $82 Million on Robinhood Chain
OpenAI Suspends AI Model Training After Data Scraping Incidents
BitGo Appoints New Chief Product Officer to Enhance Asset Servicing
Stripe Alerts AI Companies to Rising Token Theft Risks Amid Increased Fraud Attempts
US Senate Report Links Tether's USDT to Iran's Sanctions-Evasion Activities
Gemini Introduces Staking for Hyperliquid's HYPE Token with 2.1% APY
Coinbase Introduces Digital Pokémon Card Packs Linked to Physical Collectibles
Robinhood Reports 24% Increase in Daily Crypto Trading Volume for September
SEC Clarifies Token Buyback Guidelines with 'No Central Party' Condition
Anthropic's Claude Sonnet 5.5 Is Out, Beats Opus 5.5 at Coding for Half the Price
After AI Agent Hacked Its Government, Australia Calls Altman and Amodei to Testify
In the Wake of CLARITY Act’s Failure, Agencies Move Forward Without Congressional Action or Certainty
Expansion of Trademark Rights: What Yuga Labs v. Ripps Means for Game Studios
Strive Scoops up 1,107 Bitcoin as Its $2.3B Treasury Expands
Banking Giant Citi Taps Coinbase to Turn Stablecoins Into Cash
Hyperliquid (HYPE) Drops 5% – Could Whales Trigger an Even Bigger Sell-Off?
Ripple CEO Unpacks What Really Drives XRP’s Value — Here’s Everything You Need to Know
Breaking: Vitalik Buterin Declares Ethereum Is No Longer Just A Blockchain
Spark Allocates $210 Million for Institutional Loans Backed by Bitcoin
Bitcoin ETFs Draw $2.39 Billion Despite Weekly BTC Decline
Altcoin Spot Trading Volume Nears 4x Bitcoin, Highest Since September 2025
UK FCA Secures £851K for Victims of Crypto Investment Fraud
Bitget says Bitcoin withdrawals are open after $387M hack, but ETH and USDT must wait
Brazil’s $252 billion crypto market gets $10,000 self-custody reporting rule
USDT grew on Ethereum through 2024, but smart contract holdings stalled, BIS data show
US SEC follows CFTC in staff guidance for crypto
Avalanche Leads Blockchain Sector with $131 Million in Tokenized Stock Inflows
Blockchain.com Files Confidential S-1 for Multi-Billion Dollar IPO
Bittensor Introduces Gamma Tokens to Foster Collaboration Among Subnets
Blockchain.com Plans IPO Targeting Up to $6 Billion Valuation
Chainlink Introduces CCIP 2.0 Featuring Custom Verifiers and Enhanced Transfer Speeds
Polygon Announces Temporary Increase in POL Staking Rate to 7.7%
Goldman Sachs Connects $100 Billion Treasury Fund to Lynq Network
Compound Foundation Responds to Allegations of V2 Reserve Misuse
Tether Assists in Freezing $550 Million in Iran-Linked USDT
163,061,311 $USDC (163,116,752 USD) minted at USDC Treasury...
Iran Agrees To Suspend Uranium Enrichment In Exchange For US Sanctions...
Belarus Moves Toward Registering First Two Crypto Banks Under New Rules
1,357 $BTC (113,578,422 USD) transferred from #Paypal to unknown wallet...
ETHFI to Fully Exit EigenLayer Restaking as Yields Dry Up and Sector Profitability DeclinesETHFI...
Bitcoin’s (BTC) Still in a Bull Market, But a Correction Could Be Coming First
Russia lets crypto exchanges apply October 5 – but even Bitcoin lacks final retail clearance
Trump Diesel Curbs Could Hit Every Major Economy, Devere Warns
Crypto PAC spends $11M to oppose Sherrod Brown in Ohio
Circle's Arc Facilitates $150 Million in USDC Borrowing Against Bitcoin Collateral
Analysis: AI-related debt issuance has limited impact on U.S. Treasury yields; 10-year yield may fall to 4.25% by end of 2027
Ondas investors blame short-sellers, fails-to-deliver
Apollo Chief Economist: AI Agents Automatically Moving Deposits Could Trigger a "Slow-Motion Bank Run"
BGB Token Price Faces Fresh Pressure to Fall Under $1 After Bitget Hack
Ethereum Holds Near $2,677 as Traders Watch $2,700 Resistance
Arbitrum Foundation launches security program to subsidize smart contract audits for ecosystem projects
Aptos Foundation Collaborates to Establish Stablecoin Corridor Between Middle East and Africa
Spectra Finance Introduces Fixed-Term Markets for deJTRSY on Stellar Network
Hut 8 Secures $1.07 Billion Senior Secured Revolving Credit Facility with Four-Year Term
LayerZero Research Achieves Formal Verification of Jolt Bytecode Expansion
LayerZero Research has successfully completed the formal verification of the bytecode expansion for Jolt, its zero-knowledge virtual machine (zkVM) designed for RISC-V architecture. This verification process, which took approximately 2.5 months, involved the use of the Lean theorem prover to ensure the correctness of 60 out of 67 RISC-V instructions, marking a significant milestone in the project's development.
Formal verification serves as a mathematical proof of software correctness, ensuring that the code behaves accurately under all conditions rather than just specific scenarios. The verified component, bytecode expansion, is crucial as it transforms raw RISC-V instructions into Jolt's internal representation, which is essential for generating reliable zero-knowledge proofs. If this transformation is flawed, it could compromise the integrity of all subsequent proofs built on it.
The verification utilized Lean, a formal theorem-proving assistant, to compare the bytecode expansion against a trusted RISC-V reference model known as LeanRV64D. While 60 instructions were fully proven, the remaining seven could not be verified due to specific edge cases, which the team has documented in a published paper. Notably, AI tools such as Claude and Codex were employed to expedite the proof generation process, with human engineers providing critical definitions and templates.
Jolt's development is rooted in research from a16z crypto, which has previously conducted formal verification on related components. LayerZero has further advanced Jolt by integrating it into their Zero chain, enhancing it with GPU acceleration and post-quantum safety features. The broader goal of LayerZero's project is to achieve full correctness of the Jolt zkVM, with bytecode expansion verification being one of several sequential phases in this ongoing effort.
© 2026 KLEA News. All Rights Reserved. This article is provided for informational purposes only. It is not offered or intended to be used as legal, tax, investment, financial, or other advice.
Source: KLEA News