Free Haven系统：原理、机制与安全防护
1. 交易收据
交易收据包含源服务器和目标服务器公钥的哈希值、交易出去的份额信息、收到的份额信息以及时间戳。对于每份份额，它还包括该文档密钥的哈希值、份额编号、过期日期和大小。
整个交易信息集由服务器A签名。如果服务器B或其他服务器要广播对服务器A处理交易方式的投诉，提供此收据将提供一些基本的“证据”，证明B没有捏造投诉。收据中包含了两份份额的过期日期，且签名使该值不可更改。因此，观察收据的其他服务器可以轻松判断收据是否仍然“有效”，即检查份额是否仍应保存在服务器A上。每份份额的大小也包含在内，这样其他服务器可以根据交易对涉事两台服务器声誉的影响做出明智的决策。
需要注意的是，收据并非作为交易的完整证明，而是交易一半的证明，表明对安全保存给定份额的承诺。这是因为交易协议并非万无一失，例如Alice拥有Bob的收据，可能意味着他们完成了交易，也可能意味着他们完成了交易的4个步骤中的3步，然后Alice欺骗了Bob，并未给他收据。所以，当服务器检测到行为不端的服务器时，最多只能广播投诉，并希望声誉系统能正确处理。
2. 责任追究与伙伴系统
恶意服务器可能会接受文档份额但不进行存储。如果丢失足够多的份额，文档将无法恢复。因此，需要有机制来识别和剔除这些恶意服务器。
为了解决这个问题，设计了伙伴系统。在一个文档内，两份份额会建立关联，每份份额负责维护其伙伴份额的位置信息。当一份份额移动时，它会通知其伙伴（更准确地说，是通知它迁出的服务器和迁入的服务器）。
持有份额的服务器应定期查询其伙伴份额，以确保伙伴仍然存在。如果应包含伙伴份额的服务器停止响应，查询的服务