署名がついたデータを検証する

はじめに

AC07 LoRa Mary に付属する ATECCX08A暗号化チップを用いて、既に署名化されたメッセージと公開鍵を用いて元のメッセージが正しいか検証します。

リーフに付属の暗号化チップがセットアップされている必要があります。セットアップが終了していない場合は 0_Setup を用いてセットアップしてください。

また、1_Sign を先に実行して以下をメモしておいてください。

  • 元のメッセージ
  • 公開鍵
  • 署名

サンプルのソースコード

リーフ構成

下記の構成でリーフを組み立ててください

  • AC07 LoRa Mary
  • AP03 STM32
  • AZ01 USB

動作方法

PlatformIOを使用して、STM32にプログラムを書き込んでください。 PlatformIOの利用方法はPlatformIO IDE for VSCode の設定を参考にしてください。

まずはソースコード上の以下の32バイト、64バイト、64バイトの各データに、1_Sign で取得した

  • 元のメッセージ
  • 公開鍵
  • 署名

に置き換えてください。

// copy result from the serial monitor and paste it here
uint8_t message[32] = {
0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F, 
0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19, 0x1A, 0x1B, 0x1C, 0x1D, 0x1E, 0x1F
};
uint8_t publicKey[64] = {
0xDB, 0x6A, 0x74, 0x7D, 0xF1, 0x03, 0x8B, 0x67, 0x4A, 0xA6, 0x2B, 0x01, 0xDC, 0xDB, 0x68, 0x8D, 
0x85, 0xFC, 0x95, 0xF7, 0xDA, 0x7D, 0x77, 0xDC, 0xDE, 0x6C, 0x74, 0x74, 0xB6, 0xD9, 0x98, 0xAA, 
0x82, 0x39, 0x59, 0xFD, 0xC0, 0x88, 0x83, 0x57, 0xE9, 0x81, 0xB4, 0x00, 0xFD, 0xF2, 0x2C, 0x73, 
0x3A, 0xB5, 0x6D, 0x9D, 0xCE, 0x96, 0x6E, 0xFF, 0x47, 0x00, 0xAF, 0x2A, 0x80, 0xB1, 0x17, 0x44
};
uint8_t signature[64] = {
0x79, 0xFF, 0x7A, 0x5C, 0x3C, 0xDB, 0x3D, 0xBE, 0x32, 0x36, 0x7D, 0x9E, 0xA6, 0x54, 0x38, 0x11, 
0xD2, 0x9B, 0x9F, 0x94, 0x04, 0x42, 0x7E, 0x98, 0x28, 0x8B, 0x3B, 0x96, 0x49, 0x1F, 0x26, 0x62, 
0xBA, 0xD4, 0x78, 0x3C, 0x12, 0xE4, 0x73, 0x39, 0x80, 0x8A, 0xE8, 0x9A, 0x60, 0x4E, 0x4A, 0x28, 
0x67, 0xF4, 0x69, 0x40, 0x93, 0xC1, 0xA2, 0x29, 0x2B, 0x18, 0xC2, 0x41, 0xC6, 0x08, 0xF0, 0x33
};

編集後、ビルドとアップロードを行い、接続動作を確認します。

署名やメッセージを特に改変していないならば、次のように検証が成功します。

uint8_t message[32] = {
0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F, 
0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19, 0x1A, 0x1B, 0x1C, 0x1D, 0x1E, 0x1F
};
uint8_t publicKeyExternal[64] = {
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
};

uint8_t signature[64] = {
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
};

Success! Signature Verified.

例えばメッセージの末尾を署名作成時から変更すると、次のように検証が失敗します。

uint8_t message[32] = {
0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08, 0x09, 0x0A, 0x0B, 0x0C, 0x0D, 0x0E, 0x0F, 
0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17, 0x18, 0x19, 0x1A, 0x1B, 0x1C, 0x1D, 0x1E, 0x00
};
uint8_t publicKeyExternal[64] = {
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
};

uint8_t signature[64] = {
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00
};

Verification failure.
最終更新 December 4, 2024