はじめに アプリ開発を行う上で、セキュリティは常に気になるものですが、終わりがなく、費用対効果をどう計算したらいいのかわからない、と感じることは多いと思います。今回紹介する論文1は、セキュリティと安全性を別々ではなく同じ […]安全性とセキュリティを両立させる戦略を立てるためのAttack-Fault Treeモデルの解説 first appeared on HashPort技術ブログ.

はじめに Litecoin の MWEB アドレス（ltcmweb1...）は、Mimblewimble に「非対話型送金」を持ち込むために設計されたステルスアドレスです。ところが Mimblewimble はもともと、 […]ltcmweb1アドレスの中には何が入ってる？Mimblewimbleが非対話型送金とステルスアドレスを使うようになった経緯 first appeared on HashPort技術ブログ.

はじめに PRISM は確率的な振る舞いをもつシステムを、数学モデルとして厳密に書き下し、時間論理で書いた性質（プロパティ）を自動検証する 確率モデル検査 (probabilistic model checking) ツ […]確率遷移モデルの形式解析ツールPRISMをCLIから使ってみる first appeared on HashPort技術ブログ.

はじめに 本記事は、論文「TOOP: A transfer of ownership protocol over Bitcoin」1のまとめです。特に、設計の肝である 1-of-nの仮定 を、プロトコル全体の流れと一緒に […]BitVMの1-of-n 仮定をフル活用した Bitcoin上のTransfer of Ownership Protocol (TOOP) first appeared on HashPort技術ブログ.

ぼくとこうじの60日間 — 社内 AI bot を 60 日作って、AI の刺し所について考えた話 2026-05-15 / 辻野 晃一 (HashPort) 2026 年 3 月、OpenClaw でエージェントを生ん […]ぼくとこうじの60日間 — 社内 AI bot を 60 日作って、AI の刺し所について考えた話 first appeared on HashPort技術ブログ.

概要 Google Notebook LMのスライドはこちら claude code等を使ってチーム開発を行うようになりました。これまでのチケット管理手法を改善できるのではないかと思い、色々なチケット管理方法を模索中です […]AI時代のチケット管理: Jira vs GitHub Projects vs Notion vs プレーンテキスト first appeared on HashPort技術ブログ.

はじめに 現在のビットコインを含む多くの暗号資産は、楕円曲線暗号(ECC)の堅牢性に依存しており、十分な能力を持つ量子コンピュータ(CRQCs: Cryptographically Relevant Quantum Co […]長期露呈攻撃に対する量子耐性を持つビットコイン支払い形式「P2MR」の解説 first appeared on HashPort技術ブログ.

はじめに Rootstock は「ビットコインのスマートコントラクト・サイドチェーン」として、BTC を rBTC にブリッジして EVM 上で DeFi などを動かすためのネットワークです。PowPeg と呼ばれる 2 […]BitVMXとPoWにより正規チェーンを決めるRootstockブリッジUnionの仕組み first appeared on HashPort技術ブログ.

はじめに NotebookLMのスライドはこちらです。Class_Groups_NIM_and_1-Round_Signatures 以下「 準同型秘密分散 (Homomorphic Secret Sharing; HS […]最短1ラウンドで和積変換を行う 非対話アルゴリズムを用いた2ラウンド閾値ECDSA first appeared on HashPort技術ブログ.

はじめに この記事では有限巡回群+離散対数問題ベースの暗号を (無理やり) 3つのファミリーに分類して、それぞれの特徴と違い、共通点を探ります。イデアル類群を用いたCL暗号系 (Castagnos-Laguillaumi […]イデアル類群と離散対数問題を使って加法準同型を実現するCastagnos-Laguillaumie 暗号の解説 first appeared on HashPort技術ブログ.