Michael Shoemate

proof for `make_zCDP_to_approxDP`

2

Closes #524. Unblocks #505.

Github issues have become so buggy... especially linking.

This is inconsistent with `make_base_discrete_laplace`, and prevents chaining with the bounded sum.

Move the contents of the proof definitions file to rust docstrings. Related file: https://github.com/opendp/whitepapers/pull/4/files

We should consider adding a flag that signals that a constructor assumes a weaker, "honest-but-curious" trust model. Currently, the only interface in the library that assumes this weaker trust model...

Write latex documents and check them in on this repository next to the associated rust constructor. We are, at minimum, using the PR review as a record of the vetting...

devtools::check(error_on="warning") doesn't error on warnings from documenting

3

I'm surprised to see the devtools check command pass when configured to error on warnings, and then still see warnings in the build output. For example, see the start of...

Sporadic 104% CPU utilization by Code Helper

1

**Describe the bug** Sporadically when I run `devtools::check()` via a VSCode task, VSCode becomes laggy (~1 frame every 15 seconds or less). Files will no longer save, and the Mac...

OpenDP 0.9 has essentially no backwards-incompatible changes, but it does add an implementation of the exponential mechanism for private selection on a finite set: ```python import numpy as np import...