Cairo
Definicja
Specjalistyczny język programowania stworzony do pisania aplikacji, których obliczenia mogą być udowadniane za pomocą technologii STARK.
Źródło: Architektura dowodu: od blockchaina do Integrity Web w świetle Zero Knowledge Infinite Trust