更新:可能不是室溫超導體 - 已經發現的具體問題是協定 2 沒有將證明器綁定到電路。這也許可以用便宜的子協議來解決,但是...... - 我開始注意到 @ronrothblum 的一致反饋,即協定 2 會瓦解多項式層次結構。我以前認為分層電路的特定代數結構基本上可以保護我們免受資訊論界限的影響,但在對文獻有了更多的了解之後,我認為我在這裡錯了 - 正因為如此,我很想聲稱“聚合所有層”方法一定存在一些固有問題。 - SNAIL 的核心結構(協定 1)目前似乎保持不變,應該獨立地引起人們的興趣
Ole Hylland Spjeldnæs
Ole Hylland Spjeldnæs2025年4月24日
SNAIL 簡介 可驗證計算速度是本機執行速度的 1.2-1.3 倍*,比最先進的 SNARK 快 10000 倍以上 * 例如,用於典型的 zkVM 計算
5.22K