見つける
ニュース
通知
プロフィール
お気に入り
チャット
履歴
クリエイターセンター
設定
Veridise
236 投稿
Veridise
報告
ユーザーをブロック
フォロー
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0
フォロー
135
フォロワー
89
いいね
投稿
すべて
動画
Veridise
·
--
ピクスは@ethereumのEthproofs Call #3で少し愛を受け取りました 👀 ありがとう@drakefjustin!
ピクスは@ethereumのEthproofs Call #3で少し愛を受け取りました 👀 ありがとう@drakefjustin!
ETH
-0.41%
Veridise
·
--
私たちが見つける2つの最も頻繁なZKバグは何ですか?そして、それらをどのように回避しますか?@FormallyJonが@HouseofZKポッドキャストで共有します
私たちが見つける2つの最も頻繁なZKバグは何ですか?そして、それらをどのように回避しますか?@FormallyJonが@HouseofZKポッドキャストで共有します
MINA
-1.26%
Veridise
·
--
ZKセキュリティ監査でのコードベースのどの部分が主要なターゲットですか?@FormallyJonが@HouseofZKポッドキャストで共有します。
ZKセキュリティ監査でのコードベースのどの部分が主要なターゲットですか?@FormallyJonが@HouseofZKポッドキャストで共有します。
Veridise
·
--
私たちは、プライバシー分野における長年のプロジェクトである@Moneroとのセキュリティ監査作業を発表できることを嬉しく思います。 さらに、私たちの作業に関するいくつかの主張や誤解を明確にし、対処したいと考えています。 1/8
私たちは、プライバシー分野における長年のプロジェクトである@Moneroとのセキュリティ監査作業を発表できることを嬉しく思います。
さらに、私たちの作業に関するいくつかの主張や誤解を明確にし、対処したいと考えています。
1/8
XMR
-0.05%
Veridise
·
--
過去2週間のトップ3のブロックチェーンハックに興味がありますか?こちらです: 物語は下に続きます 🧵
過去2週間のトップ3のブロックチェーンハックに興味がありますか?こちらです:
物語は下に続きます 🧵
GMX
-2.81%
Veridise
·
--
ZK監査 ≠ スマートコントラクト監査。それらを区別するものは何ですか?@FormallyJonが@HouseofZKポッドキャストで解説します。
ZK監査 ≠ スマートコントラクト監査。それらを区別するものは何ですか?@FormallyJonが@HouseofZKポッドキャストで解説します。
Veridise
·
--
新しいブログ: 安全なzkVMアプリケーションをどのように構築し、どのように監査しますか?(私たちのzkVMセキュリティシリーズのパートIII)。 @RiscZeroを使った具体的な例を通じて、実際のZKアプリ開発において重要なセキュリティの考慮事項を示します。 スレッド 🧵 1/6
新しいブログ: 安全なzkVMアプリケーションをどのように構築し、どのように監査しますか?(私たちのzkVMセキュリティシリーズのパートIII)。
@RiscZeroを使った具体的な例を通じて、実際のZKアプリ開発において重要なセキュリティの考慮事項を示します。
スレッド 🧵
1/6
Veridise
·
--
ZKツールの作業を始めたとき、利用可能なものは何もありませんでした。@FormallyJonは@HouseofZKのインタビューで私たちのゼロ知識ツールの旅を共有しています。
ZKツールの作業を始めたとき、利用可能なものは何もありませんでした。@FormallyJonは@HouseofZKのインタビューで私たちのゼロ知識ツールの旅を共有しています。
ZK
-0.13%
Veridise
·
--
私たちがZKツールの作業を始めたとき、利用可能なものは何もありませんでした。@FormallyJonが私たちのゼロ知識ツールの旅を共有します。
私たちがZKツールの作業を始めたとき、利用可能なものは何もありませんでした。@FormallyJonが私たちのゼロ知識ツールの旅を共有します。
ZK
-0.13%
Veridise
·
--
私たちが静的解析ツールVanguardを開発するに至った理由と、どのようにしてSolidityを超えて拡張したのかを@FormallyJonが@HouseofZKポッドキャストで説明します。
私たちが静的解析ツールVanguardを開発するに至った理由と、どのようにしてSolidityを超えて拡張したのかを@FormallyJonが@HouseofZKポッドキャストで説明します。
ZK
-0.13%
SOL
+0.37%
Veridise
·
--
カンヌ、あなたは素晴らしかった!私たちのブースに立ち寄ってくれた皆さん、そして私たちを主催してくれた@EthCCに感謝します。今週のビジュアルの饗宴をお楽しみください🌞
カンヌ、あなたは素晴らしかった!私たちのブースに立ち寄ってくれた皆さん、そして私たちを主催してくれた@EthCCに感謝します。今週のビジュアルの饗宴をお楽しみください🌞
Veridise
·
--
過去2週間のトップ3ブロックチェーンセキュリティストーリーに飛び込もう! ストーリーは以下に続きます 🧵
過去2週間のトップ3ブロックチェーンセキュリティストーリーに飛び込もう!
ストーリーは以下に続きます 🧵
Veridise
·
--
@KFerlesの@EthCCトーク「持続するzkVMの決定論:監査から継続的検証へ」を見逃しましたか?こちらでフルプレゼンテーションを視聴してください。満員の部屋でした!
@KFerlesの@EthCCトーク「持続するzkVMの決定論:監査から継続的検証へ」を見逃しましたか?こちらでフルプレゼンテーションを視聴してください。満員の部屋でした!
Veridise
·
--
@EthCCの1日目が終了しました — 写真の中のすべてのスワッグは? なくなりました。アライグマは人気者でした 🦝 まだいくつか残っているので、明日周りにいるなら寄ってください!
@EthCCの1日目が終了しました — 写真の中のすべてのスワッグは? なくなりました。アライグマは人気者でした 🦝
まだいくつか残っているので、明日周りにいるなら寄ってください!
ETH
-0.41%
Veridise
·
--
@EthCC からのご挨拶 — 私たちの CTO @KFerles が、@RiscZero などの zkVM に対して、どのように持続可能な決定論を提供しているかを共有しています
@EthCC からのご挨拶 — 私たちの CTO @KFerles が、@RiscZero などの zkVM に対して、どのように持続可能な決定論を提供しているかを共有しています
Veridise
·
--
新しいブログ投稿!zkVMにおける一般的な脆弱性の特定 (これは私たちのzkVMセキュリティシリーズのパートIIです) zkVMはZKの複雑さを抽象化するのに役立ちますが、すべての落とし穴を排除するわけではありません 🧵
新しいブログ投稿!zkVMにおける一般的な脆弱性の特定
(これは私たちのzkVMセキュリティシリーズのパートIIです)
zkVMはZKの複雑さを抽象化するのに役立ちますが、すべての落とし穴を排除するわけではありません 🧵
Veridise
·
--
VeridiseのZKツールの概要と今後の展望を見てみましょう。@IsilDilligが@a16zcryptoイベントで私たちの未来の方向性を共有します。
VeridiseのZKツールの概要と今後の展望を見てみましょう。@IsilDilligが@a16zcryptoイベントで私たちの未来の方向性を共有します。
Veridise
·
--
私たちのZK検出ツールは以前、30%のZK回路でタイムアウトしました。これをどのように解決したのでしょうか?@IsilDilligが最近の研究論文からの洞察を共有します。
私たちのZK検出ツールは以前、30%のZK回路でタイムアウトしました。これをどのように解決したのでしょうか?@IsilDilligが最近の研究論文からの洞察を共有します。
Veridise
·
--
監査中にZK回路をどのように堅牢で決定的に保つことができるか?私たちの共同創設者@IsilDilligが、私たちのZKツールにおける静的解析とSMTソルバーの組み合わせについての洞察を共有します。
監査中にZK回路をどのように堅牢で決定的に保つことができるか?私たちの共同創設者@IsilDilligが、私たちのZKツールにおける静的解析とSMTソルバーの組み合わせについての洞察を共有します。
ZK
-0.13%
Veridise
·
--
ゼロ知識回路における過剰制約回路は課題ですか? 過剰制約回路と不足制約回路のどちらがより大きな脅威をもたらしますか? @IsilDillig が詳しく解説します。
ゼロ知識回路における過剰制約回路は課題ですか?
過剰制約回路と不足制約回路のどちらがより大きな脅威をもたらしますか? @IsilDillig が詳しく解説します。
ログインして、さらにコンテンツを読む
登録 / ログイン
厳選トピックで世界の暗号資産トレーダーの仲間入り
⚡️ 暗号資産に関する最新かつ有益な情報が見つかります。
💬 世界最大の暗号資産取引所から信頼されています。
👍 認証を受けたクリエイターから、有益なインサイトを得られます。
メール / 電話番号
登録してリワードを獲得
ログイン
トレンドトピック
EthereumFoundationLaunchesGlamsterdamTestnet
閲覧回数 9,685
235人が討論中
イーサリアム($ETH )財団は、Glamsterdam アップグレードの最初のパブリック・テストネットとなる「Platåberget」をいま公開しました。ハードフォークは8月20日に本番稼働の予定です。これは The Merge 以来最大のL1のチューニングで、ミームコインや誇大宣伝の話ではありません。MEVカルトから力を奪いながら、イーサリアムの実行能力をより高めることが目的です。 ここで本当に重要なのは3つです。1つ目は ePBS(提案者・ビルダーの分離を制度化)で、価値を吸い上げてブロック生成を中央集権化してきたビルダーの仲介業者が排除されます——バリデーターはより多くを保持し、カルテルは手綱を失います。2つ目は、約200Mガスのフロアへ向けたガスの再価格設定で、ブロックスペースが1ブロックあたりおよそ3倍になります。これにより、その上に構築されるL2はより安価で効率的になります。3つ目は、コントラクトサイズが24KiBから64KiBへ跳ね上がることで、開発者ははるかに複雑なオンチェーンロジックを出荷できます。開発者にとっての落とし穴もあります——ハードコードされたガス制限がすぐに破綻し、ウォレット、インデクサ、ガス推定器向けの注意喚起が meta EIP-7773 です。 歴史にはパターンがあります。イーサリアムが主要な容量アップグレードを出すたびに、L1ネイティブ名が数週間にわたって再評価されます。このフォークはまさにその種の触媒であり、まだ割安です。 長期の1Hセットアップ — $LINK 💥$9.47〜$9.52でエントリー 💥8月17日の安値を下回る$9.40でストップ。 💥ターゲットは$9.62、次に$9.72(8月15日の高値)、そして$9.85。 #ethereumfoundationlaunchesglamsterdamtestnet #DollarFallsTo10WeekLow #ColdcardWalletLossesExceed$115M #IAEAToRemoveNuclearMaterialFromSyriaSite #CryptoStartupsRaise$11.2BInH1
KimHotbae
·
いいね:1件
·
閲覧回数 788
DollarFallsTo10WeekLow
閲覧回数 12,176
247人が討論中
US30YearYieldHitsHighestSince2007
閲覧回数 2,946
92人が討論中
詳細確認
サイトマップ
Cookieの設定
プラットフォーム利用規約