The main challenge is that instead of synthesizing some privacy proof (as done in prior work with proof synthesis [1]}, [2]}) or optimize scales with given randomness locations (as done in [3]}), our goal is to synthesize and optimize both the proof (with fewest randomness locations) and scales.
