zk coprocessor docs update

docs/src/SUMMARY.md

@@ -10,8 +10,14 @@
   - [Libraries and Functions](./components/libraries_and_functions.md)
   - [Programs and Authorizations](./components/programs_and_authorizations.md)
   - [Middleware](./components/middleware.md)
-- [Valence zk-Coprocessor](./zk-coprocessor/_overview.md)
-  - [Sparse Merkle Trees](./zk-coprocessor/sparse-merkle-trees.md)
+- [Valence ZK System](./zk/_overview.md)
+  - [System Overview](./zk/01_system_overview.md)
+  - [Developing Coprocessor Apps](./zk/02_developing_coprocessor_apps.md)
+  - [On-Chain Integration](./zk/03_onchain_integration.md)
+  - [Coprocessor Internals](./zk/04_coprocessor_internals.md)
+  - [Sparse Merkle Trees](./zk/05_sparse_merkle_trees.md)
+  - [Guest Environment](./zk/06_guest_environment.md)
+  - [State Encoding and Encoders](./zk/07_state_encoding_and_encoders.md)
 - [Authorization & Processors](./authorizations_processors/_overview.md)
   - [Assumptions](./authorizations_processors/assumptions.md)
   - [Authorization Contract](./authorizations_processors/authorization_contract.md)
@@ -71,6 +77,7 @@
   - [Token Swap](./examples/token_swap.md)
   - [Crosschain Vaults](./examples/crosschain_vaults.md)
     - [Vault Strategist](./examples/vault_strategist.md)
+    - [EVM One-Way Vault](./examples/evm_oneway_vault.md)
 - [Testing](./testing/_overview.md)
   - [Initial Testing Set Up](./testing/setup.md)
   - [Example without Program Manager](./testing/without_program_manager.md)

docs/src/components/_overview.md

@@ -11,6 +11,4 @@ Valence currently supports CosmWasm and EVM. SVM support coming soon. The rest o
     - [Middleware](./middleware.md)
 
 2. **Off-chain Execution via ZK Coprocessor**:
-Early specifications exist for the [Valence ZK coprocessor](./../zk-coprocessor/_overview.md). We aim to move as much computation off-chain as possible since off-chain computation is a more scalable approach to building a cross-chain execution environment.
-
-Unless explicitly mentioned, you may assume that documentation and examples in the remaining sections are written with on-chain execution in mind.
+Early specifications for the [Valence ZK System](./../zk/_overview.md). We aim to move as much computation off-chain as possible since off-chain computation is a more scalable approach to building a cross-chain execution environment.