From 217b4a272ca0ab3b8ca1b3f79743c2e03a292b05 Mon Sep 17 00:00:00 2001
From: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Date: Sat, 8 Jun 2024 12:01:43 -0400
Subject: [PATCH] Clarify zk usage with starky (#1596)

---
 starky/README.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/starky/README.md b/starky/README.md
index bb4e2d8a..3519b686 100644
--- a/starky/README.md
+++ b/starky/README.md
@@ -1,3 +1,17 @@
+# Starky
+
+Starky is a FRI-based STARK implementation.
+
+It is built for speed, features highly efficient recursive verification through `plonky2` circuits and gadgets, and is
+being used as backend proving system for the Polygon Zero Type-1 zkEVM.
+
+## Note on Zero-Knowledgeness
+
+While STARKs can be made Zero-Knowledge, the primary purpose of `starky` is to provide fast STARK proof generation. As such,
+ZK is disabled by default on `starky`. Applications requiring their proof to be `zero-knowledge` would need to apply a
+recursive wrapper on top of their STARK proof with the `zero_knowledge` parameter activated in their `CircuitConfig`.
+See `plonky2` documentation for more info.
+
 ## License
 
 Licensed under either of