# ENC Dev Docs

## Docs

- [Production Deployment Guide](/deploy): Deploy an ENC node to Cloudflare Workers.
- [Local Build and Test Guide](/local): **Node.js 20+** and **Yarn**
- [Verification Manifest](/verify): Deterministic hash chain from Lean spec → codegen → generated code → deployed node.
- [@enc-protocol/app-store](/utils/app-store): App store for Android APKs and Chrome extensions on Cloudflare Workers. Ed25519 auth — only you can publish.
- [@enc-protocol npm registry](/utils/npm): Private npm registry for `@enc-protocol/*` packages. Runs on a single Cloudflare Worker + KV namespace. Auth via Ed25519 signed tokens.
- [ENC Protocol Specification](/spec): **ENC** (encode, encrypt, enclave) is a protocol for building **log-based, verifiable, sovereign data structures** with **Role-Based Access Control (RBAC)**.
- [1. Overview](/spec): **ENC** (encode, encrypt, enclave) is a protocol for building **log-based, verifiable, sovereign data structures** with **Role-Based Access Control (RBAC)**.
- [2. Cryptographic Primitives](/spec): **Append-only event log** — immutable sequence of finalized events
- [3. Core Concepts](/spec): **Append-only event log** — immutable sequence of finalized events
- [4. Event Lifecycle](/spec): **Append-only event log** — immutable sequence of finalized events
- [5. RBAC](/spec): **Append-only event log** — immutable sequence of finalized events
- [6. Enclave State](/spec): **Append-only event log** — immutable sequence of finalized events
- [7. Predefined Events](/spec): **Append-only event log** — immutable sequence of finalized events
- [8. Registry](/spec): **Append-only event log** — immutable sequence of finalized events
- [9. Migration](/spec): **Append-only event log** — immutable sequence of finalized events
- [10. Node API](/spec): **Append-only event log** — immutable sequence of finalized events
- [11. Templates](/spec): **Append-only event log** — immutable sequence of finalized events
- [Appendix A: Design Patterns](/spec): **Append-only event log** — immutable sequence of finalized events
- [Appendix B: Event Type Registry](/spec): **Append-only event log** — immutable sequence of finalized events
- [Node API](/spec/node-api): REST and WebSocket API for ENC protocol nodes.
- [Appendix](/spec/node-api): [Overview](#overview)
- [Cryptographic Proofs](/spec/proof): This document specifies proof formats for the ENC protocol.
- [RBAC System Design](/spec/rbac-v2): **Version**: 2.0 (redesign)
**Status**: Design
**Supersedes**: spec.md RBAC section, task 002/003 RBAC designs
- [Sparse Merkle Tree (SMT)](/spec/smt): This document specifies the implementation details for the Enclave State SMT referenced in the main protocol spec.
- [DM Enclave — RBAC v2](/spec/app/dm): **Status**: Design
**Based on**: [rbac-v2.md](/spec/rbac-v2)
- [Group Chat Enclave — RBAC v2](/spec/app/group): **Status**: Design
**Based on**: [rbac-v2.md](/spec/rbac-v2)
- [Personal Enclave — RBAC v2](/spec/app/personal): **Status**: Design
**Based on**: [rbac-v2.md](/spec/rbac-v2)
- [@enc-protocol/client — API Reference](/sdk/client): Complete API reference for `@enc-protocol/client@0.2.0`, the network client package for the ENC Protocol. Provides HTTP, WebSocket, session management, wallet utilities, and a high-level SDK interface.
- [@enc-protocol/cloud — SDK Reference](/sdk/cloud): Client SDK for the ENC Cloud provisioner. Manages tenants, enclaves, billing, and faucet.
- [@enc-protocol/core — API Reference](/sdk/core): Complete API reference for `@enc-protocol/core@0.2.0`, the protocol primitives package for the ENC Protocol. All code is generated from the Lean 4 DSL and formally verified (282 theorems). Do not edit the source files directly.
- [Production Deployment Guide](/saas/deploy): The provisioner uses **service bindings** to call the node and testnet Workers directly (no public URL fetch between Workers on the same account).
- [Local Development Guide](/saas/local): Node.js 20+
- [EncDSL v4 — Language Reference](/dsl/reference): Complete specification. Every construct, every compilation rule, every primitive.