Uczę się, jak konstruować dowody Merkle'a na dane z łańcucha śledzącego. Uogólniony indeks jest potężny, co pozwala na udowodnienie wszelkich danych łańcucha śledzącego w stosunku do korzenia łańcucha śledzącego.