Skip to content

Main Navigation Home

Appearance

Sidebar Navigation

Overview

Welcome to Essential

Learn

Declarative vs Imperative

Programming

Imperative Pitfalls

Sub-optimal Outcomes

Execution Bottleneck

Early Declarative Applications: "Intents"

A Declarative Blockchain

What is a Declarative Blockchain?

Criterion 1

Criterion 2

Advantages

Landscape

Build

Getting Started

Installation

Nix

Crates IO

Components

Example

Pint

New Project

Define Storage

Write Predicate

Compile

Deploy and Solve

Cargo Project

Setup

Develop

Dependencies

ABI Generation

Keys

Extract Count

Create Solution

Increment

Review

Test

Generate Address

Deploy Contract

Read Count

Increment Count

Build Block

Competing Solutions

Review

Rust CLI

Dependencies

Generate Address

Args

Query Count

Run

Review

Interact with Testnet

Protocol

Overview

Core Components

Contracts

Predicates

Constraints

User Data

Solutions

Applications

Pint

Quickstart Guide

Contracts

Predicates

Constraints

Programming Concepts

Variables

Data Types

Comments

Conditionals

Custom Types

Type Aliases

Unions

match Construct

Constraints

Constants

Storage

Statically-Sized Storage

Dynamically-sized Storage

External Storage

Managing Growing Projects

Pint Projects

Defining Modules

Paths for Referencing Item in Module Tree

Bringing Paths into Scope

Advanced Features

Invoking Predicates

Macros

Examples

Counter

Subcurrency

Reference

Commands

Manifest

Appendix

Keywords

Compiler Intrinsics

ABI Specification

Constructing Solutions Using the ABI

Storage Keys Assignment

Known Issues and Missing Features

On this page

Core Components

Loading content...

Loading content...

Loading content...

Loading content...

Pager

Previous pageOverview

Next pageContracts