In-browser SPARQL
A full SPARQL engine. In this tab.
A state-of-the-art Rust triplestore and SPARQL 1.1/1.2 engine, compiled to WebAssembly — it answers your query right here, on the real engine, with nothing sent to a server.
| ?name | ?linesOfRust |
|---|---|
| "Ada" | 7300 |
| "Lin" | 6100 |
| "Grace" | 5300 |
- SPARQL 1.1/1.2
- SELECT · ASK · CONSTRUCT · DESCRIBE · UPDATE
- 4 formats
- Turtle · N-Triples · N-Quads · TriG
- 16 surfaces
- across 5 capability themes
- 0 servers
- the engine runs entirely in your tab
Three end-to-end privacy demonstrations, each runnable
From a live in-tab proof to a faithful protocol simulation — pick one, or browse the examples gallery.
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.
Open demoMPC £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.
Open 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.
Open demoThe full feature set, in five themes
Every surface declares how it runs — the coloured dot before each is its honesty tier. Browse all surfaces.
Run SPARQL 1.1/1.2 over RDF — the live REPL, the query engine, and the formats it ingests.
Derive new triples and check graphs against shapes — RDFS / OWL 2 RL / N3 closure and SHACL.
Find and generate over RDF — BM25 full-text, vector k-NN, and a natural-language → SPARQL loop.
Answer queries without revealing the data — zero-knowledge query proofs and threshold MPC federation. Research-grade: the v1 verifier is not externally audited.
Run sparq as a service or embed it — the HTTP endpoint, the CLI, Python bindings, and streaming RSP-QL.
How it runs
Every surface is honestly labelled by how it executes — colour is never the only signal; the text label carries the truth.
How tiers work
sparq is a state-of-the-art Rust RDF triplestore and SPARQL 1.1/1.2 engine, with a browser WASM port. This site demonstrates its feature surfaces with real engine output, never mocks — and is honest about the seam: every surface declares exactly how it runs.
Only the core parser, triplestore, SPARQL engine and the four text formats are in the shipped lean wasm bundle today. “Live everywhere” is a three-tier strategy — the lean bundle, optional wasm bundles lazy-loaded per surface, and a small hosted server / 3rd-party prover where a wasm rebuild is uneconomic — plus an in-tab simulation for MPC. Every remaining surface degrades to a guided walkthrough with real, captured I/O.
The ZK verifier is research-grade (v1): sound as landed under its stated threat model, but not externally audited and pending re-review — indicative engineering, not an audited cryptographic guarantee. The MPC surface is a faithful in-tab simulation of the protocol the native sparq-mpc crate runs, not the hardened crate executing in your browser, and not a proof of correctness (that layer is a stub today).