Lookonchain APP

App Store

Google used AI to complete a mathematical proof for the Signal Protocol in just four weeks, and also uncovered vulnerabilities in older versions of the protocol.

12 minutes ago

Beating AI News: Google DeepMind has developed an AI system called AlphaProof Code, which took just four weeks to mathematically verify some core security guarantees of the Signal encryption protocol. Conventional security tests only check limited scenarios; failing to uncover vulnerabilities does not mean they are absent. Mathematical proofs are far more rigorous: they first formalize the software’s required security specifications into mathematical formulas, then prove these specifications hold consistently under defined conditions. Historically, such proofs required experts to invest massive time in manual derivation. AlphaProof Code allows AI to independently attempt proofs, revise its approach when it detects flaws in the derivation, and proceed with verification. Human experts oversee auditing of critical steps. Researchers also tested the system on an older version of Signal that had known vulnerabilities. The AI successfully identified these long-resolved issues and confirmed the old version could not pass the corresponding mathematical proof. For the current protocol segment examined, the AI found no new vulnerabilities.

Relevant content

Grok 4.8 is finally arriving, Musk: Testing will first be rolled out to select Grok Bot users this week.

Beating AI News: Elon Musk Finally Explains Why Grok 4.8 Has Been Delayed The Grok team abandoned its original JAX and SGLang software stacks, choosing to rewrite the entire reinforcement learning and inference system from scratch in C/C++—a shift that added significant development time. On September 14, Musk had disclosed that the 2.5-trillion-parameter Grok 4.8 was nearing pre-training completion, noting at the time that pre-training had switched to a self-developed C++ system, though reinforcement learning still relied on multiple patched legacy software stacks. That segment has now been fully rewritten. Grok 4.8 has completed pre-training, and the team also invested substantial effort in cleaning up supervised fine-tuning (SFT) data—the dataset used to teach the model to respond to user instructions. The model has since entered the reinforcement learning phase, with internal evaluation scores beginning to rise. Musk plans to roll out a test for a select group of Grok Bot users this week. He also took a direct jab at the previous generation: "Thank goodness, Grok 4.8 will be completely different from 4.7." However, he acknowledged the new model is not yet impressive, adding that this time the underlying foundation has finally been solidified, with far greater improvements expected in the future.

1 minutes ago

IMF urges Kenya to enact legislation to implement the Travel Rule and share crypto user identity information with local authorities.

According to Business Daily, the International Monetary Fund (IMF) has urged Kenya to mandate cryptocurrency companies to share customer identity information with the government to prevent money laundering and push for legislation to implement the Travel Rule. The rule, an international anti-money laundering standard set by the Financial Action Task Force (FATF), requires virtual asset service providers (VASPs) to collect, verify, and share sender and recipient identity information during crypto transfers, with relevant data to be exchanged between service providers and Kenya’s Financial Reporting Centre (FRC), its financial intelligence unit. Kenya has been on FATF’s “grey list” since February 2024 due to gaps in its anti-money laundering and counter-terrorist financing frameworks. In its latest advisory, the IMF noted that “significant gaps remain in FATF-aligned crypto asset transfer information exchanges” and called for the relevant obligations to be incorporated into the recently released Virtual Asset Service Provider (VASP) Regulations or other appropriate legal documents as soon as possible. Previously, local authorities had required service providers to retain Kenyan customers’ identities and full transaction records for tax purposes, with trading platforms withholding digital asset tax at a 3% rate for remittance to the Kenya Revenue Authority (KRA). Chainalysis data shows that in the year ending June 2026, Kenya’s crypto transfer volume hit a record 740 billion Kenyan shillings (around $5.7 billion), making it Africa’s third-largest crypto economy, surpassing Ethiopia and trailing only South Africa and Nigeria. Local crypto activity is dominated by stablecoins, with Bitcoin accounting for just 2.0% of transactions – far lower than Nigeria’s 92%, Ghana’s 59%, and South Africa’s 22%. The IMF also pointed out that peer-to-peer (P2P) transactions are common in Kenya, a trend market participants say has fueled scams.

1 minutes ago

Fourteen publicly listed companies have collectively offloaded 108,000 BTC so far this year, with a total value of approximately $8.08 billion.

According to Lookonchain's monitoring, as of the reporting date, 14 publicly listed companies have collectively sold 108,247 BTC since the start of 2026, worth approximately $8.08 billion. Breakdown by company: · MARA sold 40,581 BTC, valued at around $3.03 billion, at an average price of $74,446; · Riot Platforms sold 20,264 BTC, worth approximately $1.51 billion, with an average selling price of $73,231; · Bitdeer Technologies sold 10,553 BTC, valued at about $787 million; this figure is an estimate of outflows between January and September; · Cango sold 7,001 BTC, worth approximately $522 million; · CleanSpark sold 5,715 BTC, valued at around $426 million, including 3,654 BTC delivered in connection with options or basis trades. The five companies above collectively sold 84,114 BTC. Other sellers include Core Scientific (3,374 BTC, average price $85,000), Empery Digital (3,170 BTC), Keel/Bitfarms (3,169 BTC), Hut 8 Mining (3,102 BTC, average price $80,658), HIVE Digital (3,056 BTC), IREN (2,774 BTC), Cipher Digital (2,252 BTC), Sequans (2,139 BTC), and KULR (1,097 BTC).

1 minutes ago

Federal Reserve Governor Waller: At least three previous precautionary interest rate cuts need to be rolled back.

Fed Governor Waller said the Federal Reserve needs to reverse at least its three previous precautionary interest rate cuts.

1 minutes ago

14 public companies sold 108,247 $BTC ($8.08B) in 2026, led by MARA and Riot Platforms

14 public companies have sold 108,247 $BTC ($8.08B) in 2026! MARA sold 40,581 $BTC ($3.03B) at an average price of $74,446, while Riot Platforms sold 20,264 $BTC ($1.51B) at an average price of $73,231.

1 minutes ago

OKX Flash Earn Lite is launching NIGHT's "staking to earn" program, with users able to split a 12.5 million NIGHT reward pool.

Official announcement: OKX’s Flash Earn Lite will launch the NIGHT (Midnight) “Stake-to-Earn” campaign from 15:00 UTC+8 on November 11, 2026, to 15:00 UTC+8 on November 24, 2026. During the event, users can lock BTC, SOL, OKB, or NIGHT to subscribe, and will split a total of 12.5 million NIGHT in airdrop rewards. Pre-subscriptions are now open, with rewards starting to be calculated from the official kickoff of the campaign. Users can participate via the “Flash Earn” entry at the top of the OKX App’s Explore page.

1 minutes ago

Popular tokens

BitcoinEthereumHyperliquidSolanaTRONBNBTetherAaveXRPPepeFartcoinOndoJupiterUniswapBonkPendleEthenaArbitrumAvalancheLidoChainlinkPolygonDogecoinCardano