熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁

Preston Evans
@sovereign_labs 首席技術官
Preston Evans 已轉發
因此,我相信使用 MCP 時,包含延遲可以獨立於驗證者數量和地理分佈。
但是,包含保證似乎仍然明顯弱於您可以從單個 sequencer/proposer 獲得的 *execution* 保證。
我的意思是:
本質上,在 MCP 中,您只能獲得包含保證,這意味著您的 tx 將在區塊中,但不能保證您的交易將實際執行,因為可能存在衝突的 tx,該 tx 已由同一插槽中的另一個提議者確認。該衝突必須得到解決,並且最終可能會使您的 tx 無效。
而使用單個 sequencer 或 leader,sequencer 不僅可以保證您包含在區塊中,還可以保證您的交易將被執行併產生您想要的結果。它可以在看到並訂購全球所有 tx 時執行此作。
假設您在 CLOB 上進行交易,並且您發送了一個訂單來提高出價。MCP 提議者只能告訴你 「是的,你在塊裡」。。單個排序器/提議者可以告訴您“是的,您在區塊中,您的交易將被執行”。
這個執行保證比包含保證強大得多,而且似乎你無法通過 MCP 獲得它。
5.88K
RISC Zero 在這裡做得非常好,以至於我可能更擔心 Rust std 庫或 LLVM 錯誤,而不是他們電路的可靠性。不幸的是,這仍然留下了很大的擔憂空間!
編譯器錯誤很常見,而 32 位 RISC-V 是一個非常小眾的目標。

Jacob2025年4月22日
難嗎?是的
我們的健全性錯誤是毀滅性的?是的
我們是否比您想像的更親密?是的
從第一天開始,是的,在我們發佈證明系統的同一天,@RiscZero開始了正式驗證我們的 zkVM 的漫長過程。
最近,我們推出了 「Picus」,它用數學方法證明瞭 CI 期間我們電路中的確定性!這是 ZK 系統中 96% 的健全性錯誤的原因(根據 ZK-Security)。
這項工作以及我們正在進行的更多工作表明,我們可以比您想像的更快地獲得可證明的 RISC-V zkVM。
1.27K
熱門
排行
收藏
鏈上熱點
X 熱門榜
近期融資
最受認可