「〜であることが判明する」という意味にするには
Our currently introduced procedure has _____ to be a success.

私たちの現在の導入手続きは成功だと証明された。

1.proved
2.came
3.become
4.turned


答え
1

prove(to be)+補語で「〜であることが判明する」です。
turn out to be 〜という表現もありますが、turned はoutがないから使えません。

【訳】
私たちの現在の導入手続きは成功だと証明された。