メモリの価格もどんどん上がっていっているし、 low-memory proving が大事になってくるのかな？

この人たちだけを追えばいい、のZK界を引っ張る人たちのリスト作ったので、よければ皆さんもフォローしてみてください🦾 x.com/i/lists/199645…

Ligeroの共同創業者のMuthuによると、端末で省メモリに証明できる変更がplonky3へマージされたとのこと。 世界的なメモリ高騰の中でのこのコントリビューションは、plonky3を使う全員にとって嬉しいはず!

"サービスや便利さの値段は、どれだけプライバシーを諦めるかで決まってしまっている" (意訳)

LatticeFoldとNeoのAjtai Commitmentだけど、on-the-fly にpublicパラメータを生成できるのはとても良い。ただ、乱数の行列を作るだけ。 しかも、コミットメントがたったの2KiB だけど、とにかく乱数の数が多い！ witness数*16*64 個の乱数を生成しないといけなくて、下手すると1億個の乱数が必要！

"プライバシーを守るのは公衆衛生と似ている"（かなりの意訳）

8年前のzcachのスレッドにて、TNFS は既存の攻撃手法の NFS よりも速く、 BN254(BN_128) は想定よりも弱いのではと議論された。 その後、多くのプロジェクトはより大きな BLS12-381 への移行を進めたが、 現在に至るまで TNFS は NFS よりも遅く、これは空振りの警告だったのではないかというお話。

Justin Thaler からの量子計算機まわりの注意喚起 1. 過剰に恐れないこと 2. 適切な場所に適切な時間をかけること 3. 一番怖いのは急いだ結果の実装バグ 機密が漏れる可能性のある暗号から対策を始める。量子計算機が登場しても、偽の署名や証明が作られるだけで、SNARK のゼロ知識性は破られない

FoldingScheme を切り拓いた Srinath Setty さんが、Microsoft の週3勤務の職を三つ募集しているようです！ 1. Nova/SDKの開発、GPU最適化など。 2. ZK検証のSolidityコントラクト開発など。 3. トップ国際会議での論文発表など。 条件 1-2.はCS関連の学士号と4年の経験 3. はCS関連の博士号・課程

SNARKで何かをしたいとき、 "計算するな検証しろ” というのを常に考えたい

There are things from web3 that are essential for any meaningful agentic commerce. One overlooked one: succinctly verifiable agentic guardrails!

In Denver.. atm. If you are a VC and just want to chat about current Sota of any technical area in web3. I or anyone of my PhD team mates will give you time.. PhD meet MBA type mini sessions ;) It’s amazing how much nonsense floats around, from things people thought two years

If you are a non-technical VC let's chat about TEE in Denver. It's in many specs for agentic web3 and is generally the easiest g2m.. but there are drawbacks & caveats. TEE are not a silver bullet. 1. TEE proofs are generally not succinct. So to prove on ETH/SOL/other, or on

???「𝕏社会学の公理その一、承認は、ユーザの第一欲求である。その二、ユーザはたえず成長し拡張するが、𝕏におけるインプレッションの総量はつねに一定である。 それと、もう一点。この二つの公理から𝕏社会学の基本的な青写真を描くためには、あと二つ、重要な概念がある。拡散連鎖と、炎上爆発」

Rustで &v[start..start+len] っていうのを、&v[start..][..len] って書けることに気づいたんだけど、これ有名なテクだったりするんすかね。startが式とかの時に一時変数に束縛しなくてもよくなったりするけど、初見だと、おや？って感じがしなくもない。

そこそこの規模の言語のコンパイラがClaude Codeを使ったら1週間くらいで書けてしまった。手ではもう書いてられないよなぁ。 僕がコンパイラに詳しいからできるというのは現時点では真実だろうけど、大局観のある人間とAIを組み合わせれば最強みたいな状態は将棋では数年で終わってしまったわけで。

I found a critical soundness bug from Jolt zkVM by a16z crypto , and successfully exploited it by proving 1333337 == 1333338, which is the highest impact for a zkVM. Deatils and PoC at github.com/soon-haari/jol… , please check it out! It was resolved at github.com/a16z/jolt/pull….