faq
short answers.
is this a blockchain?
It contains one, but that's not the point. dregg is an operating system whose state changes are proof-carrying. The DAG/consensus layer exists so multiple operators can agree on ordering — a single machine running dregg alone still gets every guarantee at n = 1.
do i need $DREGG to use it?
No. The code is AGPL, open source forever — you already own the features. The coin will buy services on DreggNet Cloud when it opens (hosting, agent execution, compute). Services, not features. Never features. the full stance →
can i run it without your network?
Yes — that's the default. Clone, build, run a node on localhost; nothing phones home. The hosted network is a convenience you can verify, not a dependency you must trust. start →
is it audited?
No external audit yet — said plainly on every page. What exists instead is stronger in one axis and weaker in another: machine-checked proofs of the five core guarantees over the exact executor the node runs (stronger than an audit's sampling), but no independent adversarial review of the whole deployment yet (weaker). why those differ →
what do the proofs assume?
A small, named, public floor: standard cryptographic hardness (hash collision-resistance, STARK/FRI soundness, signature unforgeability) and the hardware underneath. Nothing else — the axiom set is pinned and build-enforced.
"verified" — by whom?
By a proof checker you can run. The theorems ship in the repo; lake build re-checks them from scratch on your machine. You are not asked to believe us — you're handed the checker.
what's the relationship between dregg, dreggnet, and drorb?
One project, three bodies: dregg is the verified OS; DreggNet is the network/cloud built on it; Dragon's Orb is the verified network engine that fronts it. Same register everywhere: proof over promise.
who is this for, today?
Builders and researchers who want capability security with receipts; agent developers who want confinement that's proven rather than promised; and the curious. It is not yet for security-critical production — that bar is an external audit plus the named frontier closing.