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ポッドキャストで共有します。
私たちは、プライバシー分野における長年のプロジェクトである@Moneroとのセキュリティ監査作業を発表できることを嬉しく思います。
さらに、私たちの作業に関するいくつかの主張や誤解を明確にし、対処したいと考えています。
1/8
さらに、私たちの作業に関するいくつかの主張や誤解を明確にし、対処したいと考えています。
1/8
ZK監査 ≠ スマートコントラクト監査。それらを区別するものは何ですか？@FormallyJonが@HouseofZKポッドキャストで解説します。
新しいブログ: 安全なzkVMアプリケーションをどのように構築し、どのように監査しますか？（私たちのzkVMセキュリティシリーズのパートIII）。
@RiscZeroを使った具体的な例を通じて、実際のZKアプリ開発において重要なセキュリティの考慮事項を示します。
スレッド 🧵
1/6
@RiscZeroを使った具体的な例を通じて、実際のZKアプリ開発において重要なセキュリティの考慮事項を示します。
スレッド 🧵
1/6
カンヌ、あなたは素晴らしかった！私たちのブースに立ち寄ってくれた皆さん、そして私たちを主催してくれた@EthCCに感謝します。今週のビジュアルの饗宴をお楽しみください🌞
過去2週間のトップ3ブロックチェーンセキュリティストーリーに飛び込もう！
ストーリーは以下に続きます 🧵
ストーリーは以下に続きます 🧵
@KFerlesの@EthCCトーク「持続するzkVMの決定論：監査から継続的検証へ」を見逃しましたか？こちらでフルプレゼンテーションを視聴してください。満員の部屋でした！
@EthCC からのご挨拶 — 私たちの CTO @KFerles が、@RiscZero などの zkVM に対して、どのように持続可能な決定論を提供しているかを共有しています
新しいブログ投稿！zkVMにおける一般的な脆弱性の特定
（これは私たちのzkVMセキュリティシリーズのパートIIです）
zkVMはZKの複雑さを抽象化するのに役立ちますが、すべての落とし穴を排除するわけではありません 🧵
（これは私たちのzkVMセキュリティシリーズのパートIIです）
zkVMはZKの複雑さを抽象化するのに役立ちますが、すべての落とし穴を排除するわけではありません 🧵
VeridiseのZKツールの概要と今後の展望を見てみましょう。@IsilDilligが@a16zcryptoイベントで私たちの未来の方向性を共有します。
私たちのZK検出ツールは以前、30%のZK回路でタイムアウトしました。これをどのように解決したのでしょうか？@IsilDilligが最近の研究論文からの洞察を共有します。
監査中にZK回路をどのように堅牢で決定的に保つことができるか？私たちの共同創設者@IsilDilligが、私たちのZKツールにおける静的解析とSMTソルバーの組み合わせについての洞察を共有します。
ゼロ知識回路における過剰制約回路は課題ですか？
過剰制約回路と不足制約回路のどちらがより大きな脅威をもたらしますか？ @IsilDillig が詳しく解説します。
過剰制約回路と不足制約回路のどちらがより大きな脅威をもたらしますか？ @IsilDillig が詳しく解説します。
ログインして、さらにコンテンツを読む