Everything AT-1 does — in one place.
One verified-lossless engine, the capabilities it unlocks, the products built on it, and the industry solutions — each linking to its own page and docs. Lost? Start here.
The Engine
13 →One verified-lossless container — and everything the core can do with your bytes. This is the foundation every product is built on.
Verified-lossless core
Byte-exact reconstruction with a SHA-256 gate and a non-inferiority guarantee — never larger than gzip/zstd/xz.
Open →Query in place
Run SQL predicates + projections straight against the compressed file — decode only the blocks a query touches.
Open →Format-aware compression
Typed columnar codec (qcolumnar / qjson) with zone-maps and pushdown for tables, CSV, JSON and logs.
Open →ATLAS format
The compression-native, self-describing typed format — declarable structure compiles to near-zero bytes.
Open →Derived-column eliminator
NewAuto-discovers columns that are functions of others (Total = A + B) and stores the rule, not the column — byte-exact.
Open →Graph & set coder
NewCompresses order-free data (graph edges, posting lists, port/ID sets) by omitting the arbitrary order — losslessly.
Open →Adaptive compression
Picks the best transform per stream and is provably never-worse than the strongest general coder.
Open →Bounded mode (lossy)
Auditable error-bounded lossy with a signed certificate — when exactness isn't required but accountability is.
Open →Generative compression
Stores the generating rule, not the output — large wins on rule-governed, synthetic and procedural data.
Open →Deterministic replay
NewStore the recipe (generator + seed + params), not the trace — regenerate byte-exact at decode. ~10^5× vs xz on seeded sims/synthetic datasets, never-worse fallback.
Open →Video container
Lossless, verifiable video container with addressable, queryable frames.
Open →Per-record erasure
Crypto-erase one subject's record on demand with a signed certificate — GDPR / POPIA right-to-deletion.
Open →Tamper-evidence
Embedded integrity the decoder re-checks on every read; pinpoints exactly what changed.
Open →Products
17 →Turn-key products built on the engine — compressed, queryable, verifiable, and erasable, ready for a specific job.
AT-1DB
NewThe verified-lossless generative database: query in place, erase per-record, verify every answer, plus generative recall / forecast / anomaly — 30% smaller than Parquet, 13× less query I/O.
Open →AI Prompt Compiler
NewA drop-in proxy that strips repeated content from LLM prompts before they're sent — fewer tokens, identical answers. Up to 62% on repeated chat context, ~5.5× on PDFs.
Open →Regulated Archive
Compressed + queryable + tamper-evident + per-subject erasable in one bundle — the flagship compliance archive.
Open →AT-1 Ledger
Verified append-only event store: hash-chained frames you can append, query, aggregate, verify and tamper-pinpoint.
Open →AI Evidence Vault
AI-Act record-keeping: a verifiable, queryable archive of model evidence and decisions.
Open →AI Evidence Capsule
A portable, tamper-evident capsule of an AI interaction — reproducible and addressable.
Open →Predictive Diagnostics
Label-free machine-health screening straight from the compressor's residual — CMMS alerts included.
Open →Live Risk-Tape
A validated market-stress index derived continuously from compressibility.
Open →Living AI
A grounded generative knowledge base packed into a verified, addressable container.
Open →Verified Model Runtime
NewRun any model from one self-describing, SHA-256-verified container — pack / run / serve, every weight integrity-checked on load. OpenAI-compatible.
Open →Certified-Recall Vectors
NewA compressed embedding store that measures and stamps a recall@k certificate — 4× smaller hot index at 99.4% recall, or a certified-100% fp32 re-rank tier. Re-checkable with `verify`.
Open →Mixture-of-Specialists
NewPack many same-base specialists into one SHA-256-verified container, route with a signed router, and stream ONLY the routed expert — byte-identical, working set of one expert not N. Add/remove and it still verifies.
Open →Model-Zoo Storage
Reference-delta storage for fleets of model checkpoints — store one base + verified deltas.
Open →Addressable Weights
Stream byte-exact inference from a compressed model — addressable, verified weights.
Open →RNG Auditor
Certifies randomness / fairness (lotteries, PRNGs) and flags weak generators — calibrated against a null.
Open →Vault / Clean-room
An isolated, verifiable workspace for sensitive data.
Open →Carbon / Compliance certificate
Verified avoided-emissions certificate over a tamper-evident audit trail.
Open →Solutions by industry
6 →The same engine, pointed at the data your industry actually has — with measured, byte-exact results.
Lakehouse / Fabric cold-tier
23% smaller than Parquet-Zstd on real analytics tables, still queryable in place and byte-exact.
Open →Financial / market data
Tick and time-series data: smaller, queryable, erasable — real Binance-data proof.
Open →Genomics
Sparse-genotype VCF codec that beats general compressors, byte-exact and queryable.
Open →Logs, observability & SOC
Server/app/network telemetry retention: smaller, queryable, tamper-evident — NetFlow/Zeek proven.
Open →Smart-meter / AMI
Utility interval-data retention with per-meter erasure — real UCI-data proof.
Open →Database / CRM exports
Contact and record databases: xz-class size plus query-in-place and per-person erasure.
Open →Proof & resources
6 →Don't take our word for it — measured benchmarks, the honest research, and a free read on your own data.
Benchmarks
Head-to-head vs gzip, zstd, xz and Parquet on real public datasets — wins and ties, stated honestly.
Open →Research & findings
The open research program: what works, what we killed, and why — radical-honesty by default.
Open →Free compressibility audit
Upload a sample, get an honest read on how much AT-1 can save on your data.
Open →ROI / savings
Model your storage, read/egress and compliance savings.
Open →Demos
See the capabilities in action.
Open →Documentation
Full docs: CLI, SDKs, format, query, erasure, engines and more.
Open →Get started
4 →Free to try, free tier to keep — no card.
Still not sure what fits?
Run a free read on your own data, or talk to us — we'll tell you where we win and where we don't.