Zcash
corda
(in a Proof System)
+probabilistic
Completeness
完整性
soundness
健全
effiency
效率
By Ming-der Wang