Context Navigation

Changes between Initial Version and Version 1 of Ticket #1288, comment 6

initial	v1
16	16	m. If deep-verify caps are supported, the deep-verify cap for a file should be derivable off-line from the read cap, and the verify cap from the deep-verify vap.
17	17
18		All of these goals can be achieved simultaneously by a variation on [https://tahoe-lafs.org/~davidsarah/immutable-rainhill-3.svg Rainhill 3], or the simpler [https://tahoe-lafs.org/~davidsarah/immutable-rainhill-3x.png Rainhill 3x] that does not support deep-verify caps. For simplicity, I'll just describe the variation on Rainhill 3x here:
	18	All of these goals can be achieved simultaneously by a variation on [https://tahoe-lafs.org/~davidsarah/immutable-rainhill-3.svg Rainhill 3], or the simpler [https://tahoe-lafs.org/~davidsarah/immutable-rainhill-3x.svg Rainhill 3x] that does not support deep-verify caps. For simplicity, I'll just describe the variation on Rainhill 3x here:
19	19
20	20	* EncP_R is used as the plaintext hash for goals c and d. The client can at any time ask whether a server has a share with a given EncP_R. (To do this lookup efficiently, the storage server must index shares by this as well as the SI, but that is easy if we're using a database.)