1: \begin{abstract}

2: 		We address the problem of minimizing a  smooth function $f^0(x)$ over a compact set $D$ defined by smooth functional constraints $f^i(x)\leq 0,~ i = 1,\ldots, m$ given noisy value measurements of $f^i(x)$.

3: 		This problem arises in safety-critical applications, where certain parameters need to be adapted online in a data-driven fashion, such as in

4: 		personalized medicine, robotics, manufacturing, etc. In such cases, it is important to ensure constraints are not violated while 

5: 		taking measurements and seeking the minimum of the cost function. We propose a new algorithm s0-LBM, which provides provably feasible iterates with high probability and applies to the challenging case of uncertain zero-th order oracle. We also analyze the convergence rate of the algorithm, and empirically demonstrate its effectiveness.

6: \footnote{We thank the support of Swiss 

7: National Science Foundation, under the grant SNSF 200021\_172781, and ERC under the European Union's Horizon 2020 research and innovation programme 

8: grant agreement No 815943.}

9: 	\end{abstract}

10: