Reverie：優化的零知識證明系統

零知識證明（ZK證明）曾經只是理論上的好奇心，但最近在區塊鏈系統中得到了廣泛應用，如Zcash和Monero。然而，大多數區塊鏈應用的ZK證明在證明大小和性能上做出了不適合其他用例的權衡。特別是，這些協議通常需要複雜的可信設置階段，並針對證明進行了優化。