ビットコインのゼロ知識証明における新たなブレークスルー:BABEプロトコルがコストを千倍超削減

robot
概要作成中

【比推】斯坦福大学教授、Babylon联合创始人David Tse正式推出了BABE(BAbylon-BErkeley)——一套专为比特币生态打造的Groth16零知识证明验证协议。这东西有多牛?在初始化和存储成本上比现有最优方案足足便宜了一千倍以上。

技术层面,团队拿出了两个重磅创新。首先是基于线性配对的见证加密技术,它把Groth16验证中那些复杂的多重配对运算,硬生生简化成了BN254椭圆曲线上一次简单的标量乘法。听起来抽象?核心就是:更少的计算量,更快的验证速度。

其次引入了新型的Argo MAC混淆原语。这个工具能把标量乘法进一步转化为向量同态MAC,实现了真正高效的计算方式。两项技术结合,效果显著。

David Tse透露,BABE计划于2026年2月伴随Babylon Trustless Bitcoin Vault的alpha测试网上线。目标很明确:为比特币体系内提供成本更低、可扩展性更强的零知识证明验证能力。这对比特币侧链和二层方案的发展意义重大。

BTC-0.23%
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております(表明・保証をするものではありません)。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については免責事項をご覧ください。
  • 報酬
  • 10
  • リポスト
  • 共有
コメント
0/400
TestnetNomadvip
· 01-20 19:17
千倍コストダウン、今回のBabylonは本当に場を荒らしに来た --- David Tseの手腕はやっぱり違う、ゼロ知識証明の分野でついに複雑さを下げることに成功した --- ちょっと待って、BN254上でのスカラー乗算は本当にこんなに速くできるの?自分でデータを検証してみる必要がある --- ビットコインエコシステムにまた一つのマイルストーン、この進展速度はちょっと異常だ --- ついに誰かが真面目にゼロ知識証明のコストを下げることに成功した、以前は理論上の革新に過ぎなかった --- Groth16の最適化がこれほどまでに進んだことで、ビットコインのスケーリングもまた一歩前進したと感じる
原文表示返信0
DAOdreamervip
· 01-20 14:35
千倍成本削減?これが本当だとしたらとんでもないことだ。またpaperのデータは見栄え良いが実際には動作しない類のものじゃないかと感じる David Tseこの波は本当だ。だがBN254の最適化の余地はまだあるのか?もう絞り尽くされた感じがする ゼロ知識証明のこの分野はずっとhype、mainnetで本当に実装されるのを待ってから話そう BABE協議は聞こえは良いが、このような突破が毎週来るのか、麻痺している 線形ペアリングこれはどうやって検証するのか、コードを実行した人はいないか こんなに複雑なものを作ったら、監査コストはいくらになるんだ
原文表示返信0
MemeTokenGeniusvip
· 01-20 01:08
千倍安価?これはどれだけダメダメでなければできないんだろう...でも、David Tseの手腕はやっぱり違うね --- ゼロ知識証明に新しい工夫、ビットコインエコシステムの春が来た? --- また一群数学の天才たちが頭を悩ませている、果たして本当に千倍安くなるのか見てみよう --- スカラー乗算の代わりに多重ペアリングを使う、このアイデアはなかなか面白い --- Babylonがやっていることはどれも派手すぎる、ただ理解できないだけ(笑) --- コストが千倍削減される、問題は誰が本当に使うのかだね --- スタンフォード+ビットコイン、この組み合わせはいつも大きな事件を起こす感じがする
原文表示返信0
CryptoWageSlavevip
· 01-18 21:05
卧槽千倍コスト削減、これでBitcoinエコシステムは本当に飛び立つぞ David Tseこの兄貴また新しいことをやってるな、ZKの分野は本当に絶妙だ ゼロ知識証明がやっとそんなにお金がかからなくなった、これこそオンチェーンの未来だろう ところで、この技術の実用化はどれくらい早いのか、やっぱりまた論文段階のPPTなのか BN254上で動かすと、パフォーマンスの天井はどこにあるんだろう
原文表示返信0
BoredApeResistancevip
· 01-18 07:22
千倍コスト削減?これはまた紙上の空論の技術自慢ではないか --- Groth16をスカラー乗算に簡略化、確かに見た目はすごいが、実際に展開して動かせるのか --- David Tseはまた新しいものを開発しているが、論文はきれいに書かれているが、実現は別問題だ --- ビットコインエコシステムにおけるゼロ知識証明の意義はあまり理解できない --- 千倍の最適化は信じ難いが、その数字は通常、基準選定が非常にずれていることを意味する --- またスタンフォードの課題だが、この人たちは論文を書くだけで、実際に使えるものはどれだけあるのか --- BN254のセットはもう新鮮味がなく、ただ見た目を良くしているだけだ
原文表示返信0
Layer2Observervip
· 01-18 07:21
千倍コスト最適化は魅力的に聞こえますが、1つ明確にしておきたいことがあります——これはどのベースライン(baseline)と比較しているのですか?ソースコードレベルで分析する前に、この比較の具体的なパラメータを理解しておく必要があります。さもないと、数字だけで誤解を招く可能性があります。
原文表示返信0
WalletDoomsDayvip
· 01-18 07:15
千倍コスト最適化?これが本当ならビットコインエコシステムが飛躍するね --- Groth16がまた簡素化されて、David Tseおじさんは本当にいろいろ推進してるね --- ちょっと待って、BABEプロトコルは本当にオンチェーンで使えるのか、それともまた論文プロジェクトなのか --- ビットコインのZK証明がやっと動き出したね、以前の方案は確かに高すぎた --- スカラー乗算の多重ペアリングの代替、なかなか合理的に聞こえるけど、実際に動かしてみた人はいるのか --- 零知識証明のBabylon最近動きが頻繁だね、注目しておこう --- 千倍コスト差、本当に製品化できたら大きいね --- BN254での取り組み、スタンフォードのチームはやる気があるね
原文表示返信0
BearMarketSurvivorvip
· 01-18 07:12
卧槽一千倍?这要真成了比特币就起飞了 --- David Tse又整活儿了 简化配对运算这招确实狠 --- 零知识证明降成本这块儿确实是刚需 但落地还要看 --- BN254这条曲线搞得这么丝滑 有点意思啊 --- 又是斯坦福又是Babylon 这配置吊打一众项目 --- 存储便宜千倍听着就离谱 敢不敢上mainnet试试 --- 看起来炫 但真正能用到Bitcoin L1验证的场景有多少呢 --- Groth16总算被搞明白了 这次应该没坑吧哈哈 --- 成本打下来这么狠 以后链上ZK验证成本真的能平民化 --- 嗯不错 但我更关心什么时候能实际用上
返信0
MemeCoinSavantvip
· 01-18 07:09
ngl 1000倍のコスト削減は凄いけど、でも…これまでに「革命的な」zkproofの主張を何度も見てきたよね? thesis update: 私たちは基本的にビットコインのスケーラビリティ nirvana への漸近的アプローチを見ている (p < 0.05)
原文表示返信0
AirdropHunterKingvip
· 01-18 07:06
わお、1000倍安い?これが本当なら、ビットコインエコシステムのガス代が大幅に下がるってことだね、兄さん、じっくり見て投資資格があるかどうか確認しないと。
原文表示返信0
もっと見る
  • ピン