From 0c72ddca019c1f5e4ef7ceb5d0aaff0d3ee18833 Mon Sep 17 00:00:00 2001 From: Majid Shobeiri Date: Fri, 24 Mar 2023 03:50:40 +0330 Subject: [PATCH] Update index.md Add the languages and frameworks for creating and verifying ZKPs --- index.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/index.md b/index.md index cfdab49..a18deba 100644 --- a/index.md +++ b/index.md @@ -193,6 +193,14 @@ Some proving systems require a structured reference string (SRS). The following - [Daira Hopwood's notes from Zcon0](https://docs.google.com/document/d/1aZ1GUAJOBFuqD4GOo9HqAH8w4xJo7HM4Bjte5-wkdnU) +## The languages and frameworks for creating and verifying ZKPs +- [Noir](https://aztec.network/noir/) +- [Leo](https://leo-lang.org/) +- [Cairo](https://www.cairo-lang.org/) +- [Sismo](https://www.sismo.io/) +- [Circom](https://iden3.io/circom) + + ## Standardization efforts - [Zero Knowledge Proof Standardization](https://zkproof.org/) and [1st Workshop](https://zkproof.org/standards_meetings.html)