test_proof_local.c

#include "storage_proof.h"
#include <stdio.h>

static const uint8_t storage_hash[32] = {0x80,0xcd,0x74,0xbe,0x4c,0x9b,0xf9,0x60,0x1f,0x84,0x77,0xe1,0xea,0xaf,0xe4,0x63,0xda,0x94,0x83,0x37,0x90,0xda,0x26,0xb9,0x85,0x14,0x0d,0xa1,0x3e,0x7b,0x62,0x5c};
static const uint8_t slot[32] = {0x73,0xd4,0x42,0x0b,0xb6,0xbf,0x77,0x52,0x41,0x72,0xa8,0x9f,0x62,0x4b,0x40,0xc7,0x7f,0x7a,0x79,0x59,0x59,0x0c,0x66,0x1f,0x66,0xdf,0x9d,0x74,0x30,0x19,0x3d,0xe7};
static const uint8_t node_0[] = {0xf9,0x02,0x11,0xa0,0x4e,0x1c,0x2f,0x7c,0x02,0x77,0xb0,0x9a,0x4e,0xd4,0x6d,0xab,0x8c,0xcb,0x88,0xc2,0x46,0xe4,0x13,0xd7,0xe7,0xfe,0xd6,0x3b,0x9a,0x91,0x2a,0xf6,0x75,0x4d,0x13,0xe3,0xa0,0xe7,0x8d,0xba,0xe6,0x83,0x2a,0x60,0xd9,0x7c,0xa8,0x28,0x6c,0x69,0xdb,0xa4,0x3e,0xda,0x49,0x4c,0x84,0xd3,0xdb,0x82,0x4c,0xc7,0x30,0x2a,0x2b,0x51,0xa5,0xbc,0xe7,0xa0,0x6a,0x51,0x15,0x69,0xb5,0x58,0x5b,0x13,0xf6,0x15,0x68,0x8b,0xf3,0xa8,0xbc,0x12,0x09,0x49,0x34,0x1b,0x6e,0xbd,0x00,0x9d,0x83,0x42,0x85,0x74,0x77,0x02,0x18,0x3f,0xa0,0xbe,0x60,0xbb,0x97,0x6c,0xd5,0x71,0x44,0xad,0xee,0x89,0x55,0x55,0x75,0x0a,0x72,0x33,0x2e,0x14,0x4c,0xf3,0x85,0x11,0xda,0xab,0x63,0x19,0x6c,0x8e,0xed,0x3f,0xb0,0xa0,0xe0,0x18,0x97,0xaa,0x27,0xcb,0x76,0x2c,0xf8,0xc8,0x2c,0xf6,0xaa,0x7d,0xa2,0xba,0xb5,0x7b,0x48,0xfc,0x40,0xfe,0x95,0x04,0x8a,0x34,0x84,0xb7,0x2a,0x91,0x77,0x3f,0xa0,0xe2,0x13,0x41,0x20,0x66,0x1e,0xb9,0x9c,0x62,0xf2,0xd7,0x72,0x06,0x38,0x54,0xf3,0x80,0xdd,0x8b,0x5d,0xd9,0xe1,0xbd,0x6e,0xbd,0x55,0xff,0x61,0xf9,0x34,0xfc,0x5f,0xa0,0x54,0x34,0xd3,0x63,0x54,0xe7,0x7d,0xb9,0xc4,0x8d,0x5b,0x96,0xd0,0xca,0x3c,0x46,0xcd,0x4c,0xe2,0xb7,0x4d,0xf7,0x7a,0x18,0xad,0x62,0x18,0xd8,0x18,0xf9,0x08,0x09,0xa0,0xad,0xbb,0x54,0xdf,0xae,0x12,0x95,0x4d,0xb5,0x07,0xdc,0xc5,0x5b,0x41,0x99,0x4e,0xc0,0xab,0x3a,0x89,0xfd,0x34,0xe7,0xda,0x41,0x7c,0x4c,0xac,0x1b,0x56,0x43,0x64,0xa0,0xc5,0x7f,0xb2,0xc5,0x65,0x5d,0x6b,0xa2,0xee,0x5f,0x79,0xf9,0xd6,0x3f,0x04,0x18,0x35,0xff,0x4e,0x1b,0xa0,0xea,0x30,0xca,0x3e,0xba,0xb1,0x1e,0xf4,0xc1,0x3a,0x1c,0xa0,0xce,0x6c,0x51,0xe5,0x19,0x37,0x02,0xba,0x7a,0x45,0x40,0x6b,0xc3,0xfc,0xde,0xad,0xaa,0xcc,0x84,0x58,0x99,0x8a,0xaa,0x9d,0xe5,0x06,0x25,0xc1,0x34,0xa6,0xb9,0x02,0xa0,0x1b,0x60,0x1e,0x4b,0x0d,0x28,0x24,0x7e,0x7a,0xaf,0xcb,0x8d,0xdd,0x02,0x08,0x45,0x0b,0xdf,0x06,0x13,0x2e,0x43,0xd7,0x62,0x9d,0x82,0x93,0xdf,0xb0,0x36,0xa6,0x9a,0xa0,0xbb,0x54,0x78,0x80,0x75,0xf5,0x0e,0x3c,0xe5,0xba,0x6d,0xa3,0x1a,0xcb,0x30,0x6c,0xbc,0x81,0x18,0xba,0x78,0x01,0x05,0x2b,0xbd,0x0c,0x53,0xd0,0x23,0xbe,0x2e,0xd9,0xa0,0x86,0xb0,0x02,0xce,0x60,0x92,0x5d,0x6f,0x02,0x49,0x00,0x29,0xac,0xb8,0x8d,0x73,0x10,0x6c,0xd8,0xea,0x2f,0x7b,0x5f,0x54,0x56,0x1a,0xda,0xc5,0xbd,0x19,0x85,0xef,0xa0,0xed,0xe8,0x2f,0xa1,0x1e,0x87,0x96,0x36,0x23,0xbe,0x72,0x8a,0xe7,0x02,0x65,0x87,0x88,0x59,0xe8,0xac,0xa8,0xcb,0x65,0xee,0xa5,0x53,0x43,0x1e,0xda,0x47,0x47,0x9f,0xa0,0x7e,0x28,0xf3,0x47,0x85,0x46,0x73,0x9c,0x87,0x43,0x67,0x44,0xaf,0xad,0xb7,0x79,0xaf,0x6e,0x61,0x69,0xd6,0xbd,0x04,0xf2,0xba,0x5a,0xca,0x19,0xaa,0xd2,0xdc,0x8e,0xa0,0x05,0xea,0xec,0x12,0x3f,0xfa,0xee,0x73,0x58,0x8c,0x84,0x1c,0xa2,0xd9,0x1d,0x21,0x72,0x06,0xd3,0x17,0xee,0xbf,0xd1,0xdc,0x88,0xbd,0xa5,0x7e,0x5c,0xd3,0xbe,0xed,0x80};
static const uint8_t node_1[] = {0xf9,0x02,0x11,0xa0,0x15,0x8b,0x43,0xb5,0x8c,0xb7,0xd5,0x11,0xf3,0x76,0x53,0x42,0x30,0x1e,0xec,0xf3,0x22,0x21,0xb9,0xb2,0xff,0x30,0x81,0xb8,0xb9,0x2f,0xd1,0x13,0x6b,0x1e,0x6b,0x0d,0xa0,0x09,0x81,0x41,0xca,0x97,0x5c,0x21,0x2b,0xdb,0x58,0x98,0x79,0x3f,0xd1,0x18,0x86,0xf6,0x68,0x89,0x15,0x7d,0x71,0x32,0x0e,0xfa,0x8d,0x9b,0x92,0x53,0x0c,0x9e,0x00,0xa0,0x5b,0x07,0x74,0x68,0x0b,0xbe,0x4c,0xa6,0xdc,0x78,0xe3,0xf4,0xff,0xe9,0xec,0xa3,0x93,0x89,0x24,0x4a,0xb3,0xf9,0xf0,0x7e,0xa3,0x81,0x56,0xf4,0xf4,0xd7,0xc0,0x91,0xa0,0x33,0xbe,0x45,0x43,0x45,0xcc,0x96,0xa0,0x3c,0x80,0xb8,0x53,0x07,0x77,0xa8,0xcf,0x83,0x5f,0x84,0x81,0x82,0xf2,0x8e,0xc2,0x09,0x0b,0x51,0xc2,0x53,0x17,0x0a,0x1c,0xa0,0x11,0x8d,0xc8,0xdf,0x69,0xcc,0x90,0x3c,0x03,0xbf,0x6a,0xbf,0x19,0xc9,0x93,0xf3,0x89,0xd8,0xaf,0x8f,0xc9,0x40,0xa6,0x42,0x2a,0xac,0x2d,0x20,0xa3,0x2e,0x05,0x91,0xa0,0x3b,0xfe,0xf7,0xe9,0xaa,0x5f,0x31,0x38,0xe5,0x55,0x9e,0x68,0x8d,0xd4,0x9e,0x11,0x69,0x62,0x2d,0x1b,0x66,0x10,0xca,0xf4,0xfe,0x01,0x80,0x64,0x8e,0x17,0x87,0xae,0xa0,0xfd,0xd8,0x1a,0xd9,0x05,0xa1,0x82,0xd4,0xff,0xf0,0x83,0xad,0x04,0x58,0x45,0x4b,0x6c,0x6a,0x61,0x33,0x1f,0xd1,0x5c,0x40,0x8c,0xc9,0x80,0x8b,0x4e,0x39,0xc3,0xde,0xa0,0x35,0x04,0xd6,0x21,0x5e,0x54,0xc3,0x2b,0x86,0xad,0x33,0x04,0xd7,0xe2,0x96,0xeb,0x52,0xcc,0xfd,0xd9,0x5b,0x92,0x5d,0xaa,0x62,0x2d,0xfa,0x04,0x63,0xa1,0x71,0x39,0xa0,0x75,0xde,0x5f,0x63,0x87,0x00,0xd8,0xcd,0x55,0x7e,0xd9,0x4b,0x24,0x98,0x68,0xca,0xb7,0xc2,0x48,0x8b,0xc6,0xb4,0x56,0x18,0xe5,0xaa,0x72,0x0b,0x65,0xb0,0x91,0xb9,0xa0,0xf1,0x42,0xe9,0x1f,0x41,0x35,0x23,0xec,0x95,0x74,0x83,0xa8,0x32,0x90,0x0d,0x3a,0x2c,0x55,0x60,0xbc,0xc9,0xf9,0x79,0x86,0xc3,0x30,0xd2,0xc8,0xcc,0xcf,0xf5,0x16,0xa0,0x2f,0xff,0x04,0xb9,0x0d,0x2d,0xe6,0xf2,0xe8,0xe6,0x01,0x7d,0x79,0xaa,0x63,0x4c,0xeb,0x79,0x52,0x2b,0x9f,0x03,0x5c,0x35,0x08,0x08,0x0f,0xf0,0x90,0x42,0x01,0xf6,0xa0,0x29,0x4e,0x1b,0x81,0x4d,0xbc,0xfd,0x9b,0xae,0x8a,0x93,0xbf,0x73,0x73,0xcd,0x71,0xae,0x74,0xd5,0x28,0xe4,0x2a,0xe6,0x44,0x73,0x51,0xf6,0x40,0xdc,0xdd,0x79,0x25,0xa0,0xe0,0x78,0x7e,0xe5,0x34,0x56,0x7b,0x60,0x4c,0xe6,0xa7,0x24,0xcb,0x14,0x92,0x0c,0xf0,0x89,0x24,0x88,0x37,0x80,0x31,0x73,0x8b,0xbd,0xbb,0x5f,0x01,0x6d,0x59,0x96,0xa0,0xd6,0x51,0xf1,0x76,0x1e,0x34,0xf3,0xe4,0x94,0x4a,0x4f,0x89,0xe9,0xb6,0xc4,0x9c,0x2d,0xa3,0x8f,0xf1,0x9d,0x9f,0x75,0xf7,0x8a,0xe0,0x6f,0xd3,0x5c,0x35,0x8d,0xce,0xa0,0xc9,0x2b,0xb3,0x73,0xca,0xe0,0x68,0x93,0x9c,0x6d,0xe8,0xf8,0x26,0x2c,0x1a,0x92,0x8d,0x59,0xaa,0x74,0x74,0xeb,0x46,0xf3,0xd4,0x39,0x83,0x4d,0x20,0x3b,0xa3,0xc4,0xa0,0x82,0xbf,0x7d,0x42,0xb9,0x2b,0xb5,0x51,0x6d,0xdb,0x83,0x8a,0xc9,0x39,0xc3,0x05,0x92,0xba,0x62,0xf8,0x56,0x19,0x7c,0xfd,0xf7,0x00,0x56,0xeb,0x9c,0xa0,0x7b,0x66,0x80};
static const uint8_t node_2[] = {0xf9,0x02,0x11,0xa0,0xf6,0xfb,0x95,0x49,0x40,0xdc,0x40,0x75,0xdc,0xec,0xc0,0xe2,0xef,0x5a,0x0c,0xae,0x4d,0x39,0xb0,0x4f,0xfe,0x80,0xd4,0xd4,0x24,0xb1,0xcc,0xb3,0x61,0xfb,0x07,0xfc,0xa0,0x3b,0x88,0xce,0x26,0x4c,0xd1,0xd7,0x6b,0x82,0xa5,0x57,0x13,0x4f,0xea,0xf5,0x4c,0x1e,0x32,0xf4,0x79,0xe6,0x35,0x46,0xe8,0x20,0x0b,0x7b,0x04,0xdd,0xec,0x92,0x7e,0xa0,0x4d,0xda,0x0e,0x70,0xc2,0x12,0x0c,0xea,0xa6,0xba,0x6b,0x02,0x71,0xe7,0x3f,0x45,0x1a,0xb6,0x4c,0xb3,0x0f,0x10,0xbc,0x2f,0xb7,0x48,0x87,0x0f,0x4f,0x36,0x41,0x56,0xa0,0xa2,0x93,0xf9,0xd9,0x6d,0x51,0x27,0x73,0xf4,0x7e,0xc3,0x52,0x48,0x4b,0x06,0x20,0x14,0xa2,0xd8,0x69,0x22,0xf4,0xc5,0xda,0xc4,0x6f,0x15,0xb9,0x53,0x39,0xda,0xdc,0xa0,0xe4,0xb5,0x70,0x42,0xe2,0x80,0x9c,0x61,0x3d,0xbf,0xe2,0x8b,0xcd,0xf7,0x4e,0x74,0x88,0x3f,0x26,0x73,0x26,0xf3,0xc7,0x31,0x60,0xc8,0xd1,0x69,0xb9,0xf4,0x34,0x5a,0xa0,0x07,0xfe,0xb2,0xb7,0x4c,0xc2,0xc5,0x41,0x12,0x5a,0x08,0xba,0xa9,0x29,0x48,0x8d,0x8c,0x53,0x07,0x2b,0xb8,0x70,0x25,0xeb,0xfc,0x44,0x41,0x43,0x0a,0xf3,0x17,0xa2,0xa0,0xc1,0x8e,0x2e,0x72,0x4a,0x37,0x7e,0xb7,0x96,0x06,0xd9,0x03,0x5c,0x53,0xc8,0x6f,0x1c,0x2d,0x22,0x3e,0x6b,0x36,0x4a,0xd7,0x44,0x2f,0x6b,0x71,0x4b,0x63,0x4f,0x79,0xa0,0x20,0xc4,0x0b,0x3d,0xd5,0x92,0x72,0x2a,0xb7,0xea,0x43,0xfe,0x22,0x0f,0x1a,0xe3,0x2a,0xba,0x3c,0x66,0x1d,0xbc,0xba,0x48,0xa6,0x06,0xad,0x3d,0x8a,0xf1,0x16,0x41,0xa0,0x35,0xcf,0x84,0x03,0x70,0x62,0x44,0x36,0x99,0x59,0x8b,0x47,0x0e,0x5b,0xa7,0xa7,0x0d,0x87,0x1c,0xb9,0x39,0x41,0x57,0x91,0xce,0x02,0x6c,0x2d,0xb8,0x27,0xee,0xab,0xa0,0x8d,0x04,0x72,0x8f,0x8a,0x42,0x71,0x5e,0x1c,0x78,0x04,0x2d,0x76,0xaf,0x5f,0x12,0x0b,0xe9,0x05,0x3d,0xe8,0xc4,0x33,0x38,0xf4,0xdd,0xcb,0x32,0xaa,0x41,0x9f,0x34,0xa0,0x7c,0x0e,0x5c,0x3b,0xec,0xd7,0xe7,0xe4,0x3b,0xc2,0xae,0x87,0xb2,0xcb,0x69,0xa9,0x7a,0x80,0xe7,0x94,0x11,0x6b,0x0e,0xc3,0xd1,0x36,0xbb,0x93,0xe4,0x67,0xc1,0x3b,0xa0,0x16,0x35,0x53,0x9e,0x95,0x79,0x14,0x02,0x0a,0x30,0x9f,0x23,0x80,0xa7,0xf9,0xd5,0xba,0x36,0x76,0x9a,0x9b,0x06,0x94,0x7a,0xd9,0x69,0x2a,0xc8,0x24,0x73,0x4f,0xc9,0xa0,0xc6,0xf1,0x81,0x96,0x22,0x19,0xee,0xd8,0x8d,0x16,0xd3,0x73,0x60,0x1e,0x3e,0xac,0x43,0xbd,0x0f,0x4d,0xe7,0x77,0x93,0x6c,0x90,0x5b,0x39,0x2c,0x91,0x3a,0xf9,0xb0,0xa0,0x16,0x1d,0x8a,0xe8,0xfe,0x38,0x38,0x6a,0x6b,0x16,0x27,0x74,0xd0,0x27,0x3f,0x5d,0x8e,0x1b,0xa1,0xd4,0xc2,0x02,0xfe,0x8f,0x16,0xbf,0x38,0x7a,0x19,0x48,0x78,0x1d,0xa0,0x0a,0xea,0x57,0x28,0xc0,0x40,0x46,0x38,0xb4,0x79,0xa0,0x7c,0x47,0x43,0x76,0xa1,0x46,0x10,0xac,0xd3,0x89,0x27,0x44,0x27,0x6f,0x40,0x2e,0x4e,0x53,0xd4,0x67,0xf8,0xa0,0x89,0x7d,0xef,0x04,0xb2,0xff,0x20,0x3f,0x50,0x87,0xff,0x0c,0x8a,0x1d,0x0b,0xd3,0x92,0x68,0x15,0x3c,0x88,0x23,0xbf,0xfc,0x41,0x9d,0xa1,0xdd,0x11,0xf5,0x15,0xb6,0x80};
static const uint8_t node_3[] = {0xf9,0x01,0xb1,0xa0,0x85,0x4b,0x54,0xa0,0x01,0x0a,0xf3,0xe3,0xc4,0x2f,0x5c,0x54,0x36,0xbe,0x27,0xfb,0xae,0x42,0x55,0x8d,0x91,0xac,0x1f,0xef,0x27,0x59,0xa4,0x07,0xe5,0x59,0xb9,0x3e,0xa0,0x41,0xa4,0xec,0x0f,0xfe,0xf1,0x6c,0xa5,0x77,0x56,0x09,0x15,0x03,0xf3,0x19,0x26,0xa0,0x3f,0xb4,0xd8,0x73,0xae,0x3c,0x4e,0xd7,0xe7,0xbd,0x05,0xce,0xb5,0x45,0xa2,0xa0,0xd7,0x46,0x25,0x41,0x99,0x2a,0x8b,0xb7,0x14,0x8b,0x38,0x3a,0x93,0x67,0x3d,0xd1,0x31,0x16,0xbb,0x39,0x98,0x1c,0x9b,0x6c,0xfe,0xc7,0x98,0x15,0xaf,0x37,0x1e,0xbf,0xa0,0x82,0x6e,0x23,0x42,0x84,0xd0,0xd2,0x03,0x94,0x59,0x07,0xad,0xc4,0x9f,0x24,0x5b,0x83,0x09,0x35,0xf1,0x45,0x24,0xff,0x03,0xea,0x7c,0xed,0x60,0xc2,0x16,0x4b,0x89,0xa0,0xa7,0x2c,0xe4,0xbc,0x3c,0x57,0x22,0xa9,0xcf,0xd9,0x06,0x5a,0xc2,0x1a,0x10,0xb2,0x53,0x20,0xad,0x93,0xfb,0x32,0x14,0xe0,0x53,0x1e,0x60,0xde,0x67,0xa0,0x9b,0x8b,0x80,0xa0,0xc1,0x6a,0x02,0x9f,0x3f,0xcb,0x1c,0xfc,0x17,0xbf,0x49,0x30,0x21,0x04,0x69,0x3a,0x83,0xcc,0x90,0x19,0x6a,0x14,0xb2,0x5e,0xbd,0x7c,0xdc,0x2d,0xcb,0x1e,0x6e,0xae,0x80,0x80,0xa0,0xbc,0xc9,0x0f,0xb8,0xa8,0x70,0xb0,0xb1,0xb2,0x8c,0x74,0xfd,0x23,0x24,0x39,0xd3,0xbe,0xb5,0xb7,0xcd,0xea,0x55,0xde,0x04,0x71,0x5f,0xc7,0xdb,0x7f,0x6c,0x68,0x11,0xa0,0xbe,0xc6,0xb9,0xfa,0x8b,0xb3,0x62,0x61,0x77,0x27,0x88,0x85,0x5a,0x2e,0x73,0x5f,0x78,0xe8,0x35,0xab,0xa3,0x2c,0x6e,0x1f,0x98,0x15,0x48,0x89,0xbc,0x0e,0xb9,0xe9,0xa0,0xc9,0xaf,0x79,0xa5,0xc3,0x8e,0xd4,0x20,0xb5,0xfa,0xd7,0x7d,0x70,0xc8,0xac,0x4f,0xf0,0x3a,0x5e,0x7c,0x60,0x59,0x60,0x64,0x1f,0xd7,0xe1,0x5b,0xe5,0xb6,0x4c,0xe9,0xa0,0xa9,0x21,0x51,0x34,0x6a,0x79,0x0b,0xca,0x78,0x33,0xb2,0xd9,0xd9,0x20,0x21,0x26,0x73,0xe7,0x79,0x9d,0x08,0xf1,0xc3,0x3f,0xba,0xb6,0x0a,0x2d,0x7b,0xf6,0xde,0xe2,0xa0,0x24,0x41,0x2b,0x08,0x5f,0xb2,0x94,0x2c,0xef,0x2e,0xa2,0x69,0x6b,0x97,0x3c,0xdb,0xba,0x1d,0xcb,0x64,0xfd,0x4d,0x59,0xcf,0x9a,0x87,0x41,0xbe,0x29,0x9e,0x42,0xfc,0xa0,0xd2,0xf8,0x5f,0x5a,0x38,0x00,0x00,0x4b,0xc3,0xe2,0xa3,0xde,0x74,0x1a,0x16,0xf6,0x67,0x7c,0xe1,0x99,0xba,0x20,0xe9,0x50,0x1f,0x9c,0x31,0x1f,0x95,0x95,0x28,0xb3,0xa0,0xe8,0x3c,0x09,0x34,0x7f,0x11,0xb7,0xc7,0x86,0x37,0xdb,0x6c,0x06,0xb7,0xdf,0xcd,0x95,0x88,0x40,0x6b,0x79,0xea,0xe2,0x26,0x91,0x8c,0xdd,0xfd,0x6f,0x7d,0xa2,0x12,0x80};
static const uint8_t node_4[] = {0xf8,0x42,0x9f,0x20,0x39,0x3a,0xd7,0x67,0xe0,0x96,0xa1,0xdf,0x47,0x2d,0xdd,0x9f,0x67,0x8b,0xf6,0xd8,0x0f,0xba,0xc7,0xf2,0x00,0x43,0xda,0xcd,0x71,0x00,0xfd,0xe2,0x59,0x6f,0xa1,0xa0,0x63,0x64,0x33,0x36,0x31,0x65,0x64,0x35,0x66,0x32,0x61,0x35,0x32,0x65,0x34,0x65,0x34,0x62,0x62,0x39,0x38,0x31,0x62,0x38,0x63,0x36,0x62,0x34,0x37,0x61,0x37,0x32};

int main() {
  const uint8_t *nodes[] = {node_0, node_1, node_2, node_3, node_4};
  uint32_t lens[] = {532, 532, 532, 436, 68};
  uint8_t value[32];
  SpfErr err = spf_verify(storage_hash, slot, nodes, lens, 5, value);
  printf("spf_verify result: %d\n", err);
  if (err == SPF_OK) {
    printf("value: "); for(int i=0;i<32;i++) printf("%02x",value[i]); printf("\n");
    printf("as text: "); for(int i=0;i<32;i++) printf("%c",value[i]); printf("\n");
  }
  return err;
}