Merge branch 'main' into 675-ci-add-a-ci-to-compile-and-lint-the-batc…

…her-libs
yetanotherco · Jul 26, 2024 · 8fe4eff · 8fe4eff
2 parents 6b510df + 409b679
commit 8fe4eff
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/docs/SUMMARY.md b/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) -->
 

diff --git a/docs/introduction/3_use_cases.md b/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.

diff --git a/docs/guides/0_5_using_zkrust.md → docs/introduction/5_using_zkrust.md b/docs/guides/0_5_using_zkrust.md → docs/introduction/5_using_zkrust.md