DLT-DSA: Design and Verification of a Local Autonomous Integrity Verification Model Using Adaptive Verification Intensity | Synapse