The checks verify construction, invocation, finite output, and OpenDP's own privacy-map relation. They are implementation checks, not an empirical proof of differential privacy.
The checks verify construction, invocation, finite output, and OpenDP's own privacy-map relation. They are implementation checks, not an empirical proof of differential privacy.