SmartSum?

[yuxincs]

Chan et al. developed a SmartSum [1] algorithm that continuously releases private aggregate information, instead of simply releasing the noisy sum. (It is also available in Figure 12 of [2]).

Is DP-Finder capable of finding violations for incorrect variants of this algorithm? For example, no noise is added in the top branch of SmartSum (Line 4 of Figure 12 in [2] be \eta_1 = 0)?

Thanks a lot in advance!

[1] Private and Continual Release of Statistics (https://dl.acm.org/doi/abs/10.1145/2043621.2043626)

[2] LightDP: towards automating differential privacy proofs (https://dl.acm.org/doi/abs/10.1145/3009837.3009884)