Zencash uses zk-SNARK based zero-knowledge proof which allow the creation of shielded transactions validated through a complex algorithm while shielding their effective value, senders and receivers.
Are there any plans to eventually move to proof of stake algorithms?