SOTA compiler with clear error reporting, already compiling a bunch of complex programs github.com/kkrt-labs/cair… Cairo M is moving fast As fast as it'll prove on your mobile devices 📱 elias tazartes 🥕🧑‍🌾 malatrax ready to ship to testflight

Zero Knowledge Podcast Matteo Frigo Google Perfect application for circle codes! Should increase performance slightly 🙂

sad to report that it turns out python environment management didn't have to suck this whole time and UV is actually great

I don't mind having Chinese and Russian spyware on my phone. But please fix your bugs! I want to use my phone without weird crashes!

Amazing work guys! Very impressive..

ZKsync Airbender: Every Line of Code x.com/i/broadcasts/1…

A very vanilla take: Inventing cool cryptography is sweet. Even inventing semi-cool cryptography is sweet. The question is — how the world will use it. If the world will ever use it. All we have today from libs to zk-vms is unfunctional on “the real world” level. Unless the

New zkVM just dropped, for mobile. Cairo M now e2e running on iOS / iPhone 13 mini, first shot for prover M is for Mobile

Claude code is a genius procrastinator. He can make you believe he's working and making progress. Until you need to fix and write everything yourself...

Incredible clemlaflemme.stark 🥕! This is a small field version of Cairo, proven on Stwo, prover running on a mobile phone.

Cairo MAX is coming to your phone AND will maxxx real time proving of Ethereum blocks! Kakarot is shipping at an incredible pace 🔥🔥🔥

Sharing some Hot news 🌡️ In Cannes CairoM performing on first shot, non optimized, general purpose, on device, zkVM only 50% above what World months long work on Noir static sized ProveKit is doing? With acir to casm around the corner? What would you do?

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 👇

Remember, the enemy laughed at the destruction the Islamic Regime caused to the Weizmann Institute. They try to end lives, we save lives.

I believe that anybody betting only on TEEs without ZK or FHE is doing a mistake

S-two is *the* zkSTARK industry standard. Kakarot bringing client side proving+real time EVM proving via new CairoM (Cairo for M31). Read more from Kakarot cofounder clemlaflemme.stark 🥕

looking at any zkVM benchmark in 2024

Starknet / Cairo >>>>> EVM / Solidity Type system: Cairo has strong types, generics, algrebraic data types, traits. Solidity has no generics and weaker pattern matching. Ownership / borrow checker at compile time: Cairo has it, single owner move semantics and borrow rules that

if it relies on TEEs only it’s gonna be broken sooner rather than later.

Introducing NitrooZK-stwo: S-two's new #GPU acceleration engine, achieving 7.8M Poseidon2 hashes per second on a 4090 GPU. NitrooZK-stwo will be open-sourced soon. We are collaborating with StarkWare 🐺🐱 to deliver high-performance GPU acceleration for the StarkWare ecosystem.