Update README

HerodotusDev · Nov 19, 2024 · ce1f952 · ce1f952
1 parent be4cbc0
commit ce1f952
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,11 +1,13 @@
-# Cairo Verifier
+# Integrity
 
 ![Integrity](.github/readme.png)
 
 [![Continuous Integration - tests](https://github.com/HerodotusDev/integrity/actions/workflows/tests.yml/badge.svg)](https://github.com/HerodotusDev/cairo-verifier/actions/workflows/tests.yml)
 
 [![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)