Cartesi

January has seen plenty of penguins committing to new paths. Cartesi’s penguin, however, has been walking the same one for years. Linux has long been the penguin guiding developer convenience, while the Cartesi Machine and the Optimistic Rollups framework enabled complex computation and high throughput well before it was fashionable. With the recent move to a permissionless fraud-proof system, this long-standing direction is now reinforced. The SDK continues to mature as we step into a new ye...

Verifiable Compute and Stage 2 SecurityAs the curtain closes on 2025, we look back at a year where Cartesi shifted from building the foundation to proving the resilience of its architecture on the world stage. From achieving Stage 2 status on L2BEAT to integrating ZK primitives into the RISC-V VM, the ecosystem has moved closer to the vision of a fully decentralized, Linux-powered future that allows developers to do more in Web3 and build with any code while inheriting Ethereum’s security. He...