The whole RDF stack, one Rust engine — in your tab.
Every sparq capability, grouped into five themes you can scan in seconds. Query, reason, search, prove, and serve — each surface runs the real engine and wears a badge that says exactly how it runs, from live wasm to a captured-output walkthrough. No demo pretends to be more than it is.
- across 5 capability themes
- 16surfacesacross 5 capability themes
- run the real engine in your browser
- 10in-tabrun the real engine in your browser
- ZK · MPC · Solid, end-to-end
- 3flagshipsZK · MPC · Solid, end-to-end
- SPARQL + RDF-star, native Rust
- 1.1 / 1.2SPARQL + RDF-star, native Rust
PREFIX ex: <http://example.org/> PREFIX foaf: <http://xmlns.com/foaf/0.1/> SELECT ?name ?age ?friend WHERE { ex:alice foaf:name ?name ; foaf:age ?age ; foaf:knows ?friend . } ORDER BY ?friend
The real prefilled query from the sample social graph — open it in the live REPL.
Start here
Three proofs that the breadth is real
Not feature checkboxes — complete, runnable demos that each prove one hard thing. Open one and walk away having seen it work.
- flagship
ZK cross-credential car-hire
Prove you may hire a car — age ≥ 25, valid non-revoked licence, same holder across two credentials — without revealing your documents.
Live via bb.jsOpen demo MPC £100k secure threshold
Four flatmates learn only whether their combined income clears a £100k threshold — no salary, and not even the exact total, is revealed.
Live simulationOpen demoSolid (user, app)-pair result sets
One Pod, one query — different result sets per (agent, client) pair, enforced by the engine's FROM NAMED dataset restriction, live in your tab.
Live in your tabOpen demo
The full surface set
Every capability, five themes
Each tile is a real surface. The badge is the honest contract for how that surface runs on this static site.
- Live in your tabshipped wasm, running in your tab now
- Live (new wasm)an additional wasm bundle, lazy-loaded on expand
- Live via bb.jsin-tab proving via 3rd-party bb.js UltraHonk
- Live simulationa faithful in-tab JS simulation of the native protocol
- Walkthroughcaptured, verbatim engine output replayed (no backend on a static site)
Query & data
Run SPARQL 1.1/1.2 over RDF — the live REPL, the query engine, and the formats it ingests.
Open the full live SPARQL REPLReason & validate
Derive new triples and check graphs against shapes — RDFS / OWL 2 RL / N3 closure and SHACL.
Search & GenAI
Find and generate over RDF — BM25 full-text, vector k-NN, and a natural-language → SPARQL loop.
Privacy (ZK / MPC)
Answer queries without revealing the data — zero-knowledge query proofs and threshold MPC federation. Research-grade: the v1 verifier is not externally audited.
Serve & embed
Run sparq as a service or embed it — the HTTP endpoint, the CLI, Python bindings, and streaming RSP-QL.