[2212.10324] Distributed Key Generation with Smart Contracts using zk-SNARKs