improved introduction, setting rules for system design
add proof for simple RV hashing