verify / don't trust
check something
yourself.
This whole project reduces to one move: replacing "take our word for it" with "here, check." So don't read another paragraph of claims — do one of these instead. Each takes about a minute; none requires trusting us.
exercise one — a page served from chain
Visit hello.dregg.works. It is a published site cell: its bytes are committed on-chain. Honest status: the serve is byte-verbatim from a signed site registry, and an on-ledger publish path exists in the tree — but this site's commitment is not on the public ledger yet, and the visitor-side checker (the extension — independent of the host, so it cannot be stripped) is not built yet. One lane covers both. Until it ships, "the host cannot lie" is the design goal here, not the deployed fact, and we say so.
exercise two — verify with the network unplugged
When you rent a confined agent (a grain), you get an attestation of everything it did. The verifier for that attestation is one self-contained HTML file — 419 KB, zero network requests. Download it, turn off your wifi, open it, paste the attestation: it verifies or it doesn't, entirely on your machine. There is no server left to trust.
Why this matters: a "verify" button that calls our API is theater — we could return whatever we like. A verifier that runs with the cable pulled can't be sweet-talked.
exercise three — run the whole thing
The strongest check: don't use our node at all. Clone the repo, run your own, and watch a turn go through the verified kernel on your own hardware — then try to break a rule (spend money that isn't there, use a revoked capability) and watch it refuse with a reason.
git clone https://github.com/emberian/dregg && cd dregg cargo build -p dregg-node -p dregg-cli ./target/debug/dregg-node init --data-dir /tmp/my-dregg ./target/debug/dregg-node run --data-dir /tmp/my-dregg --enable-faucet --port 8421 & ./target/debug/dregg --node-url http://localhost:8421 demo --passphrase pick-one
The full walkthrough — identities, a governance ceremony, the receipt stream — is on the start page.
lake build under metatheory/ re-checks every theorem from scratch on your machine — the guarantee doesn't come from us, it comes from the checker you just ran.