Binance Square
一只瓢虫
71 Posting

一只瓢虫

16 Mengikuti
4 Pengikut
3 Disukai
Posting
·
--
Lihat terjemahan
我第一次看到双交易模型这个设计,第一反应有点复杂。一条链上跑两种交易模型,一个账户模型一个UTXO模型,给我的感觉像是在同一台电脑上装两个操作系统。能跑,但切换的时候会不会卡顿,会不会出兼容性问题,我当时心里没底。 后来我仔细看白皮书里对两个模型的定位,才慢慢理解了它为什么这么设计。 Moonlight是透明账户模型,跟Ethereum那种类似,账户余额是公开的,适合需要透明审计的场景。比如机构想证明自己持有多少资产、$DUSK 资金流向是否合规,直接Moonlight上走就行,一目了然。 Phoenix走的是UTXO路线,支持透明和混淆两种交易。这里的混淆不是指完全的匿名,而是让第三方无法直接关联交易双方。白皮书里提到它使用的加密技术包括密钥共识、椭圆曲线密码学和零知识证明,是经过审计的密码学方案。@Dusk_Foundation 两个模型共存,本质上是把不同的隐私需求分到了不同的轨道上。需要公开的就走Moonlight,需要机密的就走Phoenix,用户自己选,协议不替你做决定。 我后来想明白了一件事。这个设计的核心矛盾不是技术能不能实现,而是「给用户选择权」。传统公链只给了透明一条路,隐私币只给了隐私一条路,Dusk把两条路都铺好了,让用户按场景选择。代价是协议的复杂度增加了,但换来的是更灵活的金融场景适配能力。#dusk
我第一次看到双交易模型这个设计,第一反应有点复杂。一条链上跑两种交易模型,一个账户模型一个UTXO模型,给我的感觉像是在同一台电脑上装两个操作系统。能跑,但切换的时候会不会卡顿,会不会出兼容性问题,我当时心里没底。

后来我仔细看白皮书里对两个模型的定位,才慢慢理解了它为什么这么设计。

Moonlight是透明账户模型,跟Ethereum那种类似,账户余额是公开的,适合需要透明审计的场景。比如机构想证明自己持有多少资产、$DUSK 资金流向是否合规,直接Moonlight上走就行,一目了然。

Phoenix走的是UTXO路线,支持透明和混淆两种交易。这里的混淆不是指完全的匿名,而是让第三方无法直接关联交易双方。白皮书里提到它使用的加密技术包括密钥共识、椭圆曲线密码学和零知识证明,是经过审计的密码学方案。@Dusk

两个模型共存,本质上是把不同的隐私需求分到了不同的轨道上。需要公开的就走Moonlight,需要机密的就走Phoenix,用户自己选,协议不替你做决定。

我后来想明白了一件事。这个设计的核心矛盾不是技术能不能实现,而是「给用户选择权」。传统公链只给了透明一条路,隐私币只给了隐私一条路,Dusk把两条路都铺好了,让用户按场景选择。代价是协议的复杂度增加了,但换来的是更灵活的金融场景适配能力。#dusk
Di antara proyek-proyek blockchain publik yang pernah saya hubungi, lapisan P2P sering kali menjadi aspek terakhir yang diperhatikan; orang lebih suka membahas konsensus, membahas mesin virtual, membahas cross-chain. Namun mereka yang benar-benar menjalankan full node tahu bahwa ketika konsumsi bandwidth meningkat, dalam satu bulan bisa menghabiskan beberapa TB lalu lintas. Biaya ini masih bisa ditoleransi dalam skala kecil, tetapi jika perlu melayani institusi keuangan di seluruh dunia, masalah ini menjadi hal yang tidak bisa diabaikan. Dalam whitepaper, penjelasan tentang jaringan P2P tradisional cukup langsung: ia memiliki dua kelemahan besar—konsumsi bandwidth tinggi dan latensi besar. Menurut pemahaman saya, pada metode siaran tradisional, setiap blok atau pesan transaksi harus dipropagasikan ke seluruh jaringan. Setiap node yang menerima pesan akan meneruskannya ke semua tetangga, sehingga volume pesan bertambah secara eksponensial. Jaringan dipenuhi oleh banyak data berulang yang bersifat redundan. Solusi Dusk@Dusk_Foundation adalah Kadcast, berbasis Kademlia DHT. Ia mengorganisasi node dalam struktur hierarkis seperti pohon: setiap node tidak meneruskan secara membabi buta, melainkan memilih node-node yang jaraknya meningkat berdasarkan perhitungan XOR distance, lalu meneruskan hanya ke node terpilih tersebut. Pesan seperti diturunkan secara bertahap di dalam struktur pohon, sehingga menimbulkan efek berantai. Setiap lapisan meneruskan ke beberapa node saja, bukan ke semua node di seluruh jaringan.#dusk Gagasan ini sangat menginspirasi saya. Intinya, ia mengatakan bahwa lapisan P2P blockchain tidak harus menggunakan pola “semua orang memberi tahu semua orang”. Logika distribusi informasi finansial $DUSK pada dasarnya adalah “siapa yang membutuhkan, siapa yang menerima”. Seberapa besar peningkatan efisiensi Kadcast bisa menghemat bandwidth, whitepaper tidak memberikan data pengujian yang spesifik; namun dari sisi desain mekanismenya, pengurangan jumlah pesan redundan semestinya sangat signifikan. Meski demikian, struktur pohon juga punya kerentanannya: stabilitas node perantara sangat penting bagi jaringan, dan ini perlu terus dipantau dalam operasional berikutnya.
Di antara proyek-proyek blockchain publik yang pernah saya hubungi, lapisan P2P sering kali menjadi aspek terakhir yang diperhatikan; orang lebih suka membahas konsensus, membahas mesin virtual, membahas cross-chain. Namun mereka yang benar-benar menjalankan full node tahu bahwa ketika konsumsi bandwidth meningkat, dalam satu bulan bisa menghabiskan beberapa TB lalu lintas. Biaya ini masih bisa ditoleransi dalam skala kecil, tetapi jika perlu melayani institusi keuangan di seluruh dunia, masalah ini menjadi hal yang tidak bisa diabaikan.

Dalam whitepaper, penjelasan tentang jaringan P2P tradisional cukup langsung: ia memiliki dua kelemahan besar—konsumsi bandwidth tinggi dan latensi besar. Menurut pemahaman saya, pada metode siaran tradisional, setiap blok atau pesan transaksi harus dipropagasikan ke seluruh jaringan. Setiap node yang menerima pesan akan meneruskannya ke semua tetangga, sehingga volume pesan bertambah secara eksponensial. Jaringan dipenuhi oleh banyak data berulang yang bersifat redundan.

Solusi Dusk@Dusk adalah Kadcast, berbasis Kademlia DHT. Ia mengorganisasi node dalam struktur hierarkis seperti pohon: setiap node tidak meneruskan secara membabi buta, melainkan memilih node-node yang jaraknya meningkat berdasarkan perhitungan XOR distance, lalu meneruskan hanya ke node terpilih tersebut. Pesan seperti diturunkan secara bertahap di dalam struktur pohon, sehingga menimbulkan efek berantai. Setiap lapisan meneruskan ke beberapa node saja, bukan ke semua node di seluruh jaringan.#dusk

Gagasan ini sangat menginspirasi saya. Intinya, ia mengatakan bahwa lapisan P2P blockchain tidak harus menggunakan pola “semua orang memberi tahu semua orang”. Logika distribusi informasi finansial $DUSK pada dasarnya adalah “siapa yang membutuhkan, siapa yang menerima”. Seberapa besar peningkatan efisiensi Kadcast bisa menghemat bandwidth, whitepaper tidak memberikan data pengujian yang spesifik; namun dari sisi desain mekanismenya, pengurangan jumlah pesan redundan semestinya sangat signifikan.

Meski demikian, struktur pohon juga punya kerentanannya: stabilitas node perantara sangat penting bagi jaringan, dan ini perlu terus dipantau dalam operasional berikutnya.
Saya pertama kali melihat proyek Dusk, pikiran pertama yang muncul adalah, “Proyek ini agak serakah.” Privasi dan kepatuhan digabung jadi satu, bagi saya rasanya seperti air dan minyak—sulit untuk benar-benar menyatu. Logika dasar koin privasi adalah “jangan sampai kamu bisa melihat.” Sementara logika dasar kepatuhan adalah “orang yang memang harus melihat, harus melihat.” Dua jalur ini bagaimana bisa hidup berdampingan? Saat itu saya tidak bisa memahaminya.$DUSK Dengan membawa pertanyaan itu, saya terus membaca, dan saya menemukan bahwa penilaian saya sebelumnya ternyata kurang kuat. Di whitepaper disebutkan satu sudut pandang yang sebelumnya belum pernah saya pikirkan dengan serius. Di blockchain publik arus utama saat ini—seperti Ethereum—sebenarnya privasi dalam skenario finansial tidak terlalu memadai. Data transaksi dan kondisi kepemilikan dipajang semuanya di rantai, sehingga dana institusional pada dasarnya tidak bisa masuk. Di sisi lain, Monero dan Zcash memang sudah memaksimalkan privasi, tetapi benar-benar terlepas dari kerangka regulasi pengawasan keuangan yang ada. Tidak ada KYC, tidak ada AML, tidak ada kemampuan audit—institusi juga tetap tidak bisa menggunakannya.#dusk Dusk@Dusk_Foundation memilih untuk melakukan privasi sekaligus kepatuhan, dan belakangan saya memahami logikanya ternyata cukup sederhana. Ia menargetkan pasar berupa sistem keuangan yang teregulasi, dan di pasar itu ada kebutuhan yang sama-sama “wajib” untuk privasi dan kepatuhan. Anda perlu bisa melindungi kerahasiaan transaksi, sekaligus bila diperlukan bisa mengungkapkan data kepada otoritas pengawas. Model transaksi ganda Moonlight dan Phoenix, serta protokol Zedger, semuanya merupakan solusi yang lahir dari kontradiksi ini. Jalan ini jauh lebih sulit dibanding hanya melakukan salah satu sisi. Apakah bisa benar-benar berjalan mulus, masih perlu dilihat bagaimana kelanjutan penerapan ekosistemnya.
Saya pertama kali melihat proyek Dusk, pikiran pertama yang muncul adalah, “Proyek ini agak serakah.” Privasi dan kepatuhan digabung jadi satu, bagi saya rasanya seperti air dan minyak—sulit untuk benar-benar menyatu. Logika dasar koin privasi adalah “jangan sampai kamu bisa melihat.” Sementara logika dasar kepatuhan adalah “orang yang memang harus melihat, harus melihat.” Dua jalur ini bagaimana bisa hidup berdampingan? Saat itu saya tidak bisa memahaminya.$DUSK

Dengan membawa pertanyaan itu, saya terus membaca, dan saya menemukan bahwa penilaian saya sebelumnya ternyata kurang kuat.

Di whitepaper disebutkan satu sudut pandang yang sebelumnya belum pernah saya pikirkan dengan serius. Di blockchain publik arus utama saat ini—seperti Ethereum—sebenarnya privasi dalam skenario finansial tidak terlalu memadai. Data transaksi dan kondisi kepemilikan dipajang semuanya di rantai, sehingga dana institusional pada dasarnya tidak bisa masuk. Di sisi lain, Monero dan Zcash memang sudah memaksimalkan privasi, tetapi benar-benar terlepas dari kerangka regulasi pengawasan keuangan yang ada. Tidak ada KYC, tidak ada AML, tidak ada kemampuan audit—institusi juga tetap tidak bisa menggunakannya.#dusk

Dusk@Dusk memilih untuk melakukan privasi sekaligus kepatuhan, dan belakangan saya memahami logikanya ternyata cukup sederhana. Ia menargetkan pasar berupa sistem keuangan yang teregulasi, dan di pasar itu ada kebutuhan yang sama-sama “wajib” untuk privasi dan kepatuhan. Anda perlu bisa melindungi kerahasiaan transaksi, sekaligus bila diperlukan bisa mengungkapkan data kepada otoritas pengawas. Model transaksi ganda Moonlight dan Phoenix, serta protokol Zedger, semuanya merupakan solusi yang lahir dari kontradiksi ini.

Jalan ini jauh lebih sulit dibanding hanya melakukan salah satu sisi. Apakah bisa benar-benar berjalan mulus, masih perlu dilihat bagaimana kelanjutan penerapan ekosistemnya.
Saya baru-baru ini terus memikirkan sebuah pertanyaan. Bitcoin adalah aset paling berharga di kripto, dengan kapitalisasi pasar sekitar 600 miliar dolar AS. $DUSK menyumbang lebih dari separuh seluruh pasar; angka ini juga saya konfirmasi lagi saat membaca whitepaper. Tapi kalau Anda melihat DeFi, jejak Bitcoin hampir tidak terlihat. wBTC bisa dibilang skema wrapping terbesar, tetapi kapitalisasinya kurang dari 5 miliar dolar AS—dibandingkan ukuran Bitcoin, itu bahkan tidak bisa dihitung sebagai pecahan. @Dusk_Foundation Kesenjangannya sebesar itu sampai membuat saya merasa agak tidak nyaman. Masalahnya ada di mana? Awalnya saya berpikir: Bitcoin sendiri tidak mendukung smart contract, jadi ia tidak bisa langsung menjalankan logika seperti pinjam-meminjam di blockchain. Maka perlu dilakukan wrapping dan cross-chain. Pemahaman itu benar, tetapi saat membaca whitepaper, saya sadar ada satu lapisan yang lebih kunci yang saya lewatkan. Dalam whitepaper ada satu kalimat yang saya baca berulang-ulang: skema bridging dan centralised custody, bagi banyak pemegang Bitcoin, dianggap risikonya terlalu tinggi. Bukan karena secara teknis tidak bisa, tetapi karena pemegangnya tidak mau mengambil risiko tersebut. Saya coba membayangkannya. Jika saya memiliki sejumlah Bitcoin dan ingin menggunakannya di DeFi untuk mendapatkan bunga, saya harus mengonversinya menjadi wBTC terlebih dahulu—artinya saya perlu menyerahkan Bitcoin saya kepada pihak kustodian, percaya bahwa mereka tidak akan bermasalah. Dalam sejarah, terlalu banyak hal yang terjadi pada jembatan lintas-chain dan pihak kustodian. Biaya kepercayaan untuk saya mungkin lebih berat daripada bunga yang didapat. Saya kira banyak pemegang juga berpikir seperti saya—lebih baik Bitcoin dibiarkan saja di dompet; setidaknya itu aman. #dusk Dengan demikian, terciptalah situasi yang cukup rumit. Bitcoin adalah aset terbesar dan paling aman, tetapi karena model keamanannya dan preferensi risiko para pemegangnya, ia justru menjadi aset yang paling tidak terpakai di DeFi. TBV ingin melakukan sesuatu agar jalur ini terbuka: agar Bitcoin bisa masuk ke DeFi tanpa bridging dan tanpa custody. Apakah jalur ini bisa berjalan, saya belum bisa memastikan sekarang, tetapi kontradiksi itu sendiri layak dipikirkan sampai tuntas.
Saya baru-baru ini terus memikirkan sebuah pertanyaan. Bitcoin adalah aset paling berharga di kripto, dengan kapitalisasi pasar sekitar 600 miliar dolar AS. $DUSK menyumbang lebih dari separuh seluruh pasar; angka ini juga saya konfirmasi lagi saat membaca whitepaper. Tapi kalau Anda melihat DeFi, jejak Bitcoin hampir tidak terlihat. wBTC bisa dibilang skema wrapping terbesar, tetapi kapitalisasinya kurang dari 5 miliar dolar AS—dibandingkan ukuran Bitcoin, itu bahkan tidak bisa dihitung sebagai pecahan. @Dusk

Kesenjangannya sebesar itu sampai membuat saya merasa agak tidak nyaman. Masalahnya ada di mana?

Awalnya saya berpikir: Bitcoin sendiri tidak mendukung smart contract, jadi ia tidak bisa langsung menjalankan logika seperti pinjam-meminjam di blockchain. Maka perlu dilakukan wrapping dan cross-chain. Pemahaman itu benar, tetapi saat membaca whitepaper, saya sadar ada satu lapisan yang lebih kunci yang saya lewatkan. Dalam whitepaper ada satu kalimat yang saya baca berulang-ulang: skema bridging dan centralised custody, bagi banyak pemegang Bitcoin, dianggap risikonya terlalu tinggi. Bukan karena secara teknis tidak bisa, tetapi karena pemegangnya tidak mau mengambil risiko tersebut.

Saya coba membayangkannya. Jika saya memiliki sejumlah Bitcoin dan ingin menggunakannya di DeFi untuk mendapatkan bunga, saya harus mengonversinya menjadi wBTC terlebih dahulu—artinya saya perlu menyerahkan Bitcoin saya kepada pihak kustodian, percaya bahwa mereka tidak akan bermasalah. Dalam sejarah, terlalu banyak hal yang terjadi pada jembatan lintas-chain dan pihak kustodian. Biaya kepercayaan untuk saya mungkin lebih berat daripada bunga yang didapat. Saya kira banyak pemegang juga berpikir seperti saya—lebih baik Bitcoin dibiarkan saja di dompet; setidaknya itu aman. #dusk

Dengan demikian, terciptalah situasi yang cukup rumit. Bitcoin adalah aset terbesar dan paling aman, tetapi karena model keamanannya dan preferensi risiko para pemegangnya, ia justru menjadi aset yang paling tidak terpakai di DeFi. TBV ingin melakukan sesuatu agar jalur ini terbuka: agar Bitcoin bisa masuk ke DeFi tanpa bridging dan tanpa custody. Apakah jalur ini bisa berjalan, saya belum bisa memastikan sekarang, tetapi kontradiksi itu sendiri layak dipikirkan sampai tuntas.
Terverifikasi
Lihat terjemahan
我一直觉得,清算需要"人"来执行,法官、仲裁者、清算委员会。直到昨天我重新读了一遍Section 6的unhappy path 我一开始的认知很简单 在DeFi里,借款人抵押资产,如果资不抵债,就需要一个清算人或者清算机器人来执行清算。这听起来天经地义——总得有人"按下那个按钮"吧?所以当我看到Babylon的罚没机制时,我第一反应是:谁来触发罚没?谁来验证作恶证据?#baby 但Sec 6里有一句话,让我停住了"Anyone can impersonate Alice and send a slashing transaction to burn her 1 BTC." 不是"指定的清算人",不是"多签委员会",是anyone。任何人。 我重新画了一遍这个逻辑链才意识到,Babylon根本不是在设计"清算流程",而是在设计私钥泄露的因果链。EOTS(可提取一次性签名)的数学原理是 如果验证者在同一高度双重签名,两个签名会暴露出私钥的数学信息。任何人只要拿到这个泄露的私钥,就可以直接发起一笔比特币链上的罚没交易,$BABY 把质押的比特币发送到销毁地址。 所以,我觉得不是"系统判断你作恶→通知清算人→执行罚没"的三步走,而是"你作恶→私钥自动泄露→比特币自动销毁"的一步到位。不是清算,是自毁。 这个结构拆解让我意识到,Babylon重新定义了"罚没"的权力关系。传统方案里,清算权在第三方手里DeFi协议的清算机器人、PoS链的验证者委员会。而Babylon的罚没权在数学手里。没有自由裁量,没有延迟执行,没有"算了这次放过你"。作恶的唯一结果就是私钥被公开,比特币被销毁。 所以核心命题不是"罚没效率有多高",而是它把信任从"人的判断"转移到了"数学的必然性"上。 在TBV的借贷场景里,这意味着抵押品的安全性不再依赖任何人的善意或效率,只依赖密码学的一次性签名约束。@babylonlabs_io 当然,这套机制的前提是链能检测到双重签名。
我一直觉得,清算需要"人"来执行,法官、仲裁者、清算委员会。直到昨天我重新读了一遍Section 6的unhappy path

我一开始的认知很简单 在DeFi里,借款人抵押资产,如果资不抵债,就需要一个清算人或者清算机器人来执行清算。这听起来天经地义——总得有人"按下那个按钮"吧?所以当我看到Babylon的罚没机制时,我第一反应是:谁来触发罚没?谁来验证作恶证据?#baby
但Sec 6里有一句话,让我停住了"Anyone can impersonate Alice and send a slashing transaction to burn her 1 BTC."

不是"指定的清算人",不是"多签委员会",是anyone。任何人。

我重新画了一遍这个逻辑链才意识到,Babylon根本不是在设计"清算流程",而是在设计私钥泄露的因果链。EOTS(可提取一次性签名)的数学原理是 如果验证者在同一高度双重签名,两个签名会暴露出私钥的数学信息。任何人只要拿到这个泄露的私钥,就可以直接发起一笔比特币链上的罚没交易,$BABY 把质押的比特币发送到销毁地址。

所以,我觉得不是"系统判断你作恶→通知清算人→执行罚没"的三步走,而是"你作恶→私钥自动泄露→比特币自动销毁"的一步到位。不是清算,是自毁。

这个结构拆解让我意识到,Babylon重新定义了"罚没"的权力关系。传统方案里,清算权在第三方手里DeFi协议的清算机器人、PoS链的验证者委员会。而Babylon的罚没权在数学手里。没有自由裁量,没有延迟执行,没有"算了这次放过你"。作恶的唯一结果就是私钥被公开,比特币被销毁。

所以核心命题不是"罚没效率有多高",而是它把信任从"人的判断"转移到了"数学的必然性"上。 在TBV的借贷场景里,这意味着抵押品的安全性不再依赖任何人的善意或效率,只依赖密码学的一次性签名约束。@BabylonLabs_io

当然,这套机制的前提是链能检测到双重签名。
Lihat terjemahan
我一直觉得比特币的“闲置”是个被忽略的问题,直到我盯着白皮书里的一句话看了很久。 我一开始以为,比特币最大的问题就是价格波动,或者监管风险。但读白皮书的时候,我注意到一个数字wBTC的市值不到50亿美元,只占比特币总市值的百分之一。这意味着, $BABY 6,000亿美元市值里,绝大多数比特币只是躺在钱包里,什么都没做。它们像金库里的黄金,存储完好,但零产出。 Sec 2.2说得更直白“Most of the Bitcoin asset sits idle and is not deployed.” 这句话让我停住了。不是“有些闲置”,是“most”。不是因为技术做不到,而是因为现有的桥接方案需要信任第三方,比特币持有者不愿意冒这个风险。#baby 我重新画了一个资金流向图才意识到,Babylon在做的事情,不是给比特币增加一个“理财功能”,而是重新定义了比特币的“可工作状态”。它用远程质押代替了桥接,让比特币可以在不离开比特币链的情况下,为PoS链提供安全保证金。比特币不再需要被搬动,不再需要被托管,它只需要被锁在自托管金库中,用密码学约束来保证罚没的可能性。 Babylon不是在建一条新的收益渠道,而是在把比特币从“闲置资产”重新定义为“PoS链的安全燃料”。这改变了资本的使用效率 PoS链不再需要靠高通胀来吸引原生代币质押,而是可以直接用比特币这个6,000亿美元的巨大池子来换安全。Sec 3里明确的“双边市场”模型,其实就是燃料泵。@babylonlabs_io 当然,这个叙事目前还依赖比特币持有者的认知转变。习惯了“持有不动”的人,是否愿意接受“锁仓质押”的复杂度?我还在持续观察,这条觉醒路径上的真实采用率。
我一直觉得比特币的“闲置”是个被忽略的问题,直到我盯着白皮书里的一句话看了很久。

我一开始以为,比特币最大的问题就是价格波动,或者监管风险。但读白皮书的时候,我注意到一个数字wBTC的市值不到50亿美元,只占比特币总市值的百分之一。这意味着, $BABY 6,000亿美元市值里,绝大多数比特币只是躺在钱包里,什么都没做。它们像金库里的黄金,存储完好,但零产出。

Sec 2.2说得更直白“Most of the Bitcoin asset sits idle and is not deployed.” 这句话让我停住了。不是“有些闲置”,是“most”。不是因为技术做不到,而是因为现有的桥接方案需要信任第三方,比特币持有者不愿意冒这个风险。#baby

我重新画了一个资金流向图才意识到,Babylon在做的事情,不是给比特币增加一个“理财功能”,而是重新定义了比特币的“可工作状态”。它用远程质押代替了桥接,让比特币可以在不离开比特币链的情况下,为PoS链提供安全保证金。比特币不再需要被搬动,不再需要被托管,它只需要被锁在自托管金库中,用密码学约束来保证罚没的可能性。

Babylon不是在建一条新的收益渠道,而是在把比特币从“闲置资产”重新定义为“PoS链的安全燃料”。这改变了资本的使用效率 PoS链不再需要靠高通胀来吸引原生代币质押,而是可以直接用比特币这个6,000亿美元的巨大池子来换安全。Sec 3里明确的“双边市场”模型,其实就是燃料泵。@BabylonLabs_io

当然,这个叙事目前还依赖比特币持有者的认知转变。习惯了“持有不动”的人,是否愿意接受“锁仓质押”的复杂度?我还在持续观察,这条觉醒路径上的真实采用率。
Lihat terjemahan
晚上又把白皮书第7.2节翻了出来。之前读的时候,我以为"罚减"就是简单的"抓到坏人,扣钱"。但这次我仔细看了那两段话,才发现我之前完全低估了这件事的难度:比特币没有智能合约,你没法把"证据"发给它,让它判断谁对谁错。那怎么办?答案是——让证据本身变成私钥。#baby 白皮书说得很清楚。比特币没有智能合约,所以你不能像在以太坊上那样,把一段违规证明提交给链上合约让它执行罚没。Babylon的思路是:不提交"证明",直接提交"私钥"——让攻击者在作恶的那一刻,必然把自己的私钥交出来。 怎么做到的?两个东西组合:可提取 一次性签名(EOTS) 和 终局性小工具。 EOTS的承诺很简单:同一把私钥签两个不同的消息,私钥就会从签名中被数学方法提取出来,全网可见。但问题是,共识协议的罚减场景远不止"双签"这么简单。Casper有两组罚减条件,Tendermint也有两组——健忘症攻击甚至没法表达为双关攻击。 Babylon的解法很巧妙:不改基础共识协议,而是在共识确定区块后,加一轮EOTS签名投票。超过2/3质押权益签名后,区块才算真正最终确定。这样一来,所有破坏区块链完好性的行为,都被简化为"同一高度签了两个区块"——一个干净利落的双关攻击。于是EOTS就能提取私钥,而Schnorr签名(比特币用的签名方案)正好兼容,私钥可以直接拿去花罚减交易。$BABY 我后来在笔记里写了一句:"其他协议说'你把证据给我,我来判断是非'。Babylon说'不需要判断,你只要作恶,你的钥匙就是证据。'——这不是在优化司法,这是在消灭法官。"@babylonlabs_io
晚上又把白皮书第7.2节翻了出来。之前读的时候,我以为"罚减"就是简单的"抓到坏人,扣钱"。但这次我仔细看了那两段话,才发现我之前完全低估了这件事的难度:比特币没有智能合约,你没法把"证据"发给它,让它判断谁对谁错。那怎么办?答案是——让证据本身变成私钥。#baby

白皮书说得很清楚。比特币没有智能合约,所以你不能像在以太坊上那样,把一段违规证明提交给链上合约让它执行罚没。Babylon的思路是:不提交"证明",直接提交"私钥"——让攻击者在作恶的那一刻,必然把自己的私钥交出来。

怎么做到的?两个东西组合:可提取
一次性签名(EOTS) 和 终局性小工具。
EOTS的承诺很简单:同一把私钥签两个不同的消息,私钥就会从签名中被数学方法提取出来,全网可见。但问题是,共识协议的罚减场景远不止"双签"这么简单。Casper有两组罚减条件,Tendermint也有两组——健忘症攻击甚至没法表达为双关攻击。

Babylon的解法很巧妙:不改基础共识协议,而是在共识确定区块后,加一轮EOTS签名投票。超过2/3质押权益签名后,区块才算真正最终确定。这样一来,所有破坏区块链完好性的行为,都被简化为"同一高度签了两个区块"——一个干净利落的双关攻击。于是EOTS就能提取私钥,而Schnorr签名(比特币用的签名方案)正好兼容,私钥可以直接拿去花罚减交易。$BABY

我后来在笔记里写了一句:"其他协议说'你把证据给我,我来判断是非'。Babylon说'不需要判断,你只要作恶,你的钥匙就是证据。'——这不是在优化司法,这是在消灭法官。"@BabylonLabs_io
Terverifikasi
Lihat terjemahan
我一开始以为,加密圈去中心化就是“更公平”或者“更抗审查”。听起来很对,但我说不清它和网络安全之间的具体关系。所以昨天晚上我看到当Babylon说自己的质押协议是“无需信任任何第三方”时,我第一反应是:这很酷,但实现手段是密码学和时间戳,和去中心化关系不大#baby 但Sec 2.3里有一句话,让我停住了“Bitcoin, being the oldest blockchain, has arguably the most decentralized set of token holders: miners, early adopters and developers, project founders, individual investors, institutional investors, exchanges, etc.” 我重新画了一个资产分布图才明白,比特币持有者的分散度,不是一个“政治正确”的属性,而是一个结构性的安全参数。在许多PoS链中,资产集中在早期投资者、创始人团队和基金会手中。当这些资产被质押以验证网络时,少数几个实体就可以合谋控制链。而比特币的持有者分布极其分散,这意味着要收集足够多的私钥来发起攻击,难度呈指数级上升$BABY 我认为Babylon并不是在“设计”一个去中心化协议,而是在“借用”比特币已有的去中心化结构。它把比特币持有者的分散度,直接映射为PoS链的安全信任锚点。质押者越多越分散,攻击者需要合谋的对象就越多,攻击成本就越高。这不是一个功能,而是一个结构公理@babylonlabs_io 我觉得这并不意味着比特币质押没有中心化风险,如果大量比特币质押集中在少数几个大托管机构手里,这个分散假设就会失效。我现在还在持续观察,质押权是否会像算力一样,在长期运行中逐渐集中的趋势
我一开始以为,加密圈去中心化就是“更公平”或者“更抗审查”。听起来很对,但我说不清它和网络安全之间的具体关系。所以昨天晚上我看到当Babylon说自己的质押协议是“无需信任任何第三方”时,我第一反应是:这很酷,但实现手段是密码学和时间戳,和去中心化关系不大#baby

但Sec 2.3里有一句话,让我停住了“Bitcoin, being the oldest blockchain, has arguably the most decentralized set of token holders: miners, early adopters and developers, project founders, individual investors, institutional investors, exchanges, etc.”

我重新画了一个资产分布图才明白,比特币持有者的分散度,不是一个“政治正确”的属性,而是一个结构性的安全参数。在许多PoS链中,资产集中在早期投资者、创始人团队和基金会手中。当这些资产被质押以验证网络时,少数几个实体就可以合谋控制链。而比特币的持有者分布极其分散,这意味着要收集足够多的私钥来发起攻击,难度呈指数级上升$BABY

我认为Babylon并不是在“设计”一个去中心化协议,而是在“借用”比特币已有的去中心化结构。它把比特币持有者的分散度,直接映射为PoS链的安全信任锚点。质押者越多越分散,攻击者需要合谋的对象就越多,攻击成本就越高。这不是一个功能,而是一个结构公理@BabylonLabs_io

我觉得这并不意味着比特币质押没有中心化风险,如果大量比特币质押集中在少数几个大托管机构手里,这个分散假设就会失效。我现在还在持续观察,质押权是否会像算力一样,在长期运行中逐渐集中的趋势
Lihat terjemahan
周五晚上又把白皮书第9.8节关于比特币桥接的部分翻了出来,之前读的时候觉得各种桥的类型总结得很全面,中心化桥、超额抵押桥、侧链桥、硬件安全桥……但这次我专门把每种桥的安全假设强度画了一个谱系,从“完全信任托管人”到“数学上可验证的无需信任”,发现了一个有意思的对比。 我列了一个小表格:wBTC信任Bitgo一个托管人,安全假设强度最低;Interlay超额抵押,需要信任金库不会合谋且抵押率足够高;sBTC依赖70%的STX质押者阈值签名,假设30%诚实即可安全;Rootstock的PowPeg加了硬件,但假设硬件不被攻破。每一个桥都在“安全”和“容量”之间做权衡——抵押率高了,锁定的BTC就少;阈值签名组大了,活性就脆弱。#baby 没有一个是纯数学保证的。 然后我把比特币质押摆进去:它不需要桥,比特币留在比特币链上,罚减通过EOTS和脚本实现。从“信任假设”的角度看,它确实是最干净的——不需要信任托管人、抵押池或阈值签名组。但我在旁边加了一个备注:这个方案的劣势是,被质押的比特币无法转移给PoS链使用,只能用作安全押金。如果PoS链希望用BTC作为执行层资产(比如借贷或交易),$BABY 比特币质押就不能直接提供这种流动性。 我后来在笔记里写了一句:“桥接方案都在交‘安全税’——为了将BTC转移到其他链,必须牺牲一部分信任假设或资本效率。比特币质押免了这笔税,但也放弃了资产的跨链可转移性。” 所以,它不是“更好”的桥,而是“完全不同”的资产使用模式。这个区别很关键,白皮书没有直接对比,但我觉得这是理解比特币权益质押定位的核心。我暂时没有结论,但会继续观察比特币质押生态中,PoS链是否愿意接受这种“不可转移的安全资产”作为质押品。@babylonlabs_io
周五晚上又把白皮书第9.8节关于比特币桥接的部分翻了出来,之前读的时候觉得各种桥的类型总结得很全面,中心化桥、超额抵押桥、侧链桥、硬件安全桥……但这次我专门把每种桥的安全假设强度画了一个谱系,从“完全信任托管人”到“数学上可验证的无需信任”,发现了一个有意思的对比。

我列了一个小表格:wBTC信任Bitgo一个托管人,安全假设强度最低;Interlay超额抵押,需要信任金库不会合谋且抵押率足够高;sBTC依赖70%的STX质押者阈值签名,假设30%诚实即可安全;Rootstock的PowPeg加了硬件,但假设硬件不被攻破。每一个桥都在“安全”和“容量”之间做权衡——抵押率高了,锁定的BTC就少;阈值签名组大了,活性就脆弱。#baby 没有一个是纯数学保证的。

然后我把比特币质押摆进去:它不需要桥,比特币留在比特币链上,罚减通过EOTS和脚本实现。从“信任假设”的角度看,它确实是最干净的——不需要信任托管人、抵押池或阈值签名组。但我在旁边加了一个备注:这个方案的劣势是,被质押的比特币无法转移给PoS链使用,只能用作安全押金。如果PoS链希望用BTC作为执行层资产(比如借贷或交易),$BABY 比特币质押就不能直接提供这种流动性。

我后来在笔记里写了一句:“桥接方案都在交‘安全税’——为了将BTC转移到其他链,必须牺牲一部分信任假设或资本效率。比特币质押免了这笔税,但也放弃了资产的跨链可转移性。” 所以,它不是“更好”的桥,而是“完全不同”的资产使用模式。这个区别很关键,白皮书没有直接对比,但我觉得这是理解比特币权益质押定位的核心。我暂时没有结论,但会继续观察比特币质押生态中,PoS链是否愿意接受这种“不可转移的安全资产”作为质押品。@BabylonLabs_io
Lihat terjemahan
我翻到白皮书描述协议架构的章节时,脑子里一直在切换两个问题:它怎么适配Tendermint?怎么适配Casper?不同PoS链的罚没条件和共识逻辑都不一样,我下意识觉得肯定要写一堆定制化的中间件。每条链一套适配器,这复杂度想想就头大。#baby 但读到第7.2节末尾关于终局性小工具的总结时,我停住了。$BABY 白皮书写得很克制,但意思很重:“可以在所有BFT共识协议上使用,且无需更改基础共识协议本身。”我读了两遍,才反应过来这句话的份量。 它不是去修改共识,而是在共识外面挂了一层overlay。PoS链该怎么出块怎么出块,该用什么签名用什么签名,完全不碰。只是在区块最终确认这个环节,额外加了一轮EOTS签名。这轮签名不改变底层共识的判断,只是给它加了一层“比特币可罚没”的保险。我下意识在笔记本上画了个图:底层是共识协议,中间是干净的接口,上层是EOTS终局性小工具。画完我盯着看了几秒。@babylonlabs_io 这种解耦程度太工程了。对比EigenLayer,如果要接一个新AVS,需要写合约、改逻辑,深度绑定。巴比伦这招是直接在共识层外面套一层,你的链该怎么跑还是怎么跑,我只在你最终确认后加一个硬约束。真正的即插即用。 但我也在想,这种外挂方案会不会有活性的坑?如果底层共识已经确认了区块,但EOTS的2/3签名迟迟没收齐,系统是卡住等还是先跑起来?白皮书说“truly finalized”需要两者兼备,但极端网络分区下的行为,我还没完全想透。得去翻翻他们有没有公开的形式化验证。先记着,明天继续挖。
我翻到白皮书描述协议架构的章节时,脑子里一直在切换两个问题:它怎么适配Tendermint?怎么适配Casper?不同PoS链的罚没条件和共识逻辑都不一样,我下意识觉得肯定要写一堆定制化的中间件。每条链一套适配器,这复杂度想想就头大。#baby

但读到第7.2节末尾关于终局性小工具的总结时,我停住了。$BABY 白皮书写得很克制,但意思很重:“可以在所有BFT共识协议上使用,且无需更改基础共识协议本身。”我读了两遍,才反应过来这句话的份量。

它不是去修改共识,而是在共识外面挂了一层overlay。PoS链该怎么出块怎么出块,该用什么签名用什么签名,完全不碰。只是在区块最终确认这个环节,额外加了一轮EOTS签名。这轮签名不改变底层共识的判断,只是给它加了一层“比特币可罚没”的保险。我下意识在笔记本上画了个图:底层是共识协议,中间是干净的接口,上层是EOTS终局性小工具。画完我盯着看了几秒。@BabylonLabs_io

这种解耦程度太工程了。对比EigenLayer,如果要接一个新AVS,需要写合约、改逻辑,深度绑定。巴比伦这招是直接在共识层外面套一层,你的链该怎么跑还是怎么跑,我只在你最终确认后加一个硬约束。真正的即插即用。

但我也在想,这种外挂方案会不会有活性的坑?如果底层共识已经确认了区块,但EOTS的2/3签名迟迟没收齐,系统是卡住等还是先跑起来?白皮书说“truly finalized”需要两者兼备,但极端网络分区下的行为,我还没完全想透。得去翻翻他们有没有公开的形式化验证。先记着,明天继续挖。
Lihat terjemahan
我一度以为,比特币上做质押,罚没肯定是个死结。比特币没有智能合约,你没法像在以太坊上那样,写一段代码说“如果检测到双签,就没收质押”。所以每次看到有人提比特币质押,我脑子里自动弹出“那罚没怎么搞?”这个问题,然后默默划走。巴比伦的白皮书我翻到第7.2节的时候,本来也是抱着“看看你怎么圆”的心态,结果读了两段,我愣在椅子上。#baby 它不是想办法去证明你作恶,然后提交证据给比特币网络去执行——这条路走不通,因为比特币不处理复杂证据。它换了个思路:让你作恶的瞬间,你的私钥直接变成公共的。任何人拿到你的私钥,就可以发起一笔罚没交易,$BABY 把你的币销毁。也就是说,不需要法官,不需要投票,甚至不需要“证明”这个动作。数学本身就是法官。 这个机制叫EOTS,可提取的一次性签名。原理其实不复杂:如果你用同一把私钥签了两个不同的东西,你的私钥就能从这两个签名里被算出来。巴比伦在PoS链的共识之上加了一层终局性小工具,要求所有验证人在区块最终确认后,额外用EOTS签一次。如果发生安全违规(比如双花攻击),那必然有超过1/3的质押在同一高度签了两个区块,他们的私钥就从签名里暴露了。 我下意识在笔记本上写了一句“不是罚没,是钥匙自爆”,盯着看了几秒,觉得这个比喻还挺贴切。传统PoS的罚没是“我发现你违规→我提交证据→链上执行”,巴比伦是“你违规→你的钥匙自动变公共→谁都能执行”。中间那个“发现”和“提交”的环节被彻底跳过。 我还没想透的是,如果攻击者只签一次就不签了,或者投票率不够,这个机制还能触发吗?但至少,这个思路让我重新理解了什么叫“无需第三方的信任”。@babylonlabs_io
我一度以为,比特币上做质押,罚没肯定是个死结。比特币没有智能合约,你没法像在以太坊上那样,写一段代码说“如果检测到双签,就没收质押”。所以每次看到有人提比特币质押,我脑子里自动弹出“那罚没怎么搞?”这个问题,然后默默划走。巴比伦的白皮书我翻到第7.2节的时候,本来也是抱着“看看你怎么圆”的心态,结果读了两段,我愣在椅子上。#baby

它不是想办法去证明你作恶,然后提交证据给比特币网络去执行——这条路走不通,因为比特币不处理复杂证据。它换了个思路:让你作恶的瞬间,你的私钥直接变成公共的。任何人拿到你的私钥,就可以发起一笔罚没交易,$BABY 把你的币销毁。也就是说,不需要法官,不需要投票,甚至不需要“证明”这个动作。数学本身就是法官。

这个机制叫EOTS,可提取的一次性签名。原理其实不复杂:如果你用同一把私钥签了两个不同的东西,你的私钥就能从这两个签名里被算出来。巴比伦在PoS链的共识之上加了一层终局性小工具,要求所有验证人在区块最终确认后,额外用EOTS签一次。如果发生安全违规(比如双花攻击),那必然有超过1/3的质押在同一高度签了两个区块,他们的私钥就从签名里暴露了。

我下意识在笔记本上写了一句“不是罚没,是钥匙自爆”,盯着看了几秒,觉得这个比喻还挺贴切。传统PoS的罚没是“我发现你违规→我提交证据→链上执行”,巴比伦是“你违规→你的钥匙自动变公共→谁都能执行”。中间那个“发现”和“提交”的环节被彻底跳过。
我还没想透的是,如果攻击者只签一次就不签了,或者投票率不够,这个机制还能触发吗?但至少,这个思路让我重新理解了什么叫“无需第三方的信任”。@BabylonLabs_io
Lihat terjemahan
周一晚上在书房翻完第一节,我本来没太在意——PoS链需要资本,比特币有资本, 这不就是供需匹配嘛。但读到Akash那段,我停住了。100%的初始年化通胀,这钱既要买安全,又要激励AI计算硬件提供商。我愣了几秒,下意识在纸上写了“通胀要付两份账单”。一份付给验证人防攻击,一份付给应用层拉供给。两张账单叠在一起,链还没跑起来,通胀就先烧光了。这根本不是可持续模型。#baby 我原来以为比特币质押只是给比特币持有者多一个生息通道,但读到第三节我才意识到,真正被解救的是PoS链。Akash的例子不是孤例,Cosmos生态里初期20%到100%通胀的链比比皆是。高通胀在买安全,但安全成本压死了链上效用——你本来可以用通胀激励应用,结果全被安全吃了。这是PoS链的“通胀-安全”困境:资本太贵,贵到链自己都喘不过气。 然后比特币的画像就清晰了。白皮书写得直白:6000亿美元,$BABY 大部分闲置,不受束缚,不用于保护自身。这跟PoS链上的原生资产完全是两个物种。Akash以100%通胀吸引资本,比特币却躺着不动。巴比伦做的就是把这两端接上——让比特币持有者把闲置资本质押给PoS链,拿走收益,同时PoS链可以用更低成本获得安全,把通胀降下来。双边市场,不是伪需求。 我还没想透的是,比特币质押者拿到的收益从哪来?如果PoS链原本靠高通胀付安全费,现在付给比特币,这笔成本真的能降吗?还是说只是把通胀转移给了比特币持有者?得再挖挖经济模型。但至少,这个供需错配的逻辑,我认了。@babylonlabs_io
周一晚上在书房翻完第一节,我本来没太在意——PoS链需要资本,比特币有资本, 这不就是供需匹配嘛。但读到Akash那段,我停住了。100%的初始年化通胀,这钱既要买安全,又要激励AI计算硬件提供商。我愣了几秒,下意识在纸上写了“通胀要付两份账单”。一份付给验证人防攻击,一份付给应用层拉供给。两张账单叠在一起,链还没跑起来,通胀就先烧光了。这根本不是可持续模型。#baby

我原来以为比特币质押只是给比特币持有者多一个生息通道,但读到第三节我才意识到,真正被解救的是PoS链。Akash的例子不是孤例,Cosmos生态里初期20%到100%通胀的链比比皆是。高通胀在买安全,但安全成本压死了链上效用——你本来可以用通胀激励应用,结果全被安全吃了。这是PoS链的“通胀-安全”困境:资本太贵,贵到链自己都喘不过气。

然后比特币的画像就清晰了。白皮书写得直白:6000亿美元,$BABY 大部分闲置,不受束缚,不用于保护自身。这跟PoS链上的原生资产完全是两个物种。Akash以100%通胀吸引资本,比特币却躺着不动。巴比伦做的就是把这两端接上——让比特币持有者把闲置资本质押给PoS链,拿走收益,同时PoS链可以用更低成本获得安全,把通胀降下来。双边市场,不是伪需求。

我还没想透的是,比特币质押者拿到的收益从哪来?如果PoS链原本靠高通胀付安全费,现在付给比特币,这笔成本真的能降吗?还是说只是把通胀转移给了比特币持有者?得再挖挖经济模型。但至少,这个供需错配的逻辑,我认了。@BabylonLabs_io
Lihat terjemahan
周三下午窝在咖啡馆改一个旧稿,顺手点开巴比伦的中文精简版白皮书。第一眼看到“比特币权益质押”,我脑子里自动补完了“桥接”两个字——市面上所有比特币生息方案,$BABY 不都是先把币跨过去再质押吗?wBTC、多签桥、甚至某些侧链,本质上都是把比特币挪到另一条链上,然后依赖一个托管方或委员会来保证安全。我翻了几页,以为又要看一个老套的桥方案。 但翻到“5 挑战”的时候,我停住了。咖啡放凉了都没注意到。 白皮书把桥接的方法直接否了。#baby 它说,所有桥接方案都依赖第三方信任,哪怕是最理想的比特币桥,也依赖于目标链的质押者诚实。所以桥接无法实现“无需信任的权益质押”——你要么信托管方,要么信多签。这就是性质 2 永远达不到的原因。我下意识在笔记本上写了“桥接不是路径”,盯着看了几秒。 然后它抛出了另一条路:远程质押。比特币不离开主链,锁定在比特币链上的自托管金库里,然后通过密码学机制在比特币链上执行罚没。我愣了几秒,才意识到这根本不是桥,而是把比特币作为安全源,远程投影到 PoS 链上。桥接是把资产搬过去,这是把锚留在原地,但把你的安全约束伸过去。 这个认知转变太关键了。如果还在用“桥”的思路理解巴比伦,方向全错。它不桥接,不是因为做不到,而是因为桥接本身就和“无需信任”矛盾。所以它选择了另一条更艰难但更纯粹的路——不挪币,只传递安全。 我还没想透这条路有没有隐藏的坑,但至少它让我重新理解了“质押”这个词。 @babylonlabs_io
周三下午窝在咖啡馆改一个旧稿,顺手点开巴比伦的中文精简版白皮书。第一眼看到“比特币权益质押”,我脑子里自动补完了“桥接”两个字——市面上所有比特币生息方案,$BABY 不都是先把币跨过去再质押吗?wBTC、多签桥、甚至某些侧链,本质上都是把比特币挪到另一条链上,然后依赖一个托管方或委员会来保证安全。我翻了几页,以为又要看一个老套的桥方案。

但翻到“5 挑战”的时候,我停住了。咖啡放凉了都没注意到。

白皮书把桥接的方法直接否了。#baby 它说,所有桥接方案都依赖第三方信任,哪怕是最理想的比特币桥,也依赖于目标链的质押者诚实。所以桥接无法实现“无需信任的权益质押”——你要么信托管方,要么信多签。这就是性质 2 永远达不到的原因。我下意识在笔记本上写了“桥接不是路径”,盯着看了几秒。

然后它抛出了另一条路:远程质押。比特币不离开主链,锁定在比特币链上的自托管金库里,然后通过密码学机制在比特币链上执行罚没。我愣了几秒,才意识到这根本不是桥,而是把比特币作为安全源,远程投影到 PoS 链上。桥接是把资产搬过去,这是把锚留在原地,但把你的安全约束伸过去。

这个认知转变太关键了。如果还在用“桥”的思路理解巴比伦,方向全错。它不桥接,不是因为做不到,而是因为桥接本身就和“无需信任”矛盾。所以它选择了另一条更艰难但更纯粹的路——不挪币,只传递安全。
我还没想透这条路有没有隐藏的坑,但至少它让我重新理解了“质押”这个词。
@BabylonLabs_io
Tadi malam aku mengeluarkan lagi beberapa bagian di whitepaper tentang “pengurangan otomatis (automatic penalty)” serta perbandingannya dengan Casper/Tendermint. Saat membacanya sebelumnya, kupikir perbandingan antara “otomatis” dan “konsensus komunitas” sangat jelas: yang satu dieksekusi otomatis, yang lain butuh koordinasi yang kompleks—jadi terlihat mana yang unggul dan mana yang kalah. Tapi kali ini, aku menatap kata “otomatis” itu, dan makin lama rasanya ada sebuah syarat di baliknya yang belum sepenuhnya kupahami. Aku menggambar ulang jalur eksekusi pengurangan penalti. Di bagian 9.2, whitepaper mengatakan bahwa pada PoS Ethereum, pelanggaran keamanan memerlukan konsensus komunitas agar bisa dilakukan pengurangan penalti, karena lebih dari 1/3 validator yang bersifat jahat dapat memeriksa bukti penalti yang ada di rantai, sehingga prosesnya harus melewati koordinasi di luar rantai dan kemudian merestart rantai. Sedangkan pada staking Bitcoin, karena dananya $BABY ada di dalam blockchain Bitcoin, begitu pelanggaran terjadi, “langsung dikenai pengurangan penalti secara otomatis”. Namun masalahnya: siapa yang bertanggung jawab mengirimkan transaksi penalti ke blockchain Bitcoin? Kalau pengawas adalah satu entitas atau kumpulan terbatas, bagaimana jika dia diserang atau sedang offline? Jika jaringan Bitcoin kebetulan sedang padat dan transaksi penalti tersangkut di mempool selama beberapa jam, apakah “otomatis” itu masih relevan? Akhirnya aku menulis di catatanku: “pengurangan penalti otomatis” pada staking Bitcoin, pada dasarnya memindahkan kemacetan pada aktivitas (bottleneck) dari “koordinasi konsensus se-rantai di PoS” ke kombinasi “keterlambatan eksekusi lintas rantai + keandalan pengawas + responsivitas jaringan Bitcoin”. #baby Konsensus komunitas Ethereum memang lambat dan menyakitkan, tetapi itu bersifat inheren pada protokol—bahkan ketika lebih dari 1/3 validator berbuat jahat, komunitas tetap punya jalur untuk keputusan final. Staking Bitcoin memang cepat, tapi “otomatis”-nya bergantung pada syarat eksternal: pengawas harus online dan jujur, jaringan Bitcoin tidak boleh tersumbat, dan transaksi penalti harus segera dikonfirmasi. Tentu saja, ini sama sekali bukan berarti skema Ethereum lebih baik. Konsensus komunitas pada kondisi ekstrem hampir sama dengan berhentinya rantai, sedangkan keterlambatan lintas rantai pada staking Bitcoin umumnya bisa diterima. Namun dikotomi “otomatis” versus “manual” memang terlalu menyederhanakan. Formulasi yang lebih tepat mungkin adalah: “mekanisme pemicu otomatis berbasis lintas rantai yang efektif ketika fungsi pengawas dan jaringan Bitcoin berjalan normal.” Syarat ini tidak sampai mematikan, tetapi sebagai peneliti aku merasa perlu menuliskan batas tersebut dengan jelas. @babylonlabs_io
Tadi malam aku mengeluarkan lagi beberapa bagian di whitepaper tentang “pengurangan otomatis (automatic penalty)” serta perbandingannya dengan Casper/Tendermint. Saat membacanya sebelumnya, kupikir perbandingan antara “otomatis” dan “konsensus komunitas” sangat jelas: yang satu dieksekusi otomatis, yang lain butuh koordinasi yang kompleks—jadi terlihat mana yang unggul dan mana yang kalah. Tapi kali ini, aku menatap kata “otomatis” itu, dan makin lama rasanya ada sebuah syarat di baliknya yang belum sepenuhnya kupahami.

Aku menggambar ulang jalur eksekusi pengurangan penalti. Di bagian 9.2, whitepaper mengatakan bahwa pada PoS Ethereum, pelanggaran keamanan memerlukan konsensus komunitas agar bisa dilakukan pengurangan penalti, karena lebih dari 1/3 validator yang bersifat jahat dapat memeriksa bukti penalti yang ada di rantai, sehingga prosesnya harus melewati koordinasi di luar rantai dan kemudian merestart rantai. Sedangkan pada staking Bitcoin, karena dananya $BABY ada di dalam blockchain Bitcoin, begitu pelanggaran terjadi, “langsung dikenai pengurangan penalti secara otomatis”. Namun masalahnya: siapa yang bertanggung jawab mengirimkan transaksi penalti ke blockchain Bitcoin? Kalau pengawas adalah satu entitas atau kumpulan terbatas, bagaimana jika dia diserang atau sedang offline? Jika jaringan Bitcoin kebetulan sedang padat dan transaksi penalti tersangkut di mempool selama beberapa jam, apakah “otomatis” itu masih relevan?

Akhirnya aku menulis di catatanku: “pengurangan penalti otomatis” pada staking Bitcoin, pada dasarnya memindahkan kemacetan pada aktivitas (bottleneck) dari “koordinasi konsensus se-rantai di PoS” ke kombinasi “keterlambatan eksekusi lintas rantai + keandalan pengawas + responsivitas jaringan Bitcoin”. #baby Konsensus komunitas Ethereum memang lambat dan menyakitkan, tetapi itu bersifat inheren pada protokol—bahkan ketika lebih dari 1/3 validator berbuat jahat, komunitas tetap punya jalur untuk keputusan final. Staking Bitcoin memang cepat, tapi “otomatis”-nya bergantung pada syarat eksternal: pengawas harus online dan jujur, jaringan Bitcoin tidak boleh tersumbat, dan transaksi penalti harus segera dikonfirmasi.

Tentu saja, ini sama sekali bukan berarti skema Ethereum lebih baik. Konsensus komunitas pada kondisi ekstrem hampir sama dengan berhentinya rantai, sedangkan keterlambatan lintas rantai pada staking Bitcoin umumnya bisa diterima. Namun dikotomi “otomatis” versus “manual” memang terlalu menyederhanakan. Formulasi yang lebih tepat mungkin adalah: “mekanisme pemicu otomatis berbasis lintas rantai yang efektif ketika fungsi pengawas dan jaringan Bitcoin berjalan normal.” Syarat ini tidak sampai mematikan, tetapi sebagai peneliti aku merasa perlu menuliskan batas tersebut dengan jelas. @BabylonLabs_io
Lihat terjemahan
周五晚上又把白皮书里关于系统架构那部分翻了出来,之前觉得巴比伦链作为控制平面的设计很清晰,三层架构(比特币-巴比伦-PoS链)看着很漂亮。但这次我顺着信任链往下推,突然发现一个问题:巴比伦链的安全由谁保障?#baby 白皮书说巴比伦链基于Cosmos SDK实现,通过ATOM(或自己的代币)$BABY 质押来保证安全。但比特币权益质押的核心承诺是“无需信任第三方”,现在却把整个协议的同步、权益注册、罚减记录都托付给一条PoS链。如果巴比伦链的质押率不足,或者验证者集被攻击者渗透,那攻击者可以做的事情远不止双签——他可以篡改时间戳、伪造终局性签名、甚至阻止罚减交易上链。这让我想到一个递归信任问题:比特币权益质押的信任模型,最终是否退化为对巴比伦链(或ATOM)质押经济的信任? 我画了一个递归信任环:比特币的工作量证明 → 巴比伦链的权益证明 → 比特币质押者的信任。这个环的脆弱点其实不在比特币,而在巴比伦链。白皮书承认控制平面需要去中心化、抗审查,但没有量化“如果巴比伦链被攻击,安全模型会退化到什么程度”。 我在笔记里写了一句:“比特币权益质押的信任锚点,最终落在了一条PoS链上。” 这不是说方案不可行,而是说“无需信任”这个表述需要重新校准——不是绝对意义上的无需信任,而是信任从桥托管人转移到了巴比伦链的验证者社会合约上。这个转移是否更优?可能,但绝不是信任归零。我暂时没有答案,但我会继续盯巴比伦链的验证者分布和质押率。@babylonlabs_io
周五晚上又把白皮书里关于系统架构那部分翻了出来,之前觉得巴比伦链作为控制平面的设计很清晰,三层架构(比特币-巴比伦-PoS链)看着很漂亮。但这次我顺着信任链往下推,突然发现一个问题:巴比伦链的安全由谁保障?#baby

白皮书说巴比伦链基于Cosmos SDK实现,通过ATOM(或自己的代币)$BABY 质押来保证安全。但比特币权益质押的核心承诺是“无需信任第三方”,现在却把整个协议的同步、权益注册、罚减记录都托付给一条PoS链。如果巴比伦链的质押率不足,或者验证者集被攻击者渗透,那攻击者可以做的事情远不止双签——他可以篡改时间戳、伪造终局性签名、甚至阻止罚减交易上链。这让我想到一个递归信任问题:比特币权益质押的信任模型,最终是否退化为对巴比伦链(或ATOM)质押经济的信任?

我画了一个递归信任环:比特币的工作量证明 → 巴比伦链的权益证明 → 比特币质押者的信任。这个环的脆弱点其实不在比特币,而在巴比伦链。白皮书承认控制平面需要去中心化、抗审查,但没有量化“如果巴比伦链被攻击,安全模型会退化到什么程度”。

我在笔记里写了一句:“比特币权益质押的信任锚点,最终落在了一条PoS链上。” 这不是说方案不可行,而是说“无需信任”这个表述需要重新校准——不是绝对意义上的无需信任,而是信任从桥托管人转移到了巴比伦链的验证者社会合约上。这个转移是否更优?可能,但绝不是信任归零。我暂时没有答案,但我会继续盯巴比伦链的验证者分布和质押率。@BabylonLabs_io
Lihat terjemahan
昨晚又把白皮书里关于快速解绑那部分翻了出来,之前觉得“3天解绑+比特币时间戳”的组合挺严谨的,但这次我专门把时间参数画在纸上,看着看着心里就有点发毛。 我画了一条时间线:假设攻击者在比特币链上发起解绑交易,$BABY 比特币出块间隔平均10分钟,算上交易确认,要等1个区块确认(10分钟)才能算初步上链。但这时候PoS链可能已经跑了600个区块(如果出块速度1秒一个)。攻击者完全可以在这10分钟窗口内,利用还没被移除的旧质押者集合在PoS链上快速分叉——因为解绑交易虽然进了比特币链,但PoS链的质押者集合更新是依赖比特币时间戳来同步的,而这个时间戳本身也有延迟。白皮书说“需紧密同步”,但到底多紧密才算安全?是10分钟、30分钟,还是必须在一个PoS区块内?没有给出具体边界。@babylonlabs_io 我后来在笔记里写了一句:攻击者赚的不是解绑后的时间差,而是解绑交易被比特币链确认到时间戳被PoS链采纳之间的那一段“灰色地带”。 如果这段时间足够长,旧质押者集合的投票权就有可能被用来制造一个已确认的分叉,而比特币时间戳即使后来记录了,也未必能逆转已经发生的安全违规。白皮书承认这个问题,但“正在重新定位这项技术”这句话让我觉得,这个安全边界可能还在研究中。#baby 想到这里我又翻了翻[35]的引用,那篇论文讨论的是原生PoS链用比特币时间戳实现快速解绑,但应用到比特币权益质押场景,参数假设完全不同。我暂时没有答案,但这个时间差窗口到底怎么算,我会继续盯着。
昨晚又把白皮书里关于快速解绑那部分翻了出来,之前觉得“3天解绑+比特币时间戳”的组合挺严谨的,但这次我专门把时间参数画在纸上,看着看着心里就有点发毛。

我画了一条时间线:假设攻击者在比特币链上发起解绑交易,$BABY 比特币出块间隔平均10分钟,算上交易确认,要等1个区块确认(10分钟)才能算初步上链。但这时候PoS链可能已经跑了600个区块(如果出块速度1秒一个)。攻击者完全可以在这10分钟窗口内,利用还没被移除的旧质押者集合在PoS链上快速分叉——因为解绑交易虽然进了比特币链,但PoS链的质押者集合更新是依赖比特币时间戳来同步的,而这个时间戳本身也有延迟。白皮书说“需紧密同步”,但到底多紧密才算安全?是10分钟、30分钟,还是必须在一个PoS区块内?没有给出具体边界。@BabylonLabs_io

我后来在笔记里写了一句:攻击者赚的不是解绑后的时间差,而是解绑交易被比特币链确认到时间戳被PoS链采纳之间的那一段“灰色地带”。 如果这段时间足够长,旧质押者集合的投票权就有可能被用来制造一个已确认的分叉,而比特币时间戳即使后来记录了,也未必能逆转已经发生的安全违规。白皮书承认这个问题,但“正在重新定位这项技术”这句话让我觉得,这个安全边界可能还在研究中。#baby

想到这里我又翻了翻[35]的引用,那篇论文讨论的是原生PoS链用比特币时间戳实现快速解绑,但应用到比特币权益质押场景,参数假设完全不同。我暂时没有答案,但这个时间差窗口到底怎么算,我会继续盯着。
Lihat terjemahan
#baby $BABY 刚把巴比伦白皮书的“远程质押”部分又拉了回来,之前第一遍读的时候觉得“无需信任”这个点很漂亮,比特币留在原链上,桥接那套托管人风险直接绕过去了。但这次我翻了翻EOTS罚减的执行路径,心里突然有点不踏实。 我重新画了一下攻击场景:假设一个验证者双签了,那罚减交易需要由谁来广播到比特币链?白皮书没有明说,但逻辑上一定要有一个“监控者”角色,可能是巴比伦链自身,也可能是第三方全节点。如果这个监控者离线了,或者被审查了,或者说这个监控者本身就是恶意的,它选择不广播罚减交易,那这个验证者的违规行为是不是就滑过去了?那“无需信任”究竟还成不成立? 我后来在笔记里写了一句:远程质押把信任从桥托管人转移到了“监控者+比特币网络时效性”这个组合上。 桥接方案要信任锁仓方,远程质押要信任有人会及时按正确路径广播交易。这两种信任的差异其实不是质的飞跃,而是成本的转移。监控者是否构成了一个全新的信任锚点?白皮书没有展开讨论监控者的去中心化假设,也没有量化监控者作恶或失联下的安全退化边界。 想到这里我又翻了翻EOTS密钥的假设,如果验证者密钥泄露了,攻击者可以伪造违规吗?罚减交易需要验证者签名,但如果密钥泄露了,攻击者可能主动制造违规并立即广播罚减,那监控者反而成了被动工具。这个路径越想越复杂,好像“无需信任”只是对桥接问题的相对改进,但绝对意义上的信任归零,恐怕还差得远。我暂时没有确定的结论,这个点我会继续拆。
#baby $BABY 刚把巴比伦白皮书的“远程质押”部分又拉了回来,之前第一遍读的时候觉得“无需信任”这个点很漂亮,比特币留在原链上,桥接那套托管人风险直接绕过去了。但这次我翻了翻EOTS罚减的执行路径,心里突然有点不踏实。

我重新画了一下攻击场景:假设一个验证者双签了,那罚减交易需要由谁来广播到比特币链?白皮书没有明说,但逻辑上一定要有一个“监控者”角色,可能是巴比伦链自身,也可能是第三方全节点。如果这个监控者离线了,或者被审查了,或者说这个监控者本身就是恶意的,它选择不广播罚减交易,那这个验证者的违规行为是不是就滑过去了?那“无需信任”究竟还成不成立?

我后来在笔记里写了一句:远程质押把信任从桥托管人转移到了“监控者+比特币网络时效性”这个组合上。 桥接方案要信任锁仓方,远程质押要信任有人会及时按正确路径广播交易。这两种信任的差异其实不是质的飞跃,而是成本的转移。监控者是否构成了一个全新的信任锚点?白皮书没有展开讨论监控者的去中心化假设,也没有量化监控者作恶或失联下的安全退化边界。

想到这里我又翻了翻EOTS密钥的假设,如果验证者密钥泄露了,攻击者可以伪造违规吗?罚减交易需要验证者签名,但如果密钥泄露了,攻击者可能主动制造违规并立即广播罚减,那监控者反而成了被动工具。这个路径越想越复杂,好像“无需信任”只是对桥接问题的相对改进,但绝对意义上的信任归零,恐怕还差得远。我暂时没有确定的结论,这个点我会继续拆。
Lihat terjemahan
凌晨一点,我在Newton白皮书里发现一个没人提的缺口 昨晚咖啡喝多了,翻来覆去睡不着,又拿起手机刷Newton白皮书。第六章NIO部分写得很顺——加密、选择性披露、TEE验证、凭证跨链携带——一套漂亮的技术闭环。我划过去,准备睡了。 但“Issuers are entities that attest to user attributes”这句话里的entity突然卡在脑子里,再也睡不着。 翻了个身,我把第六章从到尾又看了一遍。它讲了怎么验凭证、怎么保护隐私、怎么防重放。唯独一个问题一个字没提:谁来验发凭证的那个人? 系统假设Issuer天然可信——但攻击者伪造一个叫“合规KYC机构”的Issuer,给一批假钱包签发“accredited investor”凭证,然后用这些凭证去操作合规资金池,结果会怎样?TEE验的是证书签名,不是Issuer的合法身份。如果说整个授权网络是座金库,保险柜防弹、密码量子级、流程全自动——唯独配钥匙的人没人审查。 我不是在唱反调。Newton完全可以在主网Beta里补上Issuer注册白名单或信誉机制,团队大概率已经想到了。但白皮书选择把这个问题当作“已知前提”跳过,让我觉得早期阶段的用户有必要自己多问一句:都说凭证可验证,签发凭证的人,谁来验证? 我现在对Newton的跟踪又多了一个指标:不仅是看它的授权层能否跑通,更要看它如何回答这个“信任的最后一公里”。这个答案,将决定它到底是真去信任,还是只是把信任往前挪了一步。 #newt $NEWT @NewtonProtocol
凌晨一点,我在Newton白皮书里发现一个没人提的缺口

昨晚咖啡喝多了,翻来覆去睡不着,又拿起手机刷Newton白皮书。第六章NIO部分写得很顺——加密、选择性披露、TEE验证、凭证跨链携带——一套漂亮的技术闭环。我划过去,准备睡了。

但“Issuers are entities that attest to user attributes”这句话里的entity突然卡在脑子里,再也睡不着。

翻了个身,我把第六章从到尾又看了一遍。它讲了怎么验凭证、怎么保护隐私、怎么防重放。唯独一个问题一个字没提:谁来验发凭证的那个人?

系统假设Issuer天然可信——但攻击者伪造一个叫“合规KYC机构”的Issuer,给一批假钱包签发“accredited investor”凭证,然后用这些凭证去操作合规资金池,结果会怎样?TEE验的是证书签名,不是Issuer的合法身份。如果说整个授权网络是座金库,保险柜防弹、密码量子级、流程全自动——唯独配钥匙的人没人审查。

我不是在唱反调。Newton完全可以在主网Beta里补上Issuer注册白名单或信誉机制,团队大概率已经想到了。但白皮书选择把这个问题当作“已知前提”跳过,让我觉得早期阶段的用户有必要自己多问一句:都说凭证可验证,签发凭证的人,谁来验证?

我现在对Newton的跟踪又多了一个指标:不仅是看它的授权层能否跑通,更要看它如何回答这个“信任的最后一公里”。这个答案,将决定它到底是真去信任,还是只是把信任往前挪了一步。
#newt $NEWT @NewtonProtocol
Lihat terjemahan
可验证,但向谁验证?Newton Protocol 的 TaskManager 信任之困前天晚上我从头到尾读了一遍NewtonProtocol的合约集成示例,就是白皮书7.6那个USDC转账场景。前几遍都是看热闹:钱包拿attestation,合约验证,一笔合规转账搞定。但那天我格外留意了一行字:“Smart contract validates the attestation against the TaskManager”。然后我拿记号笔把那句一划,在旁边写了个问题:这个TaskManager是什么? 我盯着页面陷入了一种模糊的不适。说真的,当时我也说不清哪不对劲。就像走进一家装修很高级的银行,金库门是钛合金的,摄像头是4K的,但我发现整个安保系统的主控开关就在大厅前台下面,谁都能踢一脚 我先重新整理了自己的认知曲线。最开始我以为Newton的attestation是一个自包含的密码学对象:一个BLS聚合签名,带着operator的签名和元数据,合约拿到后自己就能验证。画流程图的时候才发现,合约并没有“自己验证签名”的能力,它必须查询TaskManager合约的链上状态:当前operator集的公钥、stake权重、阈值,甚至还要检查attestation有没有被挑战推翻。换句话说,它每验证一次attestation,都要向TaskManager要一份“当前有效的签名者名单” 这不只是一个实现细节。它重新定义了这套系统的信任拓扑。 我专门画了一张三层依赖图:最底层是Ethereum EVM,中间是TaskManager合约,上层是应用合约。一个验证调用从上层出发,先读TaskManager状态,再读attestation数据,才能判断要不要放行交易。这让我想起一个更常见的场景,开发者用Chainlink喂价的时候,合约逻辑里会写“那我要先读一下这个预言机合约的最新答案是多少”。你现在读的不是价格,是验证规则本身 如果TaskManager的operator表更新了,应用合约验证签名时用的是旧表还是新表?白皮书写了跨链同步机制,operator集在source chain变化后,通过BLS签名同步到dest chain。但同步是有延迟的。如果dest chain的operator表还包含一个已经被source chain slashed的operator,这个operator的老签名在延迟窗口内依然能骗过应用合约 我还花了一个小时倒推升级治理的攻击路径。白皮书说智能合约升级遵守透明代理模式定时锁,意思是变更会提前公示。但注意:一个合规稳定币如果绑定了某个attestation验证函数(比如调用TaskManager的verifyAttestation),而TaskManager的升级改变了验证逻辑,比如把投票阈值从三分之二改成过半数,那原来的安全假设就变了。三签变两签。你以为是去中心化,其实是一个治理提案偷偷把门开大了。 我翻到白皮书9.3节又看了一遍挑战机制,发现一个问题:挑战机制设计来惩罚造假的operator(slash stake),但TaskManager本身呢?任务管理器因为软件bug返回了错误公钥,难道slash合约本身?你没办法slashing一份代码,你只能升级它。升级又要靠治理,那治理本身还不是跟现在任何DAO一样会被攻击,一样有投票操纵风险。所谓的“去中心化授权层”在底子上放了一个“中心化治理层” 我越想这个逻辑链条越觉得自己掉进了一个结构性的错位。我们一直吐槽预言机引入中心化依赖,但预言机只提供数据,数据错了,智能合约的执行还不一定错(比如一个清算合约,喂价错了会错误清算,但合约本身逻辑是完整的)。可TaskManager提供的是“验证逻辑本身”,它一旦出错,所有依赖它的合约根本没有独立验证的能力。不是说它们不能验算签名,而是它们缺了一套“我知道哪些key是当前的key”的独立来源。应用合约必须信任TaskManager状态是真的。 这让我想起一桩旧事:几年前一些NFT合约依赖OpenSea的链下订单簿,OpenSea服务挂了,市场直接瘫痪。后来大家学乖了,开始用链上订单簿。现在Newton的做法,本质上是把验证规则的管理权集中到了一个合约上,虽然明面上还是链上的、开放的、可读的,但它成了一个“验证服务节点”的角色,只不过链替代了服务器。但链上服务就不是服务了吗?一样是依赖。 我把笔记本合上,钢笔在纸上洇出一个墨点。我以前觉得Newton的attestation替代了API响应,让合规从“可忽略”变成了“可验证”,确实进步了。但“可验证”不等于“免依赖”。验证需要状态,状态需要源,源就是TaskManager这个合约本身。你没有绕过信任,你把信任从一个人换成了一个合约,又把这个合约装进了一个可治理的壳里。 那天晚上我躺到床上,脑子里一直转着一个画面:如果你在任何一个依赖TaskManager的合约里加一行检查,“把TaskManager地址固定成硬编码”,那你就是用代码把自己的资金和这个合约的生命周期绑死了。合约升级了,你的硬编码就没用了。这就是新的攻击面:谁说篡改一定要改业务合约?改掉验证规则就行了,兵不血刃。 当然,我知道Newton设计了跨链operator同步和force-inclusion机制,升级也有timelock,这些都增加了攻击成本。但问题不在于攻击难度,而在于这个攻击面在项目介绍里几乎不被讨论。白皮书一直在说“attestation is verifiable”,好像验证过程是空气,不消耗信任假设。但实际部署中,每一个集成Newton的智能合约工程师,都必须在心里默默接受一件事:我信任TaskManager不会有bug,不会被治理劫持,不会在跨链同步时延迟出一个危险窗口 我最终还是没能把它当成一个“已有的问题”,更像一个我想继续盯的裂隙。第二天早上喝第二杯咖啡的时候,我又翻开白皮书第五页,看到那句话:“Newton does not replace existing compliance stacks — it enhances them with verifiable, onchain enforcement。”现在我读到“verifiable, onchain enforcement”会不自觉地加一句备注:verifiable的前提是,验证依赖本身是可信的。这家店说所有商品都有防伪标签,但你查标签时,必须用他们店里唯一那台验证机。那台机器要是坏了呢,我问店员,他说机修工正在路上,让我等等#newt $NEWT @NewtonProtocol

可验证,但向谁验证?Newton Protocol 的 TaskManager 信任之困

前天晚上我从头到尾读了一遍NewtonProtocol的合约集成示例,就是白皮书7.6那个USDC转账场景。前几遍都是看热闹:钱包拿attestation,合约验证,一笔合规转账搞定。但那天我格外留意了一行字:“Smart contract validates the attestation against the TaskManager”。然后我拿记号笔把那句一划,在旁边写了个问题:这个TaskManager是什么?
我盯着页面陷入了一种模糊的不适。说真的,当时我也说不清哪不对劲。就像走进一家装修很高级的银行,金库门是钛合金的,摄像头是4K的,但我发现整个安保系统的主控开关就在大厅前台下面,谁都能踢一脚
我先重新整理了自己的认知曲线。最开始我以为Newton的attestation是一个自包含的密码学对象:一个BLS聚合签名,带着operator的签名和元数据,合约拿到后自己就能验证。画流程图的时候才发现,合约并没有“自己验证签名”的能力,它必须查询TaskManager合约的链上状态:当前operator集的公钥、stake权重、阈值,甚至还要检查attestation有没有被挑战推翻。换句话说,它每验证一次attestation,都要向TaskManager要一份“当前有效的签名者名单”
这不只是一个实现细节。它重新定义了这套系统的信任拓扑。
我专门画了一张三层依赖图:最底层是Ethereum EVM,中间是TaskManager合约,上层是应用合约。一个验证调用从上层出发,先读TaskManager状态,再读attestation数据,才能判断要不要放行交易。这让我想起一个更常见的场景,开发者用Chainlink喂价的时候,合约逻辑里会写“那我要先读一下这个预言机合约的最新答案是多少”。你现在读的不是价格,是验证规则本身
如果TaskManager的operator表更新了,应用合约验证签名时用的是旧表还是新表?白皮书写了跨链同步机制,operator集在source chain变化后,通过BLS签名同步到dest chain。但同步是有延迟的。如果dest chain的operator表还包含一个已经被source chain slashed的operator,这个operator的老签名在延迟窗口内依然能骗过应用合约
我还花了一个小时倒推升级治理的攻击路径。白皮书说智能合约升级遵守透明代理模式定时锁,意思是变更会提前公示。但注意:一个合规稳定币如果绑定了某个attestation验证函数(比如调用TaskManager的verifyAttestation),而TaskManager的升级改变了验证逻辑,比如把投票阈值从三分之二改成过半数,那原来的安全假设就变了。三签变两签。你以为是去中心化,其实是一个治理提案偷偷把门开大了。
我翻到白皮书9.3节又看了一遍挑战机制,发现一个问题:挑战机制设计来惩罚造假的operator(slash stake),但TaskManager本身呢?任务管理器因为软件bug返回了错误公钥,难道slash合约本身?你没办法slashing一份代码,你只能升级它。升级又要靠治理,那治理本身还不是跟现在任何DAO一样会被攻击,一样有投票操纵风险。所谓的“去中心化授权层”在底子上放了一个“中心化治理层”
我越想这个逻辑链条越觉得自己掉进了一个结构性的错位。我们一直吐槽预言机引入中心化依赖,但预言机只提供数据,数据错了,智能合约的执行还不一定错(比如一个清算合约,喂价错了会错误清算,但合约本身逻辑是完整的)。可TaskManager提供的是“验证逻辑本身”,它一旦出错,所有依赖它的合约根本没有独立验证的能力。不是说它们不能验算签名,而是它们缺了一套“我知道哪些key是当前的key”的独立来源。应用合约必须信任TaskManager状态是真的。
这让我想起一桩旧事:几年前一些NFT合约依赖OpenSea的链下订单簿,OpenSea服务挂了,市场直接瘫痪。后来大家学乖了,开始用链上订单簿。现在Newton的做法,本质上是把验证规则的管理权集中到了一个合约上,虽然明面上还是链上的、开放的、可读的,但它成了一个“验证服务节点”的角色,只不过链替代了服务器。但链上服务就不是服务了吗?一样是依赖。
我把笔记本合上,钢笔在纸上洇出一个墨点。我以前觉得Newton的attestation替代了API响应,让合规从“可忽略”变成了“可验证”,确实进步了。但“可验证”不等于“免依赖”。验证需要状态,状态需要源,源就是TaskManager这个合约本身。你没有绕过信任,你把信任从一个人换成了一个合约,又把这个合约装进了一个可治理的壳里。
那天晚上我躺到床上,脑子里一直转着一个画面:如果你在任何一个依赖TaskManager的合约里加一行检查,“把TaskManager地址固定成硬编码”,那你就是用代码把自己的资金和这个合约的生命周期绑死了。合约升级了,你的硬编码就没用了。这就是新的攻击面:谁说篡改一定要改业务合约?改掉验证规则就行了,兵不血刃。
当然,我知道Newton设计了跨链operator同步和force-inclusion机制,升级也有timelock,这些都增加了攻击成本。但问题不在于攻击难度,而在于这个攻击面在项目介绍里几乎不被讨论。白皮书一直在说“attestation is verifiable”,好像验证过程是空气,不消耗信任假设。但实际部署中,每一个集成Newton的智能合约工程师,都必须在心里默默接受一件事:我信任TaskManager不会有bug,不会被治理劫持,不会在跨链同步时延迟出一个危险窗口
我最终还是没能把它当成一个“已有的问题”,更像一个我想继续盯的裂隙。第二天早上喝第二杯咖啡的时候,我又翻开白皮书第五页,看到那句话:“Newton does not replace existing compliance stacks — it enhances them with verifiable, onchain enforcement。”现在我读到“verifiable, onchain enforcement”会不自觉地加一句备注:verifiable的前提是,验证依赖本身是可信的。这家店说所有商品都有防伪标签,但你查标签时,必须用他们店里唯一那台验证机。那台机器要是坏了呢,我问店员,他说机修工正在路上,让我等等#newt $NEWT @NewtonProtocol
Lihat terjemahan
在Newton白皮书里画出的那根收束线昨天晚上我盯着Newton白皮书的系统架构图看了很久,手里握着笔画水流方向——从Application流向Gateway,从Gateway流到Operator,再回来。画的线多了,有一个地方越看越不顺眼。 我画着画着,手停住了。所有箭头最终都交汇在同一个盒子上:Gateway。 最开始我觉得“流式两阶段共识”这个设计挺妙的——Prepare阶段让所有Operator各自从自己的网络路径取数,Gateway拿到所有响应算个中位数,再广播评估阶段。既要分散取数一致性,又要保证所有Operator签同一个消息,这确实是对“既要去中心化又要保持高速”的一种工程化妥协。我写笔记时甚至给它标了个星号表示“设计亮点”。 但那天晚上我画时序图的时候,突然被自己的箭头绊住了。Gateway的根本角色是桥接、排队、标记时间、重试、聚合,还是别的什么?我仔细标了一遍它做的事:接收客户端任务、发布Prepare消息到NATS、收集Operator反馈、计算中位数、再发Evaluate消息、等签名、聚合签名、签“确认”、提交到链上。 这像一个什么场景?很像一条高速公路所有入口都开放,但所有车最终必须通过同一个收费站才能下高速。 我越想越觉得这个类比贴切。Operator们确实是去中心化的、独立取数的,每个Operator跑的路线不一样,但它们跑完之后必须把数据送回同一个地方让Gateway汇总。Gateway算完中位数之后,所有Operator想继续往前走,必须等Gateway把数据广播下来。 收费站的工作人员可以换班(白皮书说Gateway会rotation),但收费站这个位置是固定的。它就是这个拓扑结构里的收束点。 说真的,我开始理解设计者为什么这么选。完全去中心化的共识协议跑太慢了,一笔交易等几十次网络往返,Authorization还没出来资金都已经上链了。用Gateway算中位数、再统一分发确实可以把延迟压到亚秒级。代价是什么?代价是重新引入了一个集中化的通信枢纽。 我后来专门翻那段关于force-inclusion的描述。白皮书说应用可以绕过Gateway,直接向Operator网络提交任务。这行字在我的理解里相当于一扇防火门——设计者清楚主门的拥堵风险,留了一条紧急出口。但防火门的吞吐量和正门是一个量级吗?Fire-inclusion意味着没有NATS的流式优化,意味着应用需要亲自和每个Operator握手,意味着巨量的RPC开销。它是为了应对极端审核场景准备的,不是用来支撑日常每秒几百笔授权流量的运营方案。 我算了算,如果Gateway在那一轮里被操纵或者瘫痪了,后果是什么?它是个完全无状态的处理节点,逻辑最短、最轻量,但对于整个共识流来说,它是那个必须活下去的节点。一旦它挂了,整个网络的Prepare-Evaluate循环就无法推进。所有Operator还在线上,所有签名还在跑,但没有人能告诉它们“现在评估哪一套数据”。就像运动员已经站到起跑线上,但裁判不知道去哪了。 我画了一张图:把NATS的Fan-out扇出倍数从Operator数量算进去了。结果数字大到我以为自己写错了。后来重算才发现自己对延迟太乐观了——就算NATS本身很快,只要最慢那个Operator的响应速度拖着,Gateway算中位数的那步就卡在那。它不是自己慢,它是被设计成必须等所有人到齐再发车。 我突然理解了那个困惑感到底在哪。分布式可验证 ≠ 分布式决策。Operator的签名确实是分布式的,每个Operator独立算、独立签。但“共识数据”本身不是分布式的——它是Gateway单点计算出来的。所有Operator签的是Gateway给它的数据,不是自己取的原始数据。如果这个数据在中位数计算过程中被污染,后续的“分布式签名”在签的根本不是原生态的事实,而是经过一个人工聚合的视图。 说真的,我理解这个设计。没有Gateway的聚合,就没法统一数据让BLS聚合成一个签名。统一了就必然有聚合点。问题不在于Gateway是不是单点,而在于这个单点在系统的信任模型中是个公开的秘密。白皮书对Prepare阶段的“基于中位数的共识”描述得像个纯技术细节,但它在拓扑意义上决定了整个网络的通信结构是以Gateway为中心的星型结构。 这不是传统意义上的中心化信任——Gateway不拥有一票否决权、不控制策略、不掌握密钥。但它是最容易被掐断的那段输油管。 我端着一杯三小时前泡的茶站在窗边,楼下路灯照着夜里开过去的一辆车。我在想,当协议宣传“decentralized operator network”的时候,用户和开发者听到的是一个平坦的、对等的、每个节点权力相当的网络。但真实拓扑里,Gateway哪怕只是临时扮演协调者,它依然是流过最多通信量的那个唯一路口。 在现代分布式系统里,控制流和数据流的分开是常见设计。但“共识数据”的生成本身既包含控制流又包含数据流。Gateway把数据拿过来、切一块、再送回,这是数据流的必经节点。它可能不是逻辑上的信任锚点,但它是架构上的执行锚点。 会不会有一种方式,把“数据集共识”自然地嵌入到Operator集本身,而不依赖一个外部聚合者?Operator之间直接交换取数差异,然后本地收敛到同一个median,Cryptographic commitment再广播?我不知道,但至少我不再满足于拿“流式两阶段共识”这个技术名词来草草解释这个系统的可信度了 #newt $NEWT @NewtonProtocol 当然,现在还在早期。Gateway轮换的具体周期、状态同步成本、force-inclusion的使用案例,这些变量我还没拿到完整数据去估算具体风险。但这个观察让我对自己的牛顿研究推翻了一个假设:共识不一定是去中心化执行的终点,它也可以是中心化协调的起点。只是前者和后者,听起来像两件事

在Newton白皮书里画出的那根收束线

昨天晚上我盯着Newton白皮书的系统架构图看了很久,手里握着笔画水流方向——从Application流向Gateway,从Gateway流到Operator,再回来。画的线多了,有一个地方越看越不顺眼。
我画着画着,手停住了。所有箭头最终都交汇在同一个盒子上:Gateway。
最开始我觉得“流式两阶段共识”这个设计挺妙的——Prepare阶段让所有Operator各自从自己的网络路径取数,Gateway拿到所有响应算个中位数,再广播评估阶段。既要分散取数一致性,又要保证所有Operator签同一个消息,这确实是对“既要去中心化又要保持高速”的一种工程化妥协。我写笔记时甚至给它标了个星号表示“设计亮点”。
但那天晚上我画时序图的时候,突然被自己的箭头绊住了。Gateway的根本角色是桥接、排队、标记时间、重试、聚合,还是别的什么?我仔细标了一遍它做的事:接收客户端任务、发布Prepare消息到NATS、收集Operator反馈、计算中位数、再发Evaluate消息、等签名、聚合签名、签“确认”、提交到链上。
这像一个什么场景?很像一条高速公路所有入口都开放,但所有车最终必须通过同一个收费站才能下高速。
我越想越觉得这个类比贴切。Operator们确实是去中心化的、独立取数的,每个Operator跑的路线不一样,但它们跑完之后必须把数据送回同一个地方让Gateway汇总。Gateway算完中位数之后,所有Operator想继续往前走,必须等Gateway把数据广播下来。
收费站的工作人员可以换班(白皮书说Gateway会rotation),但收费站这个位置是固定的。它就是这个拓扑结构里的收束点。
说真的,我开始理解设计者为什么这么选。完全去中心化的共识协议跑太慢了,一笔交易等几十次网络往返,Authorization还没出来资金都已经上链了。用Gateway算中位数、再统一分发确实可以把延迟压到亚秒级。代价是什么?代价是重新引入了一个集中化的通信枢纽。
我后来专门翻那段关于force-inclusion的描述。白皮书说应用可以绕过Gateway,直接向Operator网络提交任务。这行字在我的理解里相当于一扇防火门——设计者清楚主门的拥堵风险,留了一条紧急出口。但防火门的吞吐量和正门是一个量级吗?Fire-inclusion意味着没有NATS的流式优化,意味着应用需要亲自和每个Operator握手,意味着巨量的RPC开销。它是为了应对极端审核场景准备的,不是用来支撑日常每秒几百笔授权流量的运营方案。
我算了算,如果Gateway在那一轮里被操纵或者瘫痪了,后果是什么?它是个完全无状态的处理节点,逻辑最短、最轻量,但对于整个共识流来说,它是那个必须活下去的节点。一旦它挂了,整个网络的Prepare-Evaluate循环就无法推进。所有Operator还在线上,所有签名还在跑,但没有人能告诉它们“现在评估哪一套数据”。就像运动员已经站到起跑线上,但裁判不知道去哪了。
我画了一张图:把NATS的Fan-out扇出倍数从Operator数量算进去了。结果数字大到我以为自己写错了。后来重算才发现自己对延迟太乐观了——就算NATS本身很快,只要最慢那个Operator的响应速度拖着,Gateway算中位数的那步就卡在那。它不是自己慢,它是被设计成必须等所有人到齐再发车。
我突然理解了那个困惑感到底在哪。分布式可验证 ≠ 分布式决策。Operator的签名确实是分布式的,每个Operator独立算、独立签。但“共识数据”本身不是分布式的——它是Gateway单点计算出来的。所有Operator签的是Gateway给它的数据,不是自己取的原始数据。如果这个数据在中位数计算过程中被污染,后续的“分布式签名”在签的根本不是原生态的事实,而是经过一个人工聚合的视图。
说真的,我理解这个设计。没有Gateway的聚合,就没法统一数据让BLS聚合成一个签名。统一了就必然有聚合点。问题不在于Gateway是不是单点,而在于这个单点在系统的信任模型中是个公开的秘密。白皮书对Prepare阶段的“基于中位数的共识”描述得像个纯技术细节,但它在拓扑意义上决定了整个网络的通信结构是以Gateway为中心的星型结构。
这不是传统意义上的中心化信任——Gateway不拥有一票否决权、不控制策略、不掌握密钥。但它是最容易被掐断的那段输油管。
我端着一杯三小时前泡的茶站在窗边,楼下路灯照着夜里开过去的一辆车。我在想,当协议宣传“decentralized operator network”的时候,用户和开发者听到的是一个平坦的、对等的、每个节点权力相当的网络。但真实拓扑里,Gateway哪怕只是临时扮演协调者,它依然是流过最多通信量的那个唯一路口。
在现代分布式系统里,控制流和数据流的分开是常见设计。但“共识数据”的生成本身既包含控制流又包含数据流。Gateway把数据拿过来、切一块、再送回,这是数据流的必经节点。它可能不是逻辑上的信任锚点,但它是架构上的执行锚点。
会不会有一种方式,把“数据集共识”自然地嵌入到Operator集本身,而不依赖一个外部聚合者?Operator之间直接交换取数差异,然后本地收敛到同一个median,Cryptographic commitment再广播?我不知道,但至少我不再满足于拿“流式两阶段共识”这个技术名词来草草解释这个系统的可信度了 #newt $NEWT @NewtonProtocol
当然,现在还在早期。Gateway轮换的具体周期、状态同步成本、force-inclusion的使用案例,这些变量我还没拿到完整数据去估算具体风险。但这个观察让我对自己的牛顿研究推翻了一个假设:共识不一定是去中心化执行的终点,它也可以是中心化协调的起点。只是前者和后者,听起来像两件事
Masuk untuk menjelajahi konten lainnya
Bergabunglah dengan pengguna kripto global di Binance Square
⚡️ Dapatkan informasi terbaru dan berguna tentang kripto.
💬 Dipercayai oleh bursa kripto terbesar di dunia.
👍 Temukan wawasan nyata dari kreator terverifikasi.
Email/Nomor Ponsel
Sitemap
Preferensi Cookie
S&K Platform