Aurora: a probabilistic algorithm for distributed ledgers enabling trustless synchronization and transaction inclusion verification