本日は「Behind the Proof」をお届けします。ここではBrevisを可能にしている卓越した才能を探ります。 まずは、チーフサイエンスオフィサーのアラン・リー・@succinct_liです。🧵

ブレヴィス以前はMITで電気工学とコンピュータサイエンスの博士号を取得し、その後、3つの薬剤パイプラインを開発候補段階まで進めたAI for Scienceスタートアップを設立し、Nature誌やCell誌に研究成果を発表しました。 これはアランが未知の領域に入り込み、素早く習得し、結果を出す能力を証明した。

Brevisに加わって数ヶ月で、アランはzkMLの最も難しい課題の一つに取り組みました。 ニューラルネットワークは本質的にスパースですが、既存のシステムはすべての操作を同じように証明しています。彼が開発したプロトコルSpaZKは、重要なことだけを証明し、計算コストを大幅に削減します。

そしてピコ・プリズムが登場しました。 Alanが加わった当時、最先端の技術は256,000ドルのハードウェアで10.3秒で証明されたイーサリアムブロックの40.9%でした。 彼のリーダーシップのもと、99.6%のカバレッジ、平均6.9秒、12万8千ドルのハードウェア。 すべて1年もかからずに。

次は何でしょうか? アランのチームは、99%リアルタイム証明およびそれ以上の実現を目指して、16台未満のGPUを目標としています。 そしてProverNetのメインネットベータ版が正式に稼働したことで、アランの研究がZK証明をエコシステム全体でどのように調整するかを形作ることを期待しています。

これがアランが最高科学責任者であることの意味です。ブレビスが難しい問題に取り組むとき、私たちは必ず乗り越えてくれる人がいると確信しています。 まだ表面をかすっただけです。 全文プロフィールをお読みください: