STARK証明のサイズを小さくするため、オープンな数学コンペティションが始まりました。

暗号資産の世界でスケーラビリティを実現するための、最も信頼されているツールの一つであるSTARK証明は、暗号学の基準では依然としてかなり大きなサイズです。

このコンペティションの主な目的は、数学者が特定の種類の誤差についてより優れた境界を証明できれば、STARK証明に必要な検証回数を減らせるようにすることです。検証回数が減れば、証明のサイズも小さくなります。

#Stark $STRK