贡献 必要条件 SNARK 开辟 日本 大学 操纵 债权人 研究院 奖金 最活跃 手续费 最受 轻松 Cairo 重放 又是 算法 哪一种 培育