vac:acz:nes:2025q2-nescience-consulting

Creating research documents and specifications for Nescience architecture

Description

ACZ offers review consulting services to Nescience, acting as a bridge between Nescience researchers and engineers, facilitating faster and more efficient communication between the two groups.

By utilizing the Nescience Consulting commitment,

we will reinforce the Conduit of Expertise narrative by:

  • The Nescience specifications will be reviewed and refined from an engineering perspective.
  • Addressing any potential gaps in the architecture, whether theoretical or practical, if any are identified
  • Improve communication between Nescience researchers and developers.

We will also strengthen the Premier Research Destination narrative by:

  • This will enable the Nescience project to be more effectively integrated and introduced into the ecosystem.

Task List

Unifying 2025q1 Documents

  • fully qualified name: vac:acz:nes:2025q2-nescience-consulting:unifying-q1-docs
  • owner: Marvin
  • status: done
  • start-date: 2024/05/05
  • end-date: 2025/05/20

Description

Nescience has many unstructured documents from 2025q1, this task entails creating a single document that covers all these new ideas by removing recurring topics. Also, it includes creating a table for each document which topics we include or exclude.

Deliverables

  • A notion page that consists of a single unified doc
  • A table that shows which topics we include or exclude
  • A notion page that shows decisions need to be made

SE/DE improvements

  • fully qualified name: vac:acz:nes:2025q2-nescience-consulting:SE-DE-improvements
  • owner: Marvin
  • status: done
  • start-date: 2024/05/21
  • end-date: 2025/06/04

Description

In Q1, shielded executions were a primary focus. In this task, we focus on improvements to deshieldedd executions. Specifically,

  • Examine deshielded execution kernel circuit for optimisations.
  • Design and prototype a mechanism that applies deshielded execution’s results to the public state in a consistent and verifiable manner.
  • For both DE and SE, design sample transactions to example edge cases (concurrent updates to same public account, ordering issues).

This directly corresponds to Nescience’s Q2-R2 task.

Deliverables

  • RFC style documents for SE/DE

Light user support in NSSA

  • fully qualified name: vac:acz:nes:2025q2-nescience-consulting:light-users
  • owner: Marvin
  • status: started (70%)
  • start-date: 2024/06/03
  • end-date: 2025/06/11

Description

Light user support is essential for NSSA adoption. This ensures a wide range of users can participate within NSSA. It is necessary to ensure that light users can enjoy the same level of NSSA privacy guarantees as any other users. To this end, we will examine privacy transactions (private, SE, DE) for light users. Specific analysis should include:

  • Investigate how other projects handle light user proof generation.
  • Potential privacy risks relying on a third party to run zkVM.
  • Investigate whether light users can practically compute portions of the proof locally to strengthen privacy.
  • Design protocol or mitigations (of current circuits) for outsourcing zkVM execution.

Ties directly with NSSA’s task Q2/R4.

Deliverables

  • Document covering private, SE, DE transactions performed by light users with analysis on any privacy or security compromises.