Boris docs edits 16 Sept 2024 (yetanotherco#986)

lambdaclass · Sep 16, 2024 · 1876fd0 · 1876fd0
2 parents 84a409a + 746a3ac
commit 1876fd0
Show file tree

Hide file tree

Showing 3 changed files with 89 additions and 78 deletions.
diff --git a/docs/1_introduction/1_getting_started.md b/docs/1_introduction/1_getting_started.md
@@ -75,4 +75,4 @@ Aligned works in:
 
 If you don't meet these requirements, you can compile the binaries yourself following the [README](https://github.com/yetanotherco/aligned_layer)
 
-To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs) guide
+To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs.md) guide 
diff --git a/docs/1_introduction/3_use_cases.md b/docs/1_introduction/3_use_cases.md
@@ -13,3 +13,7 @@
 - Encrypted Mempools using SNARKs to show the correctness of the encryption.
 - Protocols against misinformation and fake news: you can generate proofs that an image or audio comes from a given device, and show that a published image is the result of certain transformations performed on the original image.  
 - On-chain gaming.
+
+## Projects built using Aligned
+
+- The Mina <> Ethereum bridge (in development) uses Aligned's fast mode for ZK proof verification. See the [github repo](https://github.com/lambdaclass/mina_bridge) for more information.