Thrilled to embark on Kakarot's journey ! I'll be sharing updates here for you to take part in the ride 🥕

Started digging into the Cairo paper, really like how they compare and justify their design choices. The chosen CPU approach looks more scalable & maintanable for general computation than an ASIC one 🤔

Cairo memory model is Nondeterministic Read-Only, also enforcing a contiguous address space. A long name with many benefits for provable computation I find the segment mechanism, coupled with read-only memory elegant, efficient and dev-friendly

Cairo language comes in 2 different flavors, Cairo 0 and Cairo Cairo 0 is low-level, while Cairo is more abstract and safer (first compiling to Sierra) Cairo 0 has no IR overhead, thus faster. But when cairo native will be production-ready, Cairo 0 can be buried for good

Read one somewhere, heard the other elsewhere I guess nobody knows 🧐

Cairo and Starknet compilation artifacts are quite different 👀 Poor Cairo has no serialized CASM artifacts :( Rust Cairo VM takes .cairo or .sierra, using the compiler as internal dep I want a standardized Cairo CASM artifact This is the missing piece of non-rusty Cairo VMs

At Kakarot we want to make ZK-technology more accessible to engineers outside the field. Recently there's been a debacle on "who implemented ZK-Precompiles first". Well, malatrax has been writing great content on the CairoVM and it's builtins 👇

1/ 🧠🤯 Brainfuck Blown ! Today we are releasing STWO Brainfuck ZK-VM, our research project demonstrating the power of STWO, the world’s fastest prover from StarkWare 🐺🐱. This is a crazy but important step on our mission to prove Ethereum in real time.  See why below👇🧵

Cairo M New ZK-VM in 20 calendar days, from compiler to prover: 7 chads in the trenches Mobile first Not only a ZK-VM, also a demo app to locally prove, share and verify Cairo M proofs exciting times to be part of Kakarot 🥕 M is for Mobile.

S-two unlocking real-time proving for everyday devices. Kakarot is building CairoM, a mobile-first ZK stack using M31 and S-two, to make client-side proving possible on laptops and smartphones. Discover how Kakarot is leveraging S-two to bring ZK to your pocket 👇