前回に引き続き,file_proof.pyに沿ってBBc-1プログラミングの概要を説明します。今回はトランザクションの検証方法について説明します。cloneしていただけば,examples/file_proof/ディレクトリの中に格納されています。https://github.com/beyond-blockchain/bbc1/blob/develop/examples/file_proof/file_proof.pyまた,BBc-1のアプリケーションプログラミングに関するドキュメント群につきましては,第11回冒頭リード文にまとめていますので,ご参考ください。トランザクションの検証トランザクションの検証とは,トランザクションに含まれている署名が正しいか,すなわちトランザクションデータが改ざんされていないかの確認を意味します。トランザクションの中のBBcSignatureオブジェクトに,署名情報とそれを検証するための公開鍵がセットで格納されています。署名情報はトランザクション識別子(transaction_id)を秘密鍵で暗号化したものです。署名を検証する際には,まずそのトランザクションのtransaction_idを算出します(これをtransaction_id_Xとします⁠)⁠。署名情報を署名に用いた秘密鍵のペアの公開鍵で復号します(復号結果をtransaction_id_Yとします⁠)⁠。ここで得られた,transaction_id_Xとtransaction_id_Yが一致していれば,トランザクションは改ざんされておらず,署名検証が成功します。BBcSignatureオブジェクトは署名検証用のverify関数も提供しており,算出したトランザクション識別子(transaction_id_X)を引数としてそのメソッドを呼び出すだけでトランザクションを検証できます。トランザクション識別子は,BBcTransactionオブジェクトのdigest関数を呼び出すだけで算出できます。ダイジェストの計算方法は,こちらに記載されています。具体例を見てみましょう。invalid.")このコードの直前で,第12回で紹介したsearch_transaction_with_condition関数を使ってトランザクションデータを取得しています。その検索結果であるresponse_data[KeyType.transactions][0]をbbclib.deserialize関数でBBcTransactionオブジェクトに変換しています。変換されたオブジェクトはtransactionに格納されます。次に,BBcTransactionオブジェクトのdigest関数を呼ぶことで,そのトランザクションのトランザクション識別子を計算します。その後,BBcSignatureオブジェクトのverify関数で署名を検証します。結果はretに入っており,Trueなら検証成功(valid⁠)⁠,Falseなら失敗です(invalid⁠)⁠。このコード例では,transactionはBBcSignatureオブジェクトを1つしか持っていないことがわかっているため,transaction.signatures[0]でverify関数を呼んでいますが,もし複数のBBcSignatureオブジェクトを持っている場合は,[0]の数値を上げてそれらすべてについてverify関数を呼んだ方がよいでしょう。トランザクション検証の実施タイミングトランザクションの検証は実はcoreノードの中でも実施されています。実施タイミングは以下のとおりです。トランザクション登録依頼を受けたとき他のcoreノードからトランザクションの複製を受け取ったときトランザクション取得依頼を受け,トランザクションを自身のデータベースから取得したとき登録依頼を受けたときに改ざんを検出した場合は,登録しません。他のcoreノードから受け取った複製が改ざんされていた場合は破棄します。取得依頼を受けたときに改ざんを検出した場合は,依頼者に改ざんされている旨を通知します。通知するのは,「⁠改ざんが発生した」という事実自体にも情報があると考えているためです(内部犯行や装置トラブルなど⁠)⁠。他のcoreノードから改ざんされていないトランザクションを探して上書き・修復する機能(request_to_repair_transaction関数やrequest_to_repair_asset関数)を呼び出せば,修復できます。詳しくは,こちらをご覧ください。このように,coreノードでも署名検証は行われていますので,アプリケーションでもわざわざ検証する必要はないと考えることもできます。coreノードが正しいことを無条件に信用するのではなく,クライアントでもその検証が可能であることが,BBc-1などのブロックチェーン関連技術の特徴だといえます。まとめ今回は,トランザクションを検証するためのBBc-1プログラミング方法について,file_proof.pyに沿って概要を説明しました。トランザクションの検証とは,トランザクションのデータが作成された時点のものから改ざんされていないことを確認するために,トランザクション内のBBcSignatureオブジェクトの署名を検証するということです。トランザクションにかかれている内容,file_proof.pyの例でいえば,ファイルの所有者が誰なのかという事実そのものを検証するわけではないことに注意してください。次回は2者間でトランザクションの内容に合意する方法について説明する予定です。研究所での研究,企画部門でのプロジェクトマネジメントなどを経て,独立。One(BBc-1)のメイン開発者になっていたが,あくまで趣味の位置づけ。本業では,技術者・研究者も報われる会社を目指す。2019」を開催しました。DAY1・DAY2の様子を注目セッションとともにお伝えします。LINEのエンジニア3名がイベントに先駆けて見どころを紹介します。コードの安全性・安定性を高める開発サイクル~テスト管理の効率を上げ,脆弱性診断を自動で行う~本連載では,連載「業務を改善する情報共有の仕掛け」を受けつつ,安全性・安定性を加えた開発サイクルについて考えていきます。若者世代から圧倒的な人気を誇るライブ配信&動画投稿コミュニティアプリ「MixChannel」(ミクチャ)の裏側(レコメンドシステムやサーバサイド開発など)について解説していきます。その他の連載CSS3アニメーションでつくるインターフェイス表現CSS3によるアニメーション表現を紹介していきます。その中でも,幅広い読者に応用してもらえるだろうインターフェイスを主なお題とします。MySQL道普請便り本連載では,MySQLを使ったアプリ開発・運用に関するノウハウをご紹介していきます。RecipeUbuntuの強力なデスクトップ機能を活用するための,いろいろなレシピをお届けします。JavaScriptセキュリティの基礎知識JavaScriptに関するセキュリティ上の問題はどこで発生し,どうすれば防ぐことができるのか?について解説していきます。〜システムをきちんと運用するための基礎知識システムは「作って終わり」ではなく,運用の中でさまざまな問題が発生します。問題の発生に備えて事前にどのような対応をしておくべきなのか,問題発生時に何をしなければならないのか,ポイントを解説していきます。きたみりゅうじの聞かせて珍プレーソフトウェア開発の現場で体験したトホホな失敗,思わずうなる珍プレーをきたみりゅうじ氏が四コママンガで紹介。Linuxのメンテナンスの傍ら,Linuxやオープンソースソフトと日々を過ごす著者が,その魅力とつきあい方を,エッセイ風味でお届けします。PRESS特別編集部員,さわやか笑顔のスーパーハカーはまちちゃんとネット大好き14歳わかばちゃんが,毎号,読者の皆さんから寄せられたおたよりを紹介します。皆さんの日頃の悩みにも答えちゃいますよ。]メールでのお知らせメールで次の案内をお送りしております。メールの配信を希望する方は,利用したい項目をチェックしてメールアドレスを入力し,[登録]ボタンをクリックしてください。UPDATES[ほぼ週間に1回]新刊メールマガジン[ほぼ週間に1回]電脳会議の各号案内[ほぼ1ヵ月半に1回]※変更する場合や停止する場合は,登録情報変更ページをご覧ください。※登録いただいたメールアドレスには,そのお知らせ以外,配信いたしません。Ltd.ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。