Merge pull request #9 from tromer/update-title

Updated title for consistency with spec

README.md

@@ -1,4 +1,4 @@
-# zkInterface - Zero-knowledge Standard
+# zkInterface, a standard tool for zero-knowledge interoperability
 
 zkInterface is a standard tool for zero-knowledge interoperability between different ZK DSLs, gadget libraries, and proving systems.
 The zkInterface project was born in the [ZKProof](https://zkproof.org/) community.
@@ -9,7 +9,6 @@ See the [specification](zkInterface.pdf) and the [serialization format](zkinterf
 
 ## Introduction
 
-<!-- Eran's intro and we can add the overview diagram from the paper. (fig. 1) -->
 ![alt text](https://qedit.s3.eu-central-1.amazonaws.com/pictures/zkinterface.png)
 
 *zkInterface* is specification and associated tools for enabling interoperability between implementations of general-purpose zero-knowledge proof systems. It aims to facilitate interoperability between zero knowledge proof implementations, at the level of the low-constraint systems that represent the statements to be proven. Such constraint systems are generated by _frontends_ (e.g., by compilation from higher-level specifications), and are consumed by cryptographic _backends_ which generate and verify the proofs. The goal is to enable decoupling of frontends from backends, allowing application writers to choose the frontend most convenient for their functional and development needs and combine it with the backend that best matches their performance and security needs.