#baby
比特幣的程式語言Bitcoin Script其實很陽春,沒辦法直接跑複雜的密碼學驗證,這也是為什麼一直以來很多人覺得BTC沒辦法真正參與DeFi的原因。今天想科普一下TBV怎麼繞過這個限制。
白皮書用的核心工具叫garbled circuit(混淆電路),這是密碼學裡一個滿老的技術,概念是把一段運算邏輯轉換成一堆加密過的門電路,讓兩方可以在不曝露各自輸入資料的情況下,共同算出一個結果,而且結果只會揭露對或錯這一個位元,中間過程完全看不到。TBV把這個技術用在比特幣鏈上,讓原本Bitcoin Script跑不動的”驗證外部合約狀態證明”這個運算,改成用garbled circuit的方式,把大量運算搬到鏈下跑,鏈上比特幣網路只需要驗證最後那個”對/錯”的結果。
這樣設計的巧妙之處在於,它不需要修改比特幣本身的共識規則,也不用軟分叉,就能讓BTC間接具備驗證複雜邏輯的能力。這也是為什麼TBV能做到自我託管,而不用像傳統跨鏈橋那樣,把BTC交給某個中心化實體保管。
我覺得這才是$BABY 生態值得被重新認識的地方:不是又一個包裝幣方案,而是實實在在解決了比特幣底層腳本語言的限制問題。@BabylonLabs_io 把密碼學裡沉寂已久的garbled circuit技術,重新用在了對的地方。
比特幣的程式語言Bitcoin Script其實很陽春,沒辦法直接跑複雜的密碼學驗證,這也是為什麼一直以來很多人覺得BTC沒辦法真正參與DeFi的原因。今天想科普一下TBV怎麼繞過這個限制。
白皮書用的核心工具叫garbled circuit(混淆電路),這是密碼學裡一個滿老的技術,概念是把一段運算邏輯轉換成一堆加密過的門電路,讓兩方可以在不曝露各自輸入資料的情況下,共同算出一個結果,而且結果只會揭露對或錯這一個位元,中間過程完全看不到。TBV把這個技術用在比特幣鏈上,讓原本Bitcoin Script跑不動的”驗證外部合約狀態證明”這個運算,改成用garbled circuit的方式,把大量運算搬到鏈下跑,鏈上比特幣網路只需要驗證最後那個”對/錯”的結果。
這樣設計的巧妙之處在於,它不需要修改比特幣本身的共識規則,也不用軟分叉,就能讓BTC間接具備驗證複雜邏輯的能力。這也是為什麼TBV能做到自我託管,而不用像傳統跨鏈橋那樣,把BTC交給某個中心化實體保管。
我覺得這才是$BABY 生態值得被重新認識的地方:不是又一個包裝幣方案,而是實實在在解決了比特幣底層腳本語言的限制問題。@BabylonLabs_io 把密碼學裡沉寂已久的garbled circuit技術,重新用在了對的地方。