Nada Language

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

2 items

📄️ Nada by Example