Valida ISA 正式規範（PDF ⬇️） 本規範旨在指導 Valida 的零知識虛擬機器（zkVMs）和編譯器工具鏈的實施者。 它提供了 Valida 程式語義的明確定義，並可作為形式化工作的起點。
本文為機器翻譯
展示原文
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
Valida ISA 正式規範（PDF ⬇️） 本規範旨在指導 Valida 的零知識虛擬機器（zkVMs）和編譯器工具鏈的實施者。 它提供了 Valida 程式語義的明確定義，並可作為形式化工作的起點。
