Another Friday means another Cartesi Weekly 🐧
Cartesi Machine Emulator v0.20.0 is out. Months of engineering work in one release.
Builders can now generate cryptographic proofs that a Cartesi computation ran correctly, without re-executing it. That's ZK proof support via the RISC Zero zkVM. Verification also gets faster, with a new hash tree implementation that’s significantly quicker than before.
Machines can also run with state stored on disk rather than fully in memory, which matters for larger workloads. And the interpreter has been hardened against adversarially crafted inputs, validated through extensive fuzzing. Full release:
→ https://github.com/cartesi/machine-emulator/releases/tag/v0.20.0
Dave 3.0.0-alpha.0 is live with updates to PRT, Cartesi's fraud proof system that keeps onchain computations honest, and is now even more robust.
This release adds Emergency Withdrawal support, so users can always recover their funds even in edge cases. It also tightens security in the tournament process and improves error handling throughout. Explore further:
→ https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.0
Millions of Python, Rust, and Go developers have been locked out by the EVM. DeFi has been built on workarounds for a limited execution environment. We wrote about why Linux onchain is the execution layer DeFi has been waiting for. ICYMI:
→ https://cartesi.io/blog/defi-execution-layer/
We've been shipping videos to show Cartesi in action. Check the integration tutorials we dropped recently to use in your app:
• Chainlink oracles
• NumPy onchain thanks to the Linux stack
• Bonding curve from scratch in Python
All in one thread ready to be bookmarked:
→ https://x.com/cartesiproject/status/2042226240267141535?s=20
Spoiler: More demos are coming soon.
Want to keep the conversation going or have any tech questions? Join our Discord and connect with our contributors and the rest of the community:
→ discord.gg/cartesi
Have a good weekend!
Repost: https://x.com/cartesiproject/status/2042588979443438064