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

A₿del ∞/21M
P2P 現金享受者 @StarkWareLtd 🧡 .如果你想改變世界,就不要抗議。編寫代碼!Freedom tech maxi #Bitcoin #Nostr @Starknet
Yosh,這是 markstr,一個基於 Nostr 的預言機解析的 POC,用於比特幣的預測市場,展示在啟用了 CTV 和 CSFS 的 Mutinynet signet 上。
結果解析腳本如下:
<outcome_message_hash> <oracle_pubkey> OP_CHECKSIGFROMSTACK
預言機需要簽署特定的 Nostr 事件(內容類似於:PredictionMarketId:SJ1IPWRX Outcome:Yes - Bitcoin 超過 $100k Timestamp:175284641),然後使用 CSFS 操作碼在鏈上驗證結果解析。
taproot 腳本路徑的見證將是:簽名(結果哈希 / Nostr 事件 ID),腳本(上面顯示的解析腳本),控制區塊。
4.41K
GRINTA 模式已啟動。
我真的很喜歡 grinta 的概念,它完美地捕捉了我當前的心情,以及我希望在 @StarkWareLtd 和 @Starknet 生態系統中看到的心態。
Grinta 意味著毅力、決心、堅定。但這些翻譯並未完全捕捉到它的全部火焰。它更像是一種野蠻的能量,釋放出瘋狂的力量,讓你在受傷時仍然堅持,超越自己的極限。它使你超越自我。
我現在擁有這種 grinta,比以往任何時候都要強烈,因為我希望自由科技能夠獲勝。我希望超比特幣化能在我的世代中影響世界。我希望為我的孩子們創造一個比特幣標準的世界。
我希望自由和主權成為常態。還有計算完整性和隱私。
誰和我一起啟動 grinta 模式?
FGU。
GRINTA 模式開啟。

10.28K
是的。@1440000bytes 說得對,我也對在 Bitcoin 上使用 CSFS 驗證 Nostr 事件簽名的潛在想法感到非常興奮。這可能會開啟許多有趣的應用案例。
在 Vault POC 倉庫中添加了這個 Nostr 事件簽名驗證的展示。
<sig> = 8b3a1a5652e3bb18d0fcab1d8719008f8c837f1c0c815f36ff207ef0195bb9b2cf715f09418287804f85666a6a381c20241f82772536c98e48aa69f0f061d832
<nostr_eventid> = 4024c943979561551412b994453c1d119cc79ca7ea7bb9a5c407f665c464f7db
<nostr_pubkey> = f7944cf4370f583ccf74af56d8e22bda77dc894e1165387d1607a1fe7dbae5a4
OP_CHECKSIGFROMSTACK


3.89K
建立了一個比特幣保險庫的概念驗證,以展示 CTV 和 CSFS 在 Mutinynet signet 上的應用。
基本保險庫:資金鎖定在 P2TR 輸出上,使用單一葉子 CTV 腳本來承諾觸發交易模板。觸發器移動到條件 P2TR:IF 分支需要 CSV 延遲 + 熱鍵簽名;ELSE 是 CTV 到冷地址(立即,無簽名)。NUMS 內部密鑰強制腳本支出。
混合保險庫擴展到兩個葉子:一個用於 CTV 路徑(與基本相同)。第二個用於 CSFS:驗證來自財務主管密鑰的委託消息上的 Schnorr 簽名(例如,"EMERGENCY_DELEGATION:AMOUNT=...:RECIPIENT=...:EXPIRY=...:VAULT=..."),允許直接支出給接收者(逃生通道)。
演示流程 1:通過 CTV 進行冷回收。資金保險庫 P2TR。廣播觸發器(滿足保險庫的 CTV)。然後從觸發器廣播冷交易(ELSE 分支,滿足 CTV 到冷地址)。無延遲。如果檢測到觸發器(例如,熱鍵被妥協),則作為緊急響應工作。
演示流程 2:通過 CSFS 進行委託。財務主管簽署消息,授權操作團隊在 Z 區塊之前支出 X sats 到 Y(雖然在演示中金額和其他動態交易參數並未強制執行,但需要 OP_AMOUNT,可能強制支出者在見證中提供交易數據,檢查交易數據的簽名與 CSFS,然後檢查我們想要的交易元素,如金額,但不確定解析/拆分交易元素是否實際可行)。通過 CSFS 葉子直接支出保險庫:見證包括簽名、消息哈希、財務主管公鑰、腳本、控制。繞過 CTV/時間鎖以應對授權的緊急情況。
16.13K
Starknet / Cairo >>>>> EVM / Solidity
類型系統:Cairo 擁有強類型、泛型、代數數據類型和特徵。Solidity 沒有泛型,且模式匹配較弱。
擁有權 / 編譯時借用檢查器:Cairo 擁有這個功能,單一擁有者移動語義和借用規則可以捕捉到移動後的使用。
Solidity 的內存安全依賴於開發者的紀律。
算術安全:Cairo 默認使用檢查數學。Solidity 現在有檢查算術,但可以選擇不使用。
Cairo 附帶一個中間表示(Sierra),無法表達未定義行為或失敗的斷言,每個函數在編譯時都被證明會終止。
升級模式:在 Cairo 中,這是通過本地系統調用來替換類哈希,同時保留存儲,並由證明強制執行,沒有代理存儲碰撞的風險。
在 Solidity 中,代理是手動編寫的,存儲槽碰撞和 delegatecall 錯誤代表著風險。
Cairo 故意省略了 Solidity 中某些特性,例如修飾符、類繼承。
Cairo 偏好組合性而非繼承,這有助於編寫更乾淨、更模組化的代碼,使其更容易推理和審計安全缺陷。
Cairo 設計在代碼編譯之前消除了整個錯誤類別,而 Solidity 依賴於像檢查效果互動和外部 linter 這樣的約定。

Fede’s intern 🥊7月9日 23:01
Solidity 是我一生中使用過的最糟糕的程式語言。我不在乎以太坊裡誰告訴我相反的話,但對於任何曾經使用過優秀編譯器和其他程式語言的人來說,這是顯而易見的。
14.79K
熱門
排行
收藏
鏈上熱點
X 熱門榜
近期融資
最受認可