Merge branch 'testnet' into staging

MauroToscano · MauroToscano · commit ef5178d77537 · 2024-09-16T17:20:36.000-03:00
diff --git a/docs/1_introduction/1_getting_started.md b/docs/1_introduction/1_getting_started.md
@@ -77,4 +77,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
`@@ -77,4 +77,4 @@ Aligned works in:`
`77`	`77`
`78`	`78`	`If you don't meet these requirements, you can compile the binaries yourself following the [README](https://github.com/yetanotherco/aligned_layer)`
`79`	`79`
`80`		`-To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs) guide`
	`80`	`+To try Aligned with other proving systems, check [this](../3_guides/0_submitting_proofs.md) guide`