SentryWard

Interactive demo

SentryWard runs in this page as WebAssembly. Pick an example, or add your own PTX and its input.json, then press Run.

SentryWard
Verification

    The demo runs SentryWard 0.1.0 with the synchronization and memory checks; equivalence to a PyTorch reference needs pip install "sentryward[reference]". It needs a recent Chrome, Edge or Firefox, and other browsers replay the recorded runs. The first run downloads the verifier (9 MB) and reloads the page once.