
vitalik.eth|2025年05月21日 18:05
除了fun的数学,关于在多个证明者之间分配大型zk证明工作量的想法。
假设您有N个证明者,并且您有一个证明工作负载,您将其拆分为N个部分(因此,每个证明者one部分)。您需要证明人预先注册,但注册是开放的。
假设你有一个恒定的故障率(例如,1/5的注册证明人失败)。谚语希望在one内完成(例如3秒)。如果one证明者失败,其他证明者必须进来并重新生产该负载。整个工作负载需要多少轮才能得到验证?
答案:log*(N)
(是的,这是迭代日志函数)
为什么?
在第一轮中,您将从N个未经验证的工作负载变为N/5个未经证实的工作负载
在第二轮中,每个剩余的工作负载分配5个证明者,因此每个工作负载的失败率为5/5。因此,您将转到N/5/5^5个未经验证的工作负载
在第三轮中,每个剩余的工作负载都会分配~5^5个证明者,因此失败率为1/5^(5^5)。因此,您将转到N/5/5^5/5^(5^5)未经验证的工作负载
分享至:
脈絡
熱門快訊
APP下載
X
Telegram
複製鏈接