关于proofs of ownership 的系统架构 伪代码问题

图片说明
这是一篇来自 Proofs of Ownership in Remote Storage System的图片，讲的是基于流协议的文件所有权证明的一个架构伪代码。没太看懂，里面用到了循环移位、异或运算、SHA-256之类的。求大神讲解啊！