Veridise Re-poster

歷史上，ZK 領域的安全研究一直高度分隔。如果你為 Circom 開發了一個特定的工具，那麼這個資源對 Halo2 團隊來說完全沒有價值。同樣地，選擇與 Noir 合作意味著 Circom 開發者完全被排除在外。因為這個行業缺乏一個共同的基礎來建立，優秀的研究不可避免地被困在個別環境中。幸運的是，LLZK 的推出正在徹底改變這整個動態。

LLZK 現在有自己的 GitHub 組織，與 Veridise 分開。

以太坊基金會資助了兩輪。Galois 已經獨立貢獻了一個後端。

基於 IR 建立的社區項目可以在那裡運行。你想看到什麼？

這裏對當前形勢提供了一個大膽的視角。面對ZK工具的最重要未解決挑戰實際上與性能無關。根本問題在於缺乏一個共同的基礎。由於不存在一個通用的基礎層，每個獨立的生態系統都被迫完全從頭構建自己的安全框架。我很想聽聽你對這種情況的看法。你同意這個觀點嗎，還是你認爲關於碎片化的擔憂可能被誇大了？

我們非常興奮地分享，LLZK V1.0 現已正式對外發布。這個框架設計為共享的中介表示，專門支援 ZK 安全工具。開發者會發現，任何編譯到 LLZK 的程式語言都能瞬間解鎖 ZK Vanguard 的靜態分析能力和 Picus 的形式驗證能力。這裡的主要優勢在於，你可以無縫地利用這些資源，完全避免從零重建任一工具。截至此發布，我們的活躍前端目前包含 Halo2 和 Circom。要深入了解這次發布，請訪問完整公告：https://veridise.com/blog/veridise-announcements/llzk-v1-0-a-new-phase-for-zk-shared-infrastructure/

在 EthCC 的時候，大家最常問的問題就是形式驗證與 AI 審計相比如何。

這兩種方法其實是為了回答完全不同的問題。人工智慧旨在識別已知的模式。然而，形式驗證則提供了一種完全不同的保證層次，通過證明特定屬性在每個可能的輸入下都保持真實。

顯而易見的是，這個研究領域已經遠超過了僅僅是一個小眾話題。以太坊基金會正式承諾投入 200 萬美元來推進形式方法，這進一步鞏固了其廣泛的重要性。

一個被忽視的問題正在悄然影響著今天ZK安全工具的生態系統，那就是嚴重的碎片化。開發者目前被迫在每個獨特的證明系統和編程語言中使用完全不同的工具堆疊。這種現實意味著基礎設施必須一次又一次地從頭重建。最終，開發團隊成功檢測電路錯誤的能力絕不能依賴於他們決定採用的特定ZK語言。

我們的團隊今天已抵達戛納參加@EthCC。我們熱情邀請您光臨Veridise展位，位於節日宮三樓。如果您正在開發鏈上應用程序並希望就安全性進行交流，我們的員工將全天在場與您溝通。您將有獨特的機會直接與成功執行100+次審計的專業人士交談。

如果您在戛納參加EthCC[9]，我們歡迎您利用我們免費的創始人風險簡報。這些簡報將在我們3月30日和31日的展位上進行，每個會話持續15分鐘，由Veridise的首席執行官@FormallyJon親自主持。以下是您進入房間後發生的事情的詳細介紹。

您目前是否在沒有明確的安全路線圖的情況下運營？您可以在即將到來的 EthCC 事件中有效解決此問題。

我們將在 3 月 30 日至 31 日在戛納舉行有限數量的創始人風險簡報。通過與我們的首席執行官進行一次單一、專注的討論，您將獲得有關識別真實風險、決定自動化哪些流程以及準確知道何時安排審計的寶貴見解。

我們的目標是確保您在會議結束時獲得可操作的清晰，而不僅僅是聽一個銷售演示。請發送 DM 至 @VeridiseInc 以建立聯繫。

https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/

您打算在3月30日至4月2日之間參加位於戛納的@EthCC嗎？我們很高興地宣佈，我們將爲即將舉行的活動贈送2個全通行證。

確保您贏得機會非常簡單。只需確保您關注@VeridiseInc帳戶，然後轉發此消息即可。我們將於3月28日正式抽取獲勝者。

在會議期間，我們希望您能參觀我們的展位。我們的合作伙伴@AuditHubDev將會在現場舉辦一個互動安全測驗。歡迎前來挑戰您的行業知識，並獲得一些很棒的商品帶回家。

我們正在前往 ETHDenver ✈️。在現場時，我們將進行有限的安全小型評估（面對面）。請注意，目前可用名額不多，僅剩 2 個名額。請查看以下詳細信息並私訊以預約您的時間。

我們正在尋找一位業務發展經理加入 Veridise。這個高擁有權的職位將直接影響我們公司的增長、定位和擴展。我們期待收到您的回覆，因此請在我們的職業頁面上查看職位描述。

如果您目前正在開發一個創新項目並計劃參加ETHDenver，請花點時間反思。在安排審計或部署進一步的代碼之前，確定您是否以正確的順序保護了適當的組件是至關重要的。我們的團隊在ETHDenver活動期間隨時可以進行60分鐘的安全小型評估。 🧵

1/3

🔐 在 @AleoHQ 上開發？雖然記錄功能強大，但也容易被濫用。

在我們的《Leo記錄》系列的第二部分中，安全分析師 Mark Anthony @epizeuxius 在 @VeridiseInc 研究了常見的記錄處理陷阱。

在下面找到完整博客文章的鏈接 🧵

1/3

🔐 私有狀態在 @AleoHQ 中是如何運作的？在我們最新的博客文章中，安全分析師 Mark Anthony @epizeuxius 解析了 Leo 中的記錄——這是支撐 Aleo 隱私和可擴展性的核心原語。

完整文章鏈接見下方 🧵

1/3

想要避免那些典型的節日對話嗎？我們有完美的解決方案！🎄

加入我們的Veridise爐邊聊天，我們進行深入的技術討論，與塑造Web3未來的創新者進行交流。我們的陣容包括來自@ethereumfndn、@StellarOrg、@RiscZero、@boundless_xyz和@aztecnetwork的尊貴嘉賓。在我們的YouTube頻道上觀看這些對話。

聖誕快樂！願即將到來的新年帶給你安全和健康。🎄