πŸ“– Trident Reference

← Documentation Index

Canonical reference for all Trident design decisions. If reference docs and code disagree, the reference wins.


Language Reference

language.md β€” the complete language in one file, 16 sections.

Language

# Section What it covers
1 Programs and Modules program, module, use, visibility, project layout
2 Types Field, Bool, U32, Digest, arrays, tuples, structs, widths
3 Declarations Functions, size generics, structs, events, constants, I/O
4 Expressions and Operators Arithmetic, comparison, bitwise, field access, indexing
5 Statements Let, assignment, if/else, for, match, return
6 Builtin Functions I/O, field math, U32 ops, assertions, memory, hash, os.*
7 Attributes #[cfg], #[test], #[pure], #[requires], #[ensures]
8 Memory Model Stack (16 slots), RAM (word-addressed), no heap
9 Inline Assembly asm blocks, target-tagged, stack effect annotations
10 Events event declaration, reveal (public), seal (committed)
11 Type Checking Rules No implicit conversions, exhaustive match, purity
12 Permanent Exclusions What Trident will never add, and why

Provable Computation

# Section What it covers
13 Sponge sponge_init, sponge_absorb, sponge_squeeze
14 Merkle Authentication merkle_step, Merkle path verification
15 Extension Field XField type, *. operator, dot-step builtins
16 Proof Composition proof_block, STARK-in-STARK recursion

Other Core Reference

Document Description
Grammar Complete formal grammar (EBNF)
Intermediate Representation TIR operations (54 ops, 4 tiers), lowering paths
Target Reference OS model, target profiles, cost models

Token Standards

Document Description
PLUMB Framework Shared token framework: config, auth, hooks, proof envelope, security
TSP-1 β€” Coin Divisible asset standard. Conservation: sum(balances) = supply
TSP-2 β€” Card Unique asset standard. Conservation: owner_count(id) = 1

Platform Reference

Document Description
VM Reference Virtual machine architecture and instruction sets
OS Reference Operating system model and bindings
Standard Library std.* modules (field, token, nn, private, quantum, ...)
Atlas Registry On-chain package registry: model, resolution, CLI, wire protocol
Skill Reference All 23 skills: spec tables, recipes, hook IDs, glossary

Per-target specs live alongside their config:

  • OS Registry β€” os/{name}/README.md for each of 25 OSes
  • VM Registry β€” vm/{name}/README.md for each of 20 VMs

Tools

Document Description
CLI Reference Command-line interface
Agent Briefing Compact format for AI code generation

Error Catalog

Error Catalog β€” all diagnostics, organized by category:

Category Description
Lexer Tokenization errors
Parser Syntax errors
Types Type checking errors
Builtins Builtin type errors
Control Flow Loop, match, if/else errors
Modules Import and module resolution
Events Event declaration and emission
Annotations Attribute and annotation errors
Assembly Inline assembly errors
Size Generics Parameterized size errors
Targets Target compatibility errors
Warnings Non-fatal diagnostics
Hints Optimization suggestions

Dimensions

reference
reference of go-cyber lcd api in [swagger docs](https://lcd.bostrom.cybernode.ai) cyber cli tool is a reference for operations related transactions bostrom/api
nebu/reference
nebu specification canonical reference for the Goldilocks prime field, its arithmetic, and its hardware. spec pages | page | defines | |------|---------| | field | prime, elements, arithmetic, properties, why Goldilocks | | ntt | Number Theoretic Transform, roots of unity, butterfly, Cooley-Tukey |…
bbg/reference
reference
rs/reference
Rs Reference Primitives | # | Primitive | Reference | Type | |---|-----------|-----------|------| | 1 | [Typed Registers](/rs-reference-registers) | `#[register]` | Compiler (800L) | | 2 | [Bounded Async](/rs-reference-async) | `async(duration)` / `#[bounded_async]` | Proc-macro (200L) + rsc lint…
hemera/reference
Hemera: A Permanent Hash Primitive for Planetary-Scale Collective Intelligence | field | value | |----------|--------------------------------| | version | 1.0 | | status | Decision Record | | authors | mastercyb, Claude (Anthropic) | | date | February 2026 | Abstract Hemera is the cryptographic…
zheng/reference
zheng reference precise definitions, parameters, APIs, and constraint costs for each component zheng implements. these pages answer "what exactly is X" β€” the spec you consult when implementing or auditing. for intuition, motivation, and learning paths see…
nox/reference
nox reference canonical specification of the nox virtual machine. this is the source of truth β€” when code and reference disagree, fix reference first, then propagate to code. specifications | page | scope | status | |------|-------|--------| | vm.md | overview, field (nebu), hash (hemera),…

Pages in this namespace

Local Graph