Aurora: A Robust and Trustless Verification and Synchronization Algorithm for Distributed Ledgers | IEEE Conference Publication | IEEE Xplore