通用可組合框架中的廣播功能建模

我正在研究 Canetti 的 UC 框架。雖然我理解了基本思想，但仍有很多細節需要解決。

讓我困惑的一件事是如何在 UC 執行模式下實現並發。例如，在許多分佈式算法中，一台機器可能會廣播一條消息，然後每個接收者都可能對消息進行一些計算。計算結果可以再次廣播。

論文說_

為了簡化確定下一個要啟動的 ITI 的過程，我們允許 ITI 在每次啟動時最多執行一條外部寫入指令。

在這種情況下，如何擷取廣播功能，既作為理想功能又作為真實協議？

我認為這將是了解如何在 UC 模型中建模同步性的相關論文：

通用可組契約步計算：Jonathan Katz 和 Ueli Maurer 以及 Bjoern Tackmann 和 Vassilis Zikas (TCC 2013)

基本上，他們定義了一個“時鐘”功能，只有在所有誠實方都表示他們完成了目前回合的活動之後，才執行“滴答”（增加一個公共計數器）。

回答您關於“向所有各方發送消息”的問題：在本文中，通信通道是通過讓各方在準備好時顯式輪詢通道以接收消息來建模的。因此，要廣播消息，請向廣播功能發送命令。該功能等待請求從廣播頻道讀取的誠實方啟動。

引用自：https://crypto.stackexchange.com/questions/47700