Supersonic
Supersonic is the first complete zk-SNARK system that has both a practical prover time as well as asymptotically logarithmic proof size and verification time. In Findora, we are planning to implement an even more efficient version of Supersonic, using the Darker polynomial commitment scheme.
Supersonic will enable anonymous transactions, and private policies and smart contracts, to run on Findora without needing a trusted setup.