熱門話題
#
Bonk 生態迷因幣展現強韌勢頭
#
有消息稱 Pump.fun 計劃 40 億估值發幣,引發市場猜測
#
Solana 新代幣發射平臺 Boop.Fun 風頭正勁

Eli Ben-Sasson | Starknet.io
首席執行官@StarkWareLtd |共同發明者 ZK-STARK;Zcash。
將密碼學重新投入到加密中,以構建自由技術。
@StarkWareLtd |@Starknet |@CairoLang
什麼是 OP_CAT,為什麼我需要關心它?
比特幣的計算機有點像笨重的科學計算器,就像高中時使用的那種。每個按鈕稱為 "op_code"。不時,比特幣社區可能會同意添加一個新按鈕。
OP_CAT 就是這樣一個潛在的按鈕。中本聰曾經添加過它,然後又將其刪除。
OP_CAT 的功能相當簡單:它將兩個字符字符串連接在一起,就像 "複製-粘貼",所以這是一個相當簡單且安全的按鈕。但是如果你將它添加到比特幣這個科學計算器中,突然之間,你就允許比特幣的計算機驗證 ZK-STARKs 和其他證明系統。這為 rollups 和大規模擴展鋪平了道路,以一種自我保管的方式,忠於比特幣和中本聰的原則。
我百分之百確定中本聰不在。如果他/她在的話,他/她早就將 OP_CAT(以及許多其他 op_codes)放在比特幣上了。
2.56K
故事時間 -- 西部最快的證明者及其誕生過程。
當我們在2018年創立StarkWare時,我們的目標是建立第一個生產級的STARK證明者。當時,限制因素是以太坊的燃料成本。使用巨大的數字(256位的)來構建證明者是最簡單和最便宜的。這導致了一個簡單的STARK證明者,我們知道通過減少域大小可以使其更高效。
快進到2023年。到現在為止,整個世界都相信zkSTARKs是終極解決方案,許多團隊開始使用小域來構建系統,這導致了更快的證明者。
在2023年夏天,我們開始了一個項目,以選擇下一代證明技術。我們調查了所有現有的證明技術 -- SNARKs、基於折疊的技術、GKR等等。
我們非常迅速地意識到,主導性能因素是有限域的大小,32位質數是最佳選擇。為什麼?(1)所有現代硬體架構都針對這些進行了優化,(2)為什麼選擇質數(而不是二進制)?因為GPU不支持二進制乘法。
好吧,這讓我們面臨證明技術的選擇,如GKR和STARK,基於32位質數。
現在我們面臨一個問題。最快計算的最佳域是M31,但它缺乏快速STARK所需的群結構。
幸運的是,聰明的三人組 -- Ulrich Habock(當時在Polygon,現在全職在StarkWare)、David Levit和Shahar Papini想出了一種方法,利用M31上的“圓群”來獲得最佳解決方案。
新團隊開始實施數學。我們以最有效的方式進行測試和驗證效率,並以足夠模組化的方式構建,以便其他團隊使用。同時,基於我們之前的經驗,AIR約束基礎設施從零開始重建,以達到健全和高效的結果。
現在,Stwo正在Starknet中投入生產,降低成本和延遲。我們測試的基準數據超乎想像。與此同時,多個外部團隊正在使用它來構建他們的基礎設施。我認為這將成為開源證明者的黃金標準,歡迎大家使用它。
結束。
12.03K
為什麼我對 Starknet 看好?最佳技術。
確實,TVL 和 DeFi 交易量可能會更高。但我在思考長期。生態系統正在醞釀,等待另一個火花,而這個火花將會到來。當它來臨時,用戶和開發者將會發現最佳技術意味著最佳用戶體驗、最佳安全性、最佳功能,而這些在活動增加時不會減少。
為什麼它是最佳技術?
- 下一代和有史以來最好的智能合約語言。是的,Cairo 比 Solidity 或 Solana 的 Rust 更好。
- 下一代智能帳戶(得益於原生帳戶抽象)-> 為最終用戶提供更好的用戶體驗,以及頂級的自我保管安全性。
- 最大的鏈上計算能力 -> 永續交易所、遊戲開發者和其他重計算應用可以運行你在區塊鏈上找不到的複雜邏輯。
- 最安全的比特幣和以太坊連接。
- 唯一一個積極朝著完全、真正去中心化的 L2。
- 在序列器和證明者方面擁有最多的冗餘。
最安全、最快、最可靠的證明技術。
所以我在思考長期,我對 Starknet 非常看好。你也應該這樣。
51.29K
熱門
排行
收藏
鏈上熱點
X 熱門榜
近期融資
最受認可