Nada Language

Language components: Nada, the Nada compiler, and a Nada programs

Overview

The Nillion Network leverages Nada, our MPC language, for defining MPC programs. Our initial implementation of Nada comes in the form of Nada, a Python DSL (Domain Specific Language).

The Nada language is:

  • Strongly typed: every variable and expression has a specific type that is checked at compile time to prevent common errors such as type mismatches.
  • Correctness-oriented: Nada has features including type-checking and static analysis built into the compiler.
  • Compiled: Nada is a compiled language with different stages.

Nada Language Components

📄️ Data Types

Overview of the primitive and the compound Nada data types.

📄️ Built-In Operations

Overview of the primitive and the array Nada operations.

🗃️ Programming with Nada

5 items.

🗃️ Nada Libraries

3 items.

📄️ Nada by Example