Kakarot

I joined Kakarot as an engineer to make Starknet EVM-compatible. The company later pivoted towards developing Keth, a zkEVM block proving engine, and I took on the role of CTO.

We eventually also released Cairo-M, one of the most efficient zk-proving systems for client-side proving at the time.

Kakarot was later acquired by Zama.

I also presented Kakarot at the ZK Hub Main Stage. Watch the talk ↗