Here are a few of the most interesting projects that are working on bringing the next generation of zero knowledge proofs.