Last week brought us Cartesi Machine Emulator v0.20.0. Let’s dive into what’s new under the hood in this latest release, the result of months of engineering work on how proofs, performance, and security are handled. Here’s what changed and why it matters. 🧵↓ 1) First up: ZK proof support via RiscZero zkVM. Anyone can now prove a computation ran correctly without having to run it again. Simply put, this means verifying an answer is right without redoing all the work. The execution only needs to happen once. 2) The engine that verifies machine state also got a serious upgrade. The old Merkle tree has been replaced with a faster hash tree implementation, accelerated with modern CPU instructions and multithreading. Verification is now significantly faster. That adds up fast at scale. 3) Previously, the Cartesi Machines had to hold everything in memory. Now state can live on disk. That opens the door to much larger workloads that simply weren’t practical before. More headroom for builders. This means more ambitious applications are possible. 4) The C API got two notable additions. Proof generation now supports arbitrary sub-ranges of the address space. And new functions for collecting root hashes at configurable intervals with subtree bundling. More efficient construction of computation hashes over long executions. 5) On the security side: the interpreter has been hardened against adversarially crafted inputs. This was validated through extensive fuzzing, basically stress-testing every edge case attackers might try to exploit. In one word: robustness you can trust. 6) Why does this matter for Cartesi? These improvements strengthen the Rollups Node and help advance the upcoming Dave fraud-proof system, making both more efficient and reliable. The result? A stronger infrastructure layer underneath everything devs are building. 7) Shoutout to the tech contributors for shipping something this substantial. Full release here: http://github.com/cartesi/machine-emulator/releases/tag/v0.20.0 and, as always, join Discord to get the full scoop and participate in the conversation in the Machine channels: https://discord.gg/cartesi. Repost: https://x.com/cartesiproject/status/2044038802151485454

Five years deep. Still exploring ☄️ Celebrate with the Galxe ecosystem, discover what our partners are cooking and earn while you’re at it. Join the anniversary drop: https://g.xyz/5year-galxe-tg

​🏗 Tower Rush just hit BetFury! Try this hype game from Galaxsys Want to build the biggest tower? Tap 👍

🚨 TODAY: Global Hackfest 2026 – Payments between AI Agents We are going live in a few hours. We're breaking down x402, proof-of-compute, and ERC-8004 for autonomous transactions. ⏰ 10:00 AM ET 📍 Conflux Discord Stage 👉 https://discord.gg/confluxnetwork?event=1491815497895903242