Efficient consistency proofs on a committed database (2003)

by Rafail Ostrovsky, Charles Rackoff, Adam Smith