我们想要强调 Hierophant，这是我们对 SP1 兼容证明网络的自由软件实现。