Yosh、これは、ビットコインの予測市場向けのNostrベースのオラクル解決のPOCであるmarkstrで、CTVとCSFSがアクティブ化されたMutinynetシグネットで紹介されています。 結果解決スクリプトは次のようになります。 <outcome_message_hash> <oracle_pubkey> OP_CHECKSIGFROMSTACK オラクルは特定のNostrイベント(PredictionMarketId:SJ1IPWRX Outcome:Yes - ビットコイン above $100k Timestamp:175284641のような内容)に署名する必要があり、結果の解決はCSFSオペコードを使用してオンチェーンで検証されます。 タップルートスクリプトパスの証人は、署名(結果ハッシュ/ NostrイベントIDの)、スクリプト(上記の解決スクリプト)、control_blockになります。

GRINTAモードがアクティブになりました。 私はグリンタのコンセプトが本当に大好きで、私の現在の気分と、@StarkWareLtdと@Starknetのエコシステムにもっと見たい考え方を完璧に捉えています。 グリンタは根性、決意、決意を意味します。しかし、これらの翻訳はその火を完全に捉えていません。それはむしろ、狂気の力、怪我を乗り越えてプレーし続ける力を解き放つ野蛮なエネルギーのようなものです。それはあなたを超越します。 私は今、これまで以上にそのグリリンタを持っています、なぜなら私はフリーダムテックが勝つことを望んでいるからです。私は私の世代にハイパービットコイン化が世界を襲うことを望んでいます。私は子供たちにビットコインスタンダードの世界が欲しいです。 そして、私は自由と主権を標準として望んでいます。計算の整合性とプライバシーとともに。 誰が私と一緒にグリンタモードをアクティブにしていますか? FGUです。 GRINTAモードがオンになります。

私は@getAlbyチームとNostr Wallet Connectを使用したLightning MCPサーバーについて話していました。@atomiqlabs SDKを介してLightning <> Starknetのアトミックスワップを統合するためにフォークしました。 デモでは、Claude Code を起動して、エンドツーエンドのスワップを処理するように依頼しました: "スワップ 311 sats を STRK に交換する"。それは完璧に実行され、NWC接続文字列を介して私の@primal_appウォレットから引き出し、. 完全にトラストレス(HTLCリバースサブマリンスワップ)。 AIを使用してビットコインアプリを構築するためのエキサイティングな時代。🧡

ビットコインコベナンツツールキット:CTVとCSFSの深堀り

2年前に私のコメント欄に殺到し、ビットコインを買うことができたはずなのに、一戸建ての賃貸や配当株を買うのは馬鹿だと言ったすべてのビットコインマキシに感謝します あなたたちは本物です 💯

はい。@1440000bytesそうですね、私もCSFSを使用してビットコインオンチェーンでNostrのイベント署名を検証するという潜在的なアイデアに非常に興奮しています。それは多くの興味深いユースケースを開く可能性があります。 この Nostr イベント署名検証のショーケースを Vault POC リポジトリに追加しました。 <sig> = 8b3a1a5652e3bb18d0fcab1d8719008f8c837f1c0c815f36ff207ef0195bb9b2cf715f09418287804f85666a6a381c20241f82772536c98e48aa69f0f061d832 <nostr_eventid> = 4024c943979561551412b994453c1d119cc79ca7ea7bb9a5c407f665c464f7db <nostr_pubkey> = f7944cf4370f583ccf74af56d8e22bda77dc894e1165387d1607a1fe7dbae5a4 OP_CHECKSIGFROMSTACK

ビットコイン保管庫の概念実証を構築し、MutinynetのsignetでCTVとCSFSを展示しました。 基本ボールト:トリガーtxテンプレートにコミットするシングルリーフCTVスクリプトを使用してP2TR出力にロックされた資金。トリガーが条件付きP2TRに移動する:IF分岐にはCSV遅延+ホットキー署名が必要です。ELSEはCTVからコールドアドレス(即時、シグなし)です。NUMS内部キーはスクリプトの支出を強制します。 ハイブリッド ボールトは 2 つのリーフに拡張されます: 1 つは CTV パス用 (基本と同じ)。CSFSの2番目:トレジャラーキーからの委任メッセージ(例:"EMERGENCY_DELEGATION:AMOUNT=...:RECIPIENT=...:EXPIRY=...:VAULT=...")に対するSchnorr署名を検証し、受信者への直接支払いを許可します(エスケープハッチ)。 デモフロー1:CTV経由のコールドクローバック。ファンドボールトP2TR。ブロードキャスト トリガー (ボールトから CTV を満たします)。次に、トリガーからコールドtxをブロードキャストします(ELSEブランチ、CTVをコールドに満たします)。遅延はありません。トリガーが検出された場合の緊急対応として機能します(ホットキーの侵害など)。 デモ フロー 2: CSFS 経由の委任。会計担当者は、運用チームがX衛星をY×Zブロックで使用することを承認するメッセージに署名します(ただし、デモでは金額やその他の動的トランザクションパラメータは強制されませんが、OP_AMOUNTが必要で、送信者にウィットネスでトランザクションデータを提供するように強制する可能性があります。CSFSでtxデータの署名を確認します。 次に、金額のような必要なトランザクション要素をイントロスペクションしますが、トランザクション要素の解析/分割が実用的かどうかはわかりません)。CSFSリーフを介して直接Vaultを使用:Witnessには、sig、メッセージハッシュ、トレジャラーpubkey、スクリプト、コントロールが含まれます。許可された緊急事態のためのCTV /タイムロックをバイパスします。

Starknet v0.14.0 がテストネットに登場しました! ✅分散化:コンセンサスを実行する複数のシーケンサー ✅高速:サブセカンドの事前確認 より分散化されたスピーディーなネットワークへの大きな一歩です。SNIP👇の読み取り

スタークネット / カイロ >>>>> EVM / Solidity タイプシステム:カイロには、強力なタイプ、ジェネリックス、アグレブリックデータ型、トレイトがあります。Solidity にはジェネリックがなく、パターン マッチングが弱くなります。 コンパイル時の所有権/借用チェッカー:カイロには、単一の所有者の移動セマンティクスと、移動後の使用をキャッチする借用ルールがあります。 Solidityメモリの安全性は、開発者の規律に依存しています。 算術の安全性: カイロでは、デフォルトでチェックされた数式が使用されます。Solidityは現在、算術演算をチェックしていますが、オプトアウトすることができます。 Cairoには、未定義の動作や失敗したアサートを表現できない中間表現(Sierra)が付属しており、すべての関数はコンパイル時に終了することが証明されています。 アップグレードパターン:Cairoでは、ネイティブのシステムコールを使用して、ストレージを保持しながらクラスハッシュを置き換え、証明によって強制され、プロキシストレージの衝突リスクはありません。 Solidityでは、プロキシは手作業でロールされ、ストレージスロットの衝突やデリゲートコールのミスはリスクを表します。 Cairo は、修飾子やクラス継承など、Solidity に存在する特定の機能を意図的に省略しています。 Cairo は継承よりもコンポーザビリティを優先するため、よりクリーンでモジュール化されたコードを書くのに役立ち、セキュリティ上の欠陥についての推論と監査が容易になります。 Cairoの設計では、コードがコンパイルされる前にバグクラス全体が排除されますが、SolidityはChecks Effects Interactionsや外部リンターなどの規則に依存しています。