Showing 1 of 1 repositories tagged #proof-system, ranked by stars
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.