This repository contains the verifier code that runs on Starknet. It is written in Cairo and is used to verify the proofs generated by the Solo Safe.
A part from the verifier code, it also contains the code allowing to synchronize offline transactions and the blockchain.