Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A blazingly fast sdk for running proofs on the browser... and verifying ...