Immutable ($IMX) is rebuilding its chain on @Optimism's OP Stack. The move replaces a custom Geth fork, cuts block times in half and turns Immutable Chain into an @ethereum ($ETH) rollup, with a target of mid 2027. What it means ⬇️ Details here:

We designed the Forecast kernel to be both immutable and formally provable end to end. The proof stack now contains 383 machine-checked Lean theorems. The gate rejects placeholders and any proof that relies on more than two standard axioms. A second layer verifies the exact bytecode that Base will execute in KEVM so the proof does not stop at source code and trust the compiler. Every run must also catch a forbidden storage write that we deliberately inject. Miss it, and the run is invalid. This guards against formal verification’s most dangerous failure mode: a valid proof of the wrong claim. Medusa completed 5m calls against nine safety properties this morning. Echidna completed its 5m by noon. Neither found a violation. Both are coverage gated: if they miss a path we require, the run fails. Then we attacked the test suite itself. We generated 1,813 mutant contracts, each containing one deliberate defect, and ran the full suite against every one. The suite killed 1,707. We reviewed the survivors by hand and recorded why each survived. The campaign is now running again on the machine pictured, 540 mutants in. Everything closes into one verification ledger tied to one exact commit. That is the commit we launch.

A worthy goal, but there is that pesky immutable law of nature and existence of the becoming and passing. 'Nothing can escape the death ... therefore it must be thought about and it also must be understood'

"#Bitcoin# is a league of its own. It's actually decentralized and immutable. Everything else is issued by a group of people or a company. They are all pushed to make money. CBDCs are used to control the population." @Excellion, JAN3 CEO, on @MaajidNawaz's @TheRadicalShow. 🌍⚡️

We are investigating a potential exploit affecting Aztec Connect. ~$2.1m was transferred from the immutable smart contract in transaction: Aztec Connect was deprecated 3 years ago. Aztec Labs holds no admin keys or control over the system; it cannot be paused or upgraded by us. We will share further updates in due course.

Still very bullish crypto. Neutral, immutable rails for value transfer/preservation will consistently matter in a world that is ever-shifting and increasingly uncertain. The tokenization of all value will lead to a massive jump in the composability of assets, which should result in new experiences; what the internet did for information, crypto will do for value. Finally, online communities with sovereign economic power will only grow more important as more of our lives become digitally powered, hence why the focus on privacy and quantum resistance as a defense against capture is a key step forward for the movement (note: crypto totally is an jndustry now, but for me, it will always be a movement first).

Can banks trust AI agents with customer money? @Hashgraph CIO @gregorylbell highlighted the clear solution in @TheStreet: DLT. An immutable, on-chain audit trail is exactly what institutions and regulators need to understand the actions of agentic AI.

“No text, no email, no phone call.” When the SOC flags a threat, @Infinidat (a @Lenovo Company) storage automatically starts taking and scanning immutable snapshots to find a known good copy. CMO @zoginstor with @DaveN007 on why AI-speed attacks need an automated response.

SoFi Crypto now supports 40 digital assets. Here's what we added last week ↓ $CC - Canton Chain $DOT - Polkadot $ENT - Ethena ethereum:0xc944e90c64b2c07662a292be6244bdf05cda44a7 - The Graph ethereum:0xf57e7e7c23978c3caec3c3548e3d615c346e79ff - Immutable X $MORPHO - Morpho Token $ONDO - Ondo solana:2zMMhcVQEXDtdE6vsFS7S7D5oUodfJHE8vd1gnBouauv - Pudgy Penguins $PEPE - Pepe solana:rndrizKT3MK1iimdxRdWabcF7Zg7AR5T4nud4EkHBof - Render Network $VVV - Venice Token Buy, sell, and hold crypto on a platform with the safeguards of a bank. All in the SoFi app: