From 10e0b92817d08ff698d7869b1a20ff36e4fcc8f7 Mon Sep 17 00:00:00 2001 From: Eran Tromer Date: Tue, 2 Jun 2020 13:54:33 -0400 Subject: [PATCH] Updated title for consistency with spec --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index f165391..029cbdf 100644 --- a/README.md +++ b/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 - ![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.