>>171
codius
はまだあるの?

ethereumは
バグつぶし、に時間がかかっているわけではない。
バグ潰しをする格調高い言語あるいは証明器を創り上げるのに時間がかかっている。そして数学者はリップルに関心を持たないことは明らか。