Boris docs edits 16 Sept 2024 (#986)

diegokingston · web-flow · commit 1876fd06a2fc · 2024-09-16T17:18:39.000-03:00
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.
diff --git a/docs/1_introduction/4_faq.md b/docs/1_introduction/4_faq.md

Original file line number	Diff line number	Diff line change
`@@ -75,4 +75,4 @@ Aligned works in:`
`75`	`75`
`76`	`76`	`If you don't meet these requirements, you can compile the binaries yourself following the [README](https://github.com/yetanotherco/aligned_layer)`
`77`	`77`
`78`		`-To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs) guide`
	`78`	`+To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs.md) guide`