Levi Katyal Sledd
補齊算術電路約束，避免錯誤敘述通過證明驗證
Training for Constraining: How to Prevent Circuit-Level Bugs
Levi Katyal Sledd 與 Vijay Singh 討論零知識證明中的算術電路漏洞。
Training for Constraining: How to Prevent Circuit-Level Bugs
Levi Katyal Sledd 與 Vijay Singh 討論零知識證明中的算術電路漏洞。