None of those programs verifies integrity. Borg deduplicates, and optionally encrypts data. Restic is a front end for rsync, which only offers incremental back up. Meaning, restic/rsync compares your source and destination directories, and if the data are identical it does nothing, but if there are any changes it will upload only that changed data. None of the apps care what the data are, you can backup gibberish and they will happily put it another place for you.