Seal DAO
Pre-mainnet — private testnet 'deployed' [WORK IN PROGRESS]

SQL on a post-quantum blockchain

The web3 backend for SQL-based applications. 99% of websites that matter run on SQL. Seal gives them decentralization, privacy, and post-quantum security — without changing how they work.

# Deploy your app
seal app deploy --name myapp.seal --schema schema.sql

# Query from anywhere
seal sql "SELECT * FROM myapp.users" --node http://node:8545

# Your schema.sql is just PostgreSQL
CREATE TABLE users (
  id BIGINT PRIMARY KEY,
  email TEXT NOT NULL,
  balance BIGINT DEFAULT 0
);
Get Started GitHub

Post-Quantum Crypto

ML-DSA-65, ML-KEM-768, SHA3-256. NIST-standardized. Future-proof against quantum computers. No classical crypto on-chain.

PostgreSQL-Compatible SQL

CREATE TABLE, INSERT, SELECT, JOIN, WHERE. Row-level security with CREATE POLICY. Your existing SQL skills work here.

Three Privacy Levels

Public tables, RLS-protected tables, and private tables encrypted at rest. MPC aggregates and ZK proofs for private data access.

Namespace Sharding

Each app gets its own shard. Nodes choose which namespaces to serve. Scales horizontally as the network grows.

Verifiable Queries

Every query result is backed by a Merkle proof against the state root. ZK proofs via RISC Zero / SP1 for privacy-preserving verification.

On-Chain DEX

Built-in limit order book. Create custom tokens, trading pairs, and place orders. All signed with ML-DSA-65.

What Seal adds to SQL websites

TodayWith Seal
You manage your own database serversThe network manages replication for you
You build auth from scratchCryptographic identity built-in (ML-DSA)
You trust your hosting provider with your dataData encrypted at rest, verified by math
You hope your backups workReplication across multiple nodes by default
Users trust you not to tamper with dataMerkle proofs and ZK proofs verify everything
Vulnerable to quantum computers (eventually)Post-quantum from day one (ML-DSA, ML-KEM, SHA3)
Locked to a cloud vendorDecentralized, no single point of failure

Wallet & Tools

All signing with ML-DSA-65 post-quantum signatures. SQL, tokens, DEX, MPC, ZK proofs.

Desktop Wallet — SQL queries
Desktop wallet: wallet, node connection, SQL query results
MPC Aggregates & ZK Proofs
MPC sum aggregate and ZK proof generation
Tokens & DEX Order Book
Token creation, minting, DEX limit order book with depth visualization
TUI Wallet — Terminal
TUI wallet: restore, connect, place order, colored order book

Network status

804

Tests passing

16

Kani proofs

9

Fuzz targets

0

CVEs audited

Quick Start

Build from source

git clone https://github.com/SealProjectDAO/seal-dao-public.git
cd seal-dao-master
cargo build --release -p seal-node -p seal-cli

Start a node

./target/release/seal-node --slots 0 --rpc-port 8545

Runs forever, serves JSON-RPC on port 8545.

Query via CLI

seal-cli sql "SELECT * FROM users" --node http://localhost:8545
seal-cli sql "INSERT INTO users VALUES (3, 'charlie', 750)" --node http://localhost:8545

Query via curl

curl -s localhost:8545 -H "Content-Type: application/json" \
  -d '{"jsonrpc":"2.0","method":"seal_querySql",
       "params":{"sql":"SELECT * FROM users"},"id":1}'

RPC API

MethodAuthDescription
seal_querySqlNoExecute a read-only SQL query
seal_submitSqlML-DSASubmit a write (INSERT/UPDATE/DELETE/CREATE)
seal_getHeightNoGet current block height
seal_getStateRootNoGet current state root hash
seal_getBlockNoGet block by height
seal_deployNamespaceML-DSADeploy a new app namespace
seal_createTokenML-DSACreate a custom token
seal_mintTokenML-DSAMint tokens to an address
seal_createPairML-DSACreate a DEX trading pair
seal_placeOrderML-DSAPlace a limit order (bid/ask)
seal_getOrderBookNoView order book depth
seal_mpcAggregateOptionalRun MPC aggregate on private data
seal_zkProveOptionalGenerate ZK proof (RISC Zero / SP1)

SQL Reference

PostgreSQL-compatible subset. Your existing SQL works.

Supported

CREATE TABLE, DROP TABLE
INSERT, UPDATE, DELETE
SELECT with WHERE, ORDER BY, LIMIT
JOIN (INNER, LEFT)
BIGINT, TEXT, BOOLEAN
PRIMARY KEY, NOT NULL, DEFAULT
CREATE POLICY (RLS)
CREATE NAMESPACE

Coming soon

ALTER TABLE
CREATE INDEX
Subqueries
Aggregate functions (SUM, AVG, COUNT)
  via MPC for private tables
GROUP BY, HAVING
Foreign keys
Views

Run a Validator

Algorand-style consensus: VRF leader election + committee voting. No mining, no GPUs.

RequirementMinimumRecommended
CPU4 cores8 cores
RAM16 GB32 GB
Storage500 GB NVMe1 TB NVMe
Network100 Mbps1 Gbps
Stake1,000 SEAL10,000+ SEAL

Setup

# Build
cargo build --release -p seal-node

# Start validator
./target/release/seal-node --slots 0 --port 4001 --rpc-port 8545 \
  --bootstrap-peers /dns4/boot1.seal-dao.network/tcp/4001

Economics

Block Rewards

Emission: 10% year 1, declining to 2% floor. Split between block proposer and committee.

Fee Revenue

Dynamic fees (planned). 50% burned, 50% to proposer. High usage = deflationary.

Slashing

Double-propose or double-vote (planned) = stake slashed. 21-epoch unbonding period.

Three-Body Governance

Token House

SEAL token holders. Vote on proposals with conviction voting (7 tiers). Delegation with 4% per-delegate cap.

Technical Council

7-11 members. Whitelist emergency proposals, veto dangerous changes. Term-limited.

Service Operators

Active validators. Advisory endorsement on operational proposals. SLA-based veto power.

Proposal Tracks

TrackApprovalQuorumTimelock
Runtime Upgrade75%50%7 days
Treasury Spend60%40%3 days
Parameter Change66%33%2 days
Community Grant50%25%1 day
Emergency90%67%None
Text / Signal50%10%None

Documentation

WORK IN PROGRESS

Formal Verification

ToolWhat it provesStatus
Lean 4Merkle tree invariants, VRF uniqueness0 sorries
Rocq/CoqToken conservation, RLS non-bypass, SQL transitions0 Admitted
KaniOverflow, bounds, arithmetic (16 harnesses)All pass
MiriUndefined behavior detectionPass
cargo-fuzzCrash-free on random input (9 targets)0 crashes
TLA+Consensus safety and livenessSpec + trace

Crate Map

CratePurpose
seal-cryptoML-DSA, ML-KEM, SHA3, address derivation
seal-vrfPQ-VRF, LaV many-time VRF, lattice VRF
seal-thresholdRingtail lattice threshold signatures, NTT, Shamir
seal-consensusVRF election, committee voting, fork choice, epochs
seal-sqlSQL parser, engine, RLS, namespaces
seal-merkleMerkle tree, persistent RB-tree indexes
seal-storageBlock store, state pruning, HAMT
seal-tokenStaking, fees, emission, treasury, governance
seal-p2plibp2p GossipSub, mDNS, ML-KEM transport
seal-zkRISC Zero, SP1, GPU acceleration, batch proofs
seal-mpcSPDZ private aggregation, PSI
seal-bridgeSolana + Stellar bridge observers
seal-nodeNode binary, RPC server, disk persistence
seal-cliCLI: dev, demo, sql, migrate, app deploy

Community

GitHub

Source code, issues, pull requests. 17 crates, 804 tests, formal verification.

Discord

Developer chat, validator coordination, governance discussion. Coming soon

Twitter / X

Announcements, releases, ecosystem updates. Coming soon

Contributing

# Clone and build
git clone https://github.com/SealProjectDAO/seal-dao-public.git
cd seal-dao-master
cargo build && cargo test

# Run the full verification suite
./scripts/ci.sh quick    # build + 804 tests + clippy
./scripts/ci.sh          # + Kani + Miri + fuzz + audit

See BUG-BOUNTY.md for the security bounty program.