From 7b8021c6f906db04cf4aec969cc19281d4229383 Mon Sep 17 00:00:00 2001 From: Otto Mora <16960403+ottomorac@users.noreply.github.com> Date: Fri, 29 Nov 2024 21:31:01 -0500 Subject: [PATCH] Update querylanguage.md Update to correctly call this ZK Query language, remove draft notice. --- mkdocs/docs/protocol/querylanguage.md | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/mkdocs/docs/protocol/querylanguage.md b/mkdocs/docs/protocol/querylanguage.md index b9e451a..8b1dc6f 100644 --- a/mkdocs/docs/protocol/querylanguage.md +++ b/mkdocs/docs/protocol/querylanguage.md @@ -1,8 +1,6 @@ -# Proof Query Language +# ZK Query Language -> The specifications for the Proof Query Language are under development; consider it as a work-in-progress. - -## Goal of the Query Language +## Goal of the ZK Query Language The initial idea is to have a generic circuit with the possibility to do a verification based on user-claims. As circuit setup is not a trivial task and especially, the trusted setup is a challenging thing for regular developers, we have to provide a simple generic query language based on the generic prebuilt circuits. @@ -280,7 +278,7 @@ timestamp ![verifier-user-query.png](../imgs/verifier-user-query.png) -## Next Steps +## Next Steps (future enhancements) 1. Make it possible to query multiple fields from the same schema, still, it is limited to four available slots, two indexes, and two values. With this combination, we can cover the more advanced use cases. 2. Support more query operations.