added merkle private proof of storage.  modified some interfaces.