vac: nes roadmap update

content/vac/nes/index.md

@@ -1,11 +1,11 @@
 ---
 title: Nescience Incubation Project
-description: Zero-knowledge Virtual Machine
+description: Nescience Zero-knowledge Virtual Machine Environment
 tags:
 - zkvm
 - vac
 date: 2023-08-25
-lastmod: 2024-05-22
+lastmod: 2024-06-20
 ---
 
 ### `vac:nes:state-separation`
@@ -20,8 +20,8 @@ lastmod: 2024-05-22
 * [[vac/nes/proofsystems/vac/research-existing-proofsystems|research-existing-proofsystems ]]
 * [[vac/nes/proofsystems/vac/benchmarks|benchmarks]]
 
-### `vac:nes:virtual-machine-creation`
-* [[vac/nes/virtual-machine-creation/vac/vm-foundations|vm-foundations ]]
+### `vac:nes:zkvm`
+* [[vac/nes/zkvm/vac/vm-foundations|vm-foundations ]]
 
 
 

content/vac/nes/state-separation/vac/state-separation-architecture-01.md

@@ -120,15 +120,11 @@ focusing on privacy enhancement, we can break down the milestone into distinct s
 
   **Deliverables:** A prototype showcasing the implementation of decoy inputs, accompanied by evaluation results highlighting their impact on privacy enhancement.
   
-* Sub Milestone 4 (Q4 2024): TDAG & PDAG Integration for Privacy Enhancement 
+* Sub Milestone 4 (Q4 2024): Nescience devnet deployment
 
-  **Work Breakdown:** Use Transaction Directed Acyclic Graphs (TDAGS) and Private Directed Acyclic Graphs (PDAGs) for a comparative analysis of the Nescience architecture's privacy features. The main idea is to implement PDAGs to improve unlinkability and untraceability within the project, enhancing privacy features. This can be done by developing and integrating PDAG structure, oncluding data structures, algorithms and the integration mechanism with the existing system; by conducting thorough testing of the PDAG implementation to identify issues or areas of improvements; and by monitoring its performance and impact on privacy enhancement.
-
-  **Deliverables:**
-    * Report on PDAG reearch and analysis.
-    * PDAG integration technical specifications and design documents.
-    * A functioning PDAG implementation with testing reports.
-    * Documentation on PDAG privacy improvements and security analysis.
+  **Work Breakdown:** Add (simplified) missing components to the zkVM and state separation components to get a working Nescience devnet.
+                      These components comprise p2p communication.
+  **Deliverables:** A Nescience devnet showcasing Nescience node interaction.
 
 ### Risks
 

content/vac/nes/state-separation/vac/state-separation-architecture-02.md

@@ -37,7 +37,17 @@ contiunation of `vac:nes:state-separation:vac:state-separation-architecture-02`
 
 ### Work Breakdown and Deliverables
 
-* Sub Milestone 1 (Q2 2025): Kernel-based Architecture Implementation
+* Sub Milestone 1 (2025): TDAG & PDAG Integration for Privacy Enhancement 
+
+  **Work Breakdown:** Use Transaction Directed Acyclic Graphs (TDAGS) and Private Directed Acyclic Graphs (PDAGs) for a comparative analysis of the Nescience architecture's privacy features. The main idea is to implement PDAGs to improve unlinkability and untraceability within the project, enhancing privacy features. This can be done by developing and integrating PDAG structure, oncluding data structures, algorithms and the integration mechanism with the existing system; by conducting thorough testing of the PDAG implementation to identify issues or areas of improvements; and by monitoring its performance and impact on privacy enhancement.
+
+  **Deliverables:**
+    * Report on PDAG reearch and analysis.
+    * PDAG integration technical specifications and design documents.
+    * A functioning PDAG implementation with testing reports.
+    * Documentation on PDAG privacy improvements and security analysis.
+
+* Sub Milestone 2 (2025): Kernel-based Architecture Implementation
 
   **Work Breakdown:** Develop a kernel-based framework for verifying private function executions accurately, using a recursive SNARKs approach to build and validate a call stack. This is to ensure robust proof of execution sacrificing computational resources (raising gas fees due to the intensive nature of generating SNARK proofs and handling recursive computations). We will focus on balancing the precision of recursive verification with its computational costs, aiming for a system that guarantees the integrity of private functions while managing resource use efficiently.
 
@@ -48,7 +58,7 @@ contiunation of `vac:nes:state-separation:vac:state-separation-architecture-02`
    * Establishment of a maximum recursion depth with enforcement mechanisms to prevent computational overflow.
    * A fully integrated recursive verification system with extensive testing to ensure functionality, security, and performance under varied conditions.
   
-* Sub Milestone 2 (Q3 2025): Seamless Interaction Design
+* Sub Milestone 3 (2025): Seamless Interaction Design
 
   **Work Breakdown:** Address the challenge of potential information leakage between private and public transactions by ensuring composability between contracts and secure integration of functions. Moreover, we would like to be able to create secure channels for contract composability and interaction layers that prevent private data exposure by implementing strategic safeguards against information leakage.
 
@@ -58,7 +68,7 @@ contiunation of `vac:nes:state-separation:vac:state-separation-architecture-02`
    * Fragmentation of data across shards for private interaction.
   
 
-* Sub Milestone 3 (Q4 2025): Virtual Machine Creation
+* Sub Milestone 4 (2025 / 2026): zkVM deployment
 
    **Work Breakdown:**  Our aim is to deploy our work in progress state separation architecture within a privacy-first zero knowledge virtual machine since it places an emphasis on privacy enhancements (which we need for our privacy-first zkVM).