ZKを勉強していて、質問に答えたいですか? 今後の電話会議に参加して、魔法を実現したチームと直接話してください! 次へリンクします。

Uniswap V3 シリーズは続きます。 実質準備金とその計算方法 AMM の価格は、スワップ中にトークンがプールに出入りすると変化します。 トークンの実際の準備金は、トレーダーが次のティックに到達するために価格を交換する必要があるトークンの量です。 x の実際の準備金は、上限ティックに到達するためにスワップアウトする必要があるトークン x の量であり、y の実際の準備金は、下限ティックに到達するために交換する必要があるトークン y の量です。 おそらく、Uniswap V2曲線がx軸とy軸を交差するまで「移動」し、次に多段階の代数を実行することで、実質埋蔵量を計算する方法を学んだでしょう。 私たちはもっと簡単な派生を思いつきました! そして、素敵な写真とアニメーションがあります。 詳細については、最新のブログ投稿をご覧ください。 単純化できることを嬉しく思います。

RareCode .ai の立ち上げを発表できることを誇りに思います 最新の AI はコードの説明に優れています。 ただし、学習はコードを書くことから生まれます。 そこで、この2つを組み合わせました。 詳細情報 👇

ZKを本当に学びたい場合は、アルゴリズムを最初から実装する必要があります。 ZK Bookは、何十人ものエンジニアが旅を完了するのに役立っています。

@RareSkills_io ゼロ知識の本 |M1·C1 解決策を決して明かさずに知っていることを証明できたらどうなるでしょうか? P vs NP がゼロ知識証明をどのように可能にするかをご覧ください。 👇 解き🧵明かそう

私たちは、この旅に参加できることを誇りに思っています。

新しいブログ記事がアップされています: サークル FFT — パート 1: サークル ドメインの構築 ZKの数学は通常、加算対象のグループである有限体で行われます。 ただし、特別な最適化は、グループドメインとして円を使用することです。 円は、x² + y² = 1 mod p を満たす要素 (x, y) のペアです。 この記事では、その点のセットをグループに変換しながら、FFTアルゴリズム(ひいてはSTARKアルゴリズム)を実行するために必要なプロパティを持つ方法を示します。 この作品を作成するためにzkBankaiから助成金を受けた@cabrio_yugoによって執筆されました。 返信内のリンク

Vyperのオフィスアワーは2時間強で行われています。 次のコンパイラの詳細を探る準備をしてください。 - ヴェノムIR(中間表現) - 最適化戦略 - セキュリティ保証 返信で招待します。

1年以上前にZKブックをリリースしたとき、私たちはZK教育分野を大きな前進に導きました。 私たちの本は、ZKを学ぶための「ちょうど十分な数学」のアプローチの先駆者です。 今日、ZKブックに新たに追加されて、再びそれを行います。 「Circom と制約のデザイン パターン」 この新しいセクションでは、重要なZK回路を設計、作成、および監査する方法に焦点を当てています。 Circomを使用して多項式の評価を知っていることを証明する方法についてのチュートリアルをたくさん見たことがあるでしょう。 しかし、そこからZKVMを設計したり、従来のハッシュ関数(MD5やKeccak256など)の優位性を知っていることを証明したりするにはどうすればよいでしょうか。 ZK Bookの新しい部分では、掛け算から数字への移動から次のことへの旅にあなたを連れて行きます。 - ZKVMをゼロから構築する - MD5ハッシュ関数のコーディング制約 - 制約設計で繰り返し発生する設計パターンを学習する 最後の部分は、確立された「デザインパターン」のいくつかに名前さえ付いていないので、興味深かったです。私たちはいくつかの用語を発明しなければなりませんでした! いつものように、私たちは新しい人を圧倒しないように、読者に新しいアイデアをどのように紹介するかについて非常に思慮深くなっています。私たちは、前提条件を賢明な順序で、多くの例を挙げて教えるように注意しています。 各章では、ますます複雑化するアプリケーション用の回路を構築する方法を示します。各章では、以前に学習した内容を復習し、新しいデザインパターンを学習します。 これらのデザインパターンのコレクションを構築したら、それらを一緒に構成して、ZKVMや重要なハッシュ関数などのより複雑なアプリケーションを構築できます。 私たちは、資料が理解しやすく、重要な省略なしに正しいことを確認するために多大な努力を払っています。 この作業のレビューと提案を提供するために時間を割いてくださった@ChainLight_io、@VeridiseInc、@PrivacyScaling、@zksecurityXYZに感謝します。 特に、章を洗練された状態にするためにいくつかの改訂に取り組んでくれた@zksecurityXYZからの@marcobesierに感謝しています。 この新しい部分の最初の7つの章を共同執筆してくれた@cal_nixに特別な感謝を送ります! ここで取り上げるトピックは、非常に基本的なものです。ここにある資料を理解していない場合、最新のZKVMまたはZK L2クライアントの内部を学ぶことは非常に困難です。これまで、このような基本的な概念に対する新参者向けの説明がなかったため、ZKスペースは抑制されてきました。 この新しい一連の研究は、単に既存の資料の「より良い説明」ではなく、学術論文以外の最初の説明です。 Circomは最も初心者に優しいと考えているため、指導言語として使用しています。ただし、ここで学習する内容は、Plonky3、Halo2、o1js、Gnark などの他のフレームワークに一般化されます。新しい記事により、ZKブックは38,000語以上長くなりました。 本書のこのセクションを読むために、ZK-SNARKがどのように機能するかを知る必要はありませんが、いくつかの前提条件があります。これらは「Circom入門」の章にリストされています。 いつものように、資料は完全に無料で、ログインは必要ありません。

監査の旅の早い段階で? 新しい学習リソース「Buggy ERC-20s」を作成しました。 バギーERC-20sは、20の(はい、それは意図的な)ERC-20契約実装のリポジトリですが、バグがあります。 可能な限り、これらのバグが開発者が実際に犯すミスの種類を反映するように努めました。 これはSolidity Bootcampで使用する学習演習ですが、ご存知のように、すべての学習リソースは無料です。 目を研ぎ澄まして、欠落している行、コンパイルされているが正しく動作していないコード、および重要なコーナーケースをキャッチします。 これは通常のCTFではなく、現実的ではないため、答えを確認するための単体テストは提供していません。監査人が通常行う方法で問題に取り組む必要があります。 私たちは、あなたがあなたの練習でいくつかの繰り返しを得ることを望んでいるので、問題のかなり大きなコレクションを作りました。練習は1回で終わりではありません。トークン間には似たようなバグがいくつかありますが、どのリポジトリにも同じバグはありません。各リポジトリには 1 つのバグがあり、バグは深刻であり、仮説的なものではありません。バグの中には明らかなものもあれば、微妙なものもあります。 自分は経験豊富だと思いますか?そうすれば、コードベースごとに1分以内にバグを見つけることができるはずです。 大規模なコードベースの監査に飛び込むのは大変なことなので、これを足がかりにしました。 このリポジトリは @degenshaker によって作成されました。次にリンクします。