Das Kakarot-Projekt hat die vollständige Implementierung der Virtuellen Ethereum-Maschine angekündigt und plant, Ethereum Layer1 Blöcke in Echtzeit durch das STARK-Beweissystem zu beweisen. Es wird in der Sprache Cairo entwickelt und bietet eine unabhängige Lösung für zk-SNARKs. Das Projekt kann innerhalb von 8 Sekunden Blockbeweise erzeugen, was schneller ist als die 12 Sekunden Blockzeit von Ethereum. Es vermeidet die Abhängigkeit von Mainstream-Lösungen und hat eine alternative Lösung zur Generierung von zk-SNARKs für Ethereum-Blöcke entwickelt. Das Team hat geäußert, dass es nicht eilig hat, zu RISC-V zu wechseln.