本文以Zerocash与BlockMaze区块链隐私保护方案为例，抽象了对区块链隐私保护方案的安全性证明。本文不旨在给出详细的安全性证明，而希望给读者一种直观上的证明思路。
（更新中，目前只对四种安全特性中的一种给出了证明，后续三种将陆续给出）
