Shahar Papini
Shahar Papini co-authored the paper that introduced Cairo, a Turing-complete STARK-friendly CPU architecture, and the Circle STARKs paper with Ulrich Haböck and David Levit. Papini worked at StarkWare before co-founding Attestable, a company building zero-knowledge proofs for AI integrity.