"GMAC"

の検索結果

バイナリフィールドに基づいた証明システムを構築する際の実用的な課題は2つあります。まず、STARKsでのトレース表現に使用されるフィールドサイズは、多項式の次数よりも大きくする必要があります。次に、STARKsでのMerkleツリーコミットメントに使用されるフィールドサイズは、Reed-Solomonエンコーディング拡張後のサイズよりも大きくする必要があります。Biniusは、同じデータを2つの異なる方法で表現することにより、これら2つの問題に対処する革新的なソリューションです。