TL;DR: Kakarot is a type 3 (soon-to-be type 2.5) zkEVM, built on top of the CairoVM. The project, which began in October 2022, has several goals in mind: open-source from day one, welcoming contributions, and most ambitiously, creating a zkEVM in less than 10,000 lines of code. We achieved this…