Veridise Re-poster
45 投稿
Veridise Re-poster
Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
0 フォロー
1 フォロワー
2 いいね
投稿
歴史的に、ZK領域内のセキュリティリサーチは非常に分断されていました。Circomのために特定のユーティリティを開発すると、そのリソースはHalo2チームには全く価値がありません。同様に、Noirで作業することを選択すると、Circomの開発者は完全に排除されます。業界が共通の基盤を欠いているため、優れたリサーチは個々の環境に閉じ込められたままです。幸いなことに、LLZKの導入はこの全体のダイナミクスを完全に変革しています。
LLZKは現在、Veridiseとは別に独自のGitHubオーガニゼーションを持っています。
イーサリアム財団は2回の資金提供を行いました。Galoisはすでに独立してバックエンドに貢献しています。
IR上に構築されたコミュニティプロジェクトはそこに存在できます。あなたは何を見たいですか？
イーサリアム財団は2回の資金提供を行いました。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監査に対してどうかというものでした。
この2つのアプローチは、実際にはまったく異なる質問に対する答えを求めています。人工知能は既知のパターンを見つけるように設計されています。しかし、フォーマル検証は、特定のプロパティがすべての可能な入力に対して真であることを証明することによって、まったく異なるレベルの保証を提供します。
この研究分野は、もはや単なるニッチなトピックを超えて成長していることは明らかです。イーサリアム財団は、フォーマル手法の進展に向けて200万ドルを正式にコミットしたことで、その広範な重要性が固まっています。
この2つのアプローチは、実際にはまったく異なる質問に対する答えを求めています。人工知能は既知のパターンを見つけるように設計されています。しかし、フォーマル検証は、特定のプロパティがすべての可能な入力に対して真であることを証明することによって、まったく異なるレベルの保証を提供します。
この研究分野は、もはや単なるニッチなトピックを超えて成長していることは明らかです。イーサリアム財団は、フォーマル手法の進展に向けて200万ドルを正式にコミットしたことで、その広範な重要性が固まっています。
見落とされがちな問題が、今日のZKセキュリティツールのエコシステムに静かに影響を与えています。それは、深刻な断片化です。開発者は、遭遇するそれぞれ異なる証明システムやプログラミング言語に対して、まったく独自のツールスタックをナビゲートすることを余儀なくされています。この現実は、基盤インフラをゼロから何度も再構築しなければならないことを意味します。最終的には、開発チームがサーキットバグをうまく検出する能力は、彼らが採用することに決めた特定のZK言語に依存してはならないのです。
私たちのチームは今日、@EthCCのためにカンヌに到着しました。フェスティバル宮殿の3階にあるVeridiseブースにぜひお立ち寄りください。オンチェーンアプリケーションを開発している方々で、セキュリティに関する会話を望む方には、私たちのスタッフが終日皆さんとつながるために待機しています。100以上の監査を成功裏に実行した正確な専門家と直接話すユニークなチャンスがあります。
カンヌでのEthCC[9]に参加される場合は、私たちの無料の創業者リスクブリーフィングをご利用いただけることを歓迎します。3月30日と31日に私たちのブースで行われるこれらのセッションは15分間続き、VeridiseのCEOである@FormallyJonが直接指導します。部屋に入った瞬間に何が起こるかの詳細は以下をご覧ください。
現在、明確なセキュリティロードマップなしで運営していますか？次回のEthCCイベント中にこの問題を効果的に解決できます。
私たちは、3月30日から31日にカンヌで限られた数の創業者リスクブリーフィングを開催します。CEOとの集中したディスカッションを通じて、真のリスクを特定し、どのプロセスを自動化するかを決定し、監査をいつスケジュールすべきかを正確に知るための貴重な洞察を得ることができます。
私たちの目標は、単に営業プレゼンテーションを聞くだけでなく、実行可能な明確さを持って会議を終えることです。接続するには@VeridiseIncにDMを送信してください。
https://veridise.com/blog/news/veridise-ethcc-2026-meet-the-team-pushing-blockchain-security-forward/
私たちは、3月30日から31日にカンヌで限られた数の創業者リスクブリーフィングを開催します。CEOとの集中したディスカッションを通じて、真のリスクを特定し、どのプロセスを自動化するかを決定し、監査をいつスケジュールすべきかを正確に知るための貴重な洞察を得ることができます。
私たちの目標は、単に営業プレゼンテーションを聞くだけでなく、実行可能な明確さを持って会議を終えることです。接続するには@VeridiseIncにDMを送信してください。
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が、インタラクティブなセキュリティクイズを開催します。業界の知識を試すために来て、素晴らしい商品を持ち帰るチャンスをつかんでください。
あなたが勝つチャンスを確保することは非常に簡単です。@VeridiseIncアカウントをフォローして、このメッセージを再投稿するだけです。私たちは3月28日に公式に当選者を発表します。
会議中に、私たちのブースを訪れていただけると嬉しいです。パートナーの@AuditHubDevが、インタラクティブなセキュリティクイズを開催します。業界の知識を試すために来て、素晴らしい商品を持ち帰るチャンスをつかんでください。
私たちはETHDenverに向かっています✈️。現地では、限定のセキュリティミニ評価（対面）を実施しています。空きが少なく、正確に2つのスロットが残っていることに注意してください。詳細を下に確認し、DMで予約してください。
私たちはVeridiseに参加するビジネス開発マネージャーを探しています。この高いオーナーシップのポジションは、私たちの会社の成長、ポジショニング、拡大に直接的な影響を与えます。あなたからのご連絡を楽しみにしていますので、私たちのキャリアページで職務内容をご覧ください。
現在革新的なプロジェクトを開発中で、ETHDenverに参加する予定がある場合は、一瞬振り返ってみてください。監査をスケジュールしたり、さらにコードを展開する前に、適切なコンポーネントを正しい順序で保護しているかを確認することが重要です。私たちのチームは、ETHDenverイベント中に60分間のセキュリティミニ評価を行うために準備ができています。🧵
1/3
1/3
🔐 @AleoHQでの開発？記録は強力ですが、誤用されやすくもあります。
レオシリーズのパートIIでは、@VeridiseIncのセキュリティアナリスト、マーク・アンソニー@epizeuxiusが、一般的な記録処理の落とし穴を検証します。
下記に完全なブログ投稿へのリンクを見つけてください 🧵
1/3
レオシリーズのパートIIでは、@VeridiseIncのセキュリティアナリスト、マーク・アンソニー@epizeuxiusが、一般的な記録処理の落とし穴を検証します。
下記に完全なブログ投稿へのリンクを見つけてください 🧵
1/3
🔐 @AleoHQ のプライベートステートはどのように機能しますか？私たちの最近のブログ投稿では、セキュリティアナリストの Mark Anthony (@epizeuxius) が @VeridiseInc にて、Aleo のプライバシーとスケーラビリティを支える中心的なプリミティブである Leo の記録を分析しています。
完全な記事へのリンクは下記です 🧵
1/3
完全な記事へのリンクは下記です 🧵
1/3
ログインして、さらにコンテンツを読む