具體來說，該論文提出了兩種方案。第一種方案是用于保護用戶余額和交易金額的智能合約，且在隨機預言模型下是可證明安全的。第二種方案是一種高效的零知識證明方案NIZK，相對于zk-SNARK (Zerocash)來說，雖然產(chǎn)生的proof size更大，但可以提高生成proof的時間效率。

通過這些方案，作者成功建立了一個保護用戶隱私的智能合約系統(tǒng)，為保護用戶交易隱私提供了有力的技術(shù)保障。