# WeaveDB

## Docs

- [Litepaper](/litepaper): ![](/images/weavedb-litepaper.png)
- [arjson](/api/arjson)
- [fpjson-lang](/api/fpjson-lang): [FPJSON](https://fpjson.weavedb.dev) is a programming language agnostic JSON-based functional programming language.
- [FPJSON](/api/fpjson-lang): [FPJSON](https://fpjson.weavedb.dev) is a programming language agnostic JSON-based functional programming language.
- [monade](/api/monade): `monade` is a language agnostic framework to build [monadic](https://en.wikipedia.org/wiki/Monad_\(functional_programming\)) compute pipelines, which is by far the cleanest representation of complex logic.
- [wdb-cli](/api/wdb-cli): `wdb-cli` lets you build and test WeaveDB instances in memory.
- [wdb-core](/api/wdb-core): `wdb-core` provides the composable devices internally used to build data pipelines.
- [wdb-sdk](/api/wdb-sdk): `jwk` : signer Arweave wallet JWK
- [zkjson](/api/zkjson): Encode / Decode JSON
- [Advanced Start with ZK](/build/advanced-start): In this advanced tutorial, you will build a database for a social dapp with zk circuits, and query it from Ethereum, as well as AO.
- [Auth Rules](/build/auth): One big constraint of FPJSON is we can only do pure functional programming with [point-free style](https://en.wikipedia.org/wiki/Tacit_programming), which means functions cannot have arguments. Functional programming is extremely powerful, but pure FP sometimes makes it overly complicated and impractical to build a simple logic.
- [Indexes](/build/indexes): Single-field indexes are automatically generated, but multi-field compound indexes need to be added by the DB admin before dirs can be accessed with complex queries.
- [Quick Start](/build/quick-start): WeaveDB on HyperBEAM is currently in early development.
- [Data Schemas](/build/schemas): It's essential to set a precise data schema and access controls to each collection as otherwise WeaveDB is permissionless and anyone can put arbitrary data.
- [Database Structure](/build/structure): The entire WeaveDB instance is represented as a self-contained gigantic JSON. Top-level keys are `dirs`, which contain a collection of `docs`. Self-contained means all the configurations and bookkeeping of the internal state are also within this JSON, which makes every aspect of the database verifiable by zero-knowledge proofs.
- [Triggers](/build/triggers): You can have one query trigger another query.
- [Httpsig Bundler Node](/ops/bundler): Clonne the repo.
- [Compute Unit](/ops/cu): Clonne the repo.
- [HyperBEAM Node](/ops/hyperbeam): Clonne the repo.
- [Setting Up Remote Server Domains](/ops/remote-servers): Modern browsers block communications between `http` and `https`. To provide public services, you need to set up remote domains with SSL certificates.
- [DB Rollup Node](/ops/rollup): Clonne the repo.
- [WeaveDB Scan](/ops/scan): Clonne the repo.
- [Scheduler Unit](/ops/su): Clonne the repo.
- [Validator Node](/ops/validator): Clonne the repo.
- [ZK Prover Node](/ops/zkp): Clonne the repo.
- [WDB160 Universal Hash Function](/specs/wdb160): WDB160 is a **deterministic hash function** that generates 160-bit identifiers from any combination of inputs. It creates consistent, collision-resistant document IDs for WeaveDB while maintaining compatibility with blockchain addresses and cross-chain applications.
- [WDB20 Fungible Token](/specs/wdb20): WDB20 is a **database-native fungible token standard** that brings ERC20-like functionality directly into WeaveDB and other database systems. Unlike traditional blockchain tokens, WDB20 tokens exist as structured data within databases, enabling seamless integration with database operations while maintaining the familiar fungible token interface.
- [WDB23 Universal Address Format](/specs/wdb23): WDB23 is a **23-byte universal address format** that provides a unified way to represent wallet addresses from any blockchain. It solves the critical problem of using blockchain addresses as document IDs in WeaveDB while maintaining human readability and cross-chain compatibility.
- [WDB64 Timestamp](/specs/wdb64): WDB64 is a **deterministic timestamp system** that generates unique 64-bit timestamps for WeaveDB transactions. It ensures every document has a distinct timestamp by combining millisecond precision with transaction counting, eliminating sorting ambiguity in concurrent operations.
- [AI3 - AI Owned Tokenomics Framework](/tech/ai3): ![](/images/ai3.png)
- [ARJSON](/tech/arjson): ![](/images/arjson.png)
- [FPJSON (Functional Programmable JSON)](/tech/fpjson): ![](/images/fpjson.png)
- [Monade - Mathematical Explanation](/tech/monade): A monad is a type constructor `M` with two operations:
- [zkDB (Zero-Knowledge Provable Database)](/tech/zkdb): Once we get zkJSON, we can build a database structure with zkJSON as base building blocks.
- [zkJSON (Zero Knowledge Provable JSON)](/tech/zkjson): ![](/images/zkjson.jpeg)
- [$DB Tokenomics](/tokenomics/allocation): **$DB** is the base currency of WeaveDB and the foundation of the **Verifiable Data Economy**. It powers queries, validator staking, operator incentives, and serves as collateral for application-level tokens. In this model, **verifiable data is the new currency**.
- [Database Launch Architecture](/tokenomics/db-launch): This document explains how individual databases launch their application-specific tokens using $DB as collateral, creating sustainable economic incentives for database development and operation.
- [WeaveDB Tokenomics: Complete Mathematical Verification](/tokenomics/formal-verification): *A rigorous mathematical proof that WeaveDB's tokenomics achieve sustainable growth and realistic price stability under normal operating conditions*
- [WeaveDB Tokenomics - Complete Mathematical Specification](/tokenomics/math): *A formally verified mathematical framework for sustainable tokenomics with DEX integration, yield programs, and liquidity planning*
- [Protocol-Owned AI Agent (PoAIA) - Complete Specification](/tokenomics/poaia): *A mathematically-verified autonomous controller that minimizes USDC requirements while maintaining price floors through just-in-time buybacks with realistic budget constraints*
- [$DB Token Utilities](/tokenomics/utilities): ![Token Flow Diagram](/images/tokenomics-5.png)