move zk rust (#674)

Co-authored-by: Gian <58370608+glpecile@users.noreply.github.com>

Author: diegokingston

docs/SUMMARY.md

@@ -7,6 +7,7 @@
 * [Example - ZKquiz](introduction/2_zkquiz.md)
 * [Use cases](introduction/3_use_cases.md)
 * [FAQ](introduction/4_faq.md)
+* [Generating & submitting proofs of Rust code with ZKRust](introduction/5_using_zkrust.md)
 
 ## Architecture
 
@@ -28,7 +29,6 @@
 * [SDK](guides/1_SDK.md)
 * [Generating proofs for Aligned](guides/3_generating_proofs.md)
 * [Contract Addresses](guides/4_contract_addresses.md)
-* [Generating & submitting proofs of Rust code with ZKRust](guides/0_5_using_zkrust.md)
 
 <!-- * [Setup Aligned](developer_guides/2_setup_aligned.md) -->
 

docs/introduction/3_use_cases.md

@@ -7,7 +7,7 @@
 - Alternative L1s interoperable with Ethereum: similar to fast bridging.
 - Verifiable Machine Learning (ML): with general-purpose zkvms we can prove code written in Rust, solving part of the problem of using ML. However, most zkVMs use STARK-based proof systems, which leads to high on-chain costs or expensive wrapping. With Aligned, you can directly verify your proof from the zkVM for much less than Ethereum.
 - Cheap verification and interoperability for Identity Protocols. 
-- ZK Oracles.
+- ZK Oracles: With ZK oracles we can show that we have a piece of information off-chain and produce a ZK proof doing some computation with that data. Aligned reduces the cost of using those oracles. For more background, see the [following post](https://minaprotocol.com/blog/what-are-zkoracles).
 - New credential protocols such as zkTLS based systems. 
 - ZK Coprocessor.  
 - Encrypted Mempools using SNARKs to show the correctness of the encryption.