3- Proof Generation Phase

In this section, we will review the proof generation phase of the protocol. This phase contains two parts; AHP proof and PFR proof. We also provide an example to clarify the method.

3-1- PFR Proof

The proof of these claims is done in the following steps:

3-2- AHP Proof

as following:

and

3-3- Proof Structure

Proof set is

  • CommitmentID is explained on the Commitment Phase page.

  • DeviceEncodedID = Base64<MAC>

  • Input and Output are the device input and output, respectively.

3-4- Proof JSON file format

{
    "CommitmentID": 64-bit,
    "DeviceEncodedID":   
    "Input": String,
    "Output": String,
    "P1AHP": 64-bit Integer,
    "P2AHP": 64-bit Array,
    "P3AHP": 64-bit Array,
    "P4AHP": 64-bit Array,
    "P5AHP": 64-bit Array,
    "P6AHP": 64-bit Array,
    "P7AHP": 64-bit Array,
    "P8AHP": 64-bit Array,
    "P9AHP": 64-bit Array],
    "P10AHP": 64-bit Integer,
    "P11AHP": 64-bit Array,
    "P12AHP": 64-bit Array,
    "P13AHP": 64-bit Integer,
    "P14AHP": 64-bit Array,
    "P15AHP": 64-bit Array,
    "P16AHP": 64-bit Array,    
    "Protocol": String
}

3-5- Example

3-5-1- PFR Proof

3-5-1-1- Step 1

3-5-1-2- Step 2

3-5-1-2- Step 2-A- Geometric Sequence Test

3-5-1-2-Step 2-B- Zero over K

.................

3-5-1-2- Step 4- Discrete-log Comparison

3-5-2- AHP Proof

and

Therefore,

3-6- Proof JSON file Example

IoT_Manufacturer_Name = "zkIoT" IoT_Device_Name = "MultiSensor" Device_Hardware_Version = "1.0" Firmware_Version = "1.0" Device Picture= <> Lines = [200, 350, 4000-4010]

{
    "CommitmentID": ,
    "DeviceEncodedID": "",
    "TimeStamp": <The Unix time of the program execution>,
    "Input":4,
    "Output":82,
    "P1AHP":62,
    "P2AHP":[166,121,161,97,149],
    "P3AHP":[168,141,45,26,63,165],
    "P4AHP":[124,81,137,101,71,178],
    "P5AHP":[49,157,169,96,80,50],
    "P6AHP":[32,16,153,20,1,164,45,92],
    "P7AHP":[115,3,0,0,20,1,0,17,101,0],
    "P8AHP":[100,90,92],
    "P9AHP":[31,127,66,180,143],
    "P10AHP":70,
    "P11AHP":[105,173,30],
    "P12AHP":[162,82,96],
    "P13AHP":84,
    "P14AHP":[113,43,74,109,158,82,26],
    "P15AHP":[172,79,126,76,150,133,56,118,136,54,23,115,139,172,57,68,46,77,83,113,38,81,128,180,22,151,14,100,52,59,17,123,122,83,77,6,122,72,130,59,84,85,106,86,18,162,58,5],
    "P16AHP":[xxxxxx],
    "Protocol":"fidesinnova_v1"
}

Last updated