Skip to main content

SDARC

Try SDARC for yourself

See how your control over access survives recovery. The sample check tests that a withdrawn grant stays blocked when valid access is restored.

Runs the SDARC engine locally with sample data.

The check creates fresh encrypted data and tests what happens to access when a grant is revoked, a Child is revoked, and that same Child is restored by its Parent.

What this check proves

Withdrawal stops access
Revoking one grant blocks it from processing the sample data again. The valid grant continues to work.
Recovery preserves your choices
After the same Child is restored, the grant you withdrew stays blocked and valid access works again.
Restored encrypted data cannot revive permission
In the sample restore, a saved copy of the encrypted data leaves the revoked grant blocked. The valid grant can still use that same data.

Run the SDARC engine

Encrypt fresh sample data, test access, revoke a grant, revoke the Child, then restore that same Child with its Parent. Check that the revoked grant stays denied while valid access resumes.

Ready to run with sample data.

Download the check

Save the engine, runner, browser files, hashes, and instructions to inspect or run the same sample check yourself.

With the downloaded files in the same folder, run:

node lifecycle.mjs manifest.json
Inspect signed proof

A readable verifier and sample signed record let you inspect how signatures and event order are checked.

Explore the SDARC design