Update states of ATTEntry and VersionBuffer, and related interfaces.
Sync up implementation of schemes with paper version.