Danksharding is part of the ETH roadmap as solution for increasing throughput. For Danksharding we need public parameters that are created in a Perpetual Powers of Tau ceremony which we implemented.
Ethereum's current PoW is very energy inefficient. We try to improve on it while maintaining ASIC resistance by using disk space for a "proof-of-capacity".
Creating Zero-Knowledge Proofs is very slow through FFT's on finite elements. GPU-snarks accelerates FFT's with GPU's