Software for generation of data segments inclusion proof