我认识的每一个聪明人现在都在关注ZK和可验证性。
990