Documentation
What is InferaDB?
Understand InferaDB's approach to authorization — graph-based, Zanzibar-inspired, cryptographically verifiable.
Quick Start
Run InferaDB locally and make your first authorization check in under 5 minutes.
Core Concepts
Entities, relationships, permissions, revision tokens, and multi-tenancy.
Modeling Guide
Design a complete authorization schema for a real application, step by step.
Dashboard
Visual policy editor, relationship graph explorer, and decision simulator.
Troubleshooting
Debug unexpected ALLOW or DENY results with diagnostic commands and common fixes.
IPL Overview
Define entities, relationships, and permissions with the Infera Policy Language.
Schema Reference
Complete syntax reference — keywords, expressions, evaluation semantics, and AST.
WASM Modules
Extend authorization with sandboxed WebAssembly for custom domain logic.
Schema Patterns
Reusable authorization patterns — team access, multi-level inheritance, conditional permissions, and more.
Rust SDK
Type-safe, async-first client with MockClient and InMemoryClient for testing.
TypeScript SDK
Node.js 18+ with Express and Next.js middleware integrations.
Go SDK
Context-aware client with net/http middleware and gRPC interceptor.
Python SDK
Async and sync clients with FastAPI and Django integrations.
Java SDK
Fluent builder pattern with Spring Boot and Spring Security integration.
.NET SDK
ASP.NET Core authorization policies and dependency injection.
PHP SDK
Laravel middleware, Gate integration, and Symfony Voter.
Ruby SDK
Rails controller concern with initializer-based configuration.
Elixir SDK
OTP supervision tree client with Phoenix Plug and LiveView.
C/C++ SDK
Stable C ABI with C++20 RAII wrapper. Built on Rust via cxx.
System Overview
Three services — Engine, Control, Ledger — and how they fit together.
Engine
Authorization evaluation, graph traversal, caching, and WASM sandbox.
Control Plane
Tenant administration, authentication, token issuance, and audit logs.
Ledger
Per-vault blockchain, Raft consensus, Merkle proofs, and B+ tree storage.
Local Development
Start a complete stack with inferadb dev start.
Docker
Container images, configuration, and compose setups.
Kubernetes
Helm charts, multi-region, Talos Linux, and Cilium networking.
Configuration
Environment variables, YAML config, and CLI flags for all services.
Observability
Prometheus metrics, OpenTelemetry tracing, structured logging.
Terraform Provider
Manage organizations, vaults, clients, and teams as code.
CLI Reference
Check permissions, manage schemas, simulate access, and run diagnostics.