Onko Zokrates kuollut projekti? Onko Noir paras tapa kehittää ZK-todisteita Ethereumissa?