Real-ideal paradigm
暗号プロトコルの安全性を議論するためのフレームワークであり、MPCやコインフリップなどでお馴染み
https://acompany.tech/privacytechlab/mpc-multi-party-computation-2/
https://www.jaist.ac.jp/~fujisaki/2018/lec-mpc-kanazawa-20180629.pdf#page=45.98
https://www.morikita.co.jp/books/mid/084751