diff --git a/README.md b/README.md index edf4e183..596951c5 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -# Cairo Verifier +# Integrity ![Integrity](.github/readme.png) @@ -6,6 +6,8 @@ [![Continuous Integration - proof verification tests](https://github.com/HerodotusDev/integrity/actions/workflows/proof_verification_tests.yml/badge.svg)](https://github.com/HerodotusDev/cairo-verifier/actions/workflows/proof_verification_tests.yml) +Integrity is a STARK proof verifier written in cairo language and deployed on Starknet. + ## Table of contents - [Prerequisites](#prerequisites)