Veridise
236 貼文
Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 關注
135 粉絲
89 點讚數
貼文
全部
影片
在 ZK 安全審計中，代碼庫的哪些部分是主要目標？@FormallyJon 在 @HouseofZK 播客中分享。
ZK審計 ≠ 智能合約審計。它們有什麼不同？@FormallyJon 在 @HouseofZK 播客中詳細說明。
新博客：如何構建一個安全的 zkVM 應用程序——以及如何對其進行審計？（這是我們 zkVM 安全系列的第三部分）。
我們通過使用 @RiscZero 的具體示例，展示在現實世界 ZK 應用開發中重要的安全考慮因素。
線程 🧵
1/6
我們通過使用 @RiscZero 的具體示例，展示在現實世界 ZK 應用開發中重要的安全考慮因素。
線程 🧵
1/6
坎城，你真是太棒了！感謝所有來我們展位的人，以及 @EthCC 的主辦。這裡是本週的視覺盛宴 🌞
深入瞭解過去兩週內的三大區塊鏈安全故事！
故事繼續如下 🧵
故事繼續如下 🧵
錯過了 @KFerles 的 @EthCC 演講，“持久的 zkVM 確定性：從審計到持續驗證”？在這裏觀看完整演講，我們的房間座無虛席！
來自 @EthCC 的問候 — 我們的首席技術官 @KFerles 正在分享我們如何爲 zkVMs（例如 @RiscZero）提供持久的確定性
新的部落格文章！識別 zkVMs 中的常見漏洞
（這是我們 zkVM 安全系列的第二部分）
雖然 zkVMs 有助於抽象出 ZK 的複雜性，但它們並未消除所有的陷阱 🧵
（這是我們 zkVM 安全系列的第二部分）
雖然 zkVMs 有助於抽象出 ZK 的複雜性，但它們並未消除所有的陷阱 🧵
瞭解Veridise的零知識工具概況，並一窺未來的方向。@IsilDillig在@a16zcrypto活動中分享了我們的未來方向。
我們之前的 ZK 檢測工具在 30% 的 ZK 電路上超時。我們是如何解決這個問題的？@IsilDillig 分享了我們最近研究論文的見解。
過度約束的電路在零知識電路中是一個挑戰嗎？
哪一種構成更大的威脅：不足約束的電路還是過度約束的電路？@IsilDillig 進行了解析。
哪一種構成更大的威脅：不足約束的電路還是過度約束的電路？@IsilDillig 進行了解析。
登入以探索更多內容