Loading...
Market
Will STARK verification costs be reduced by the new M31 multiplication algorithm by the end of 2024?
2
Resolution / Starting Odds
Yes • 50%
No • 50%
Technical reports and updates from Circle and other relevant parties
Story
New Algorithm Cuts Bitcoin M31 Multiplication Cost by 70%, Enhances STARK Verification
Aug 26, 2024, 01:26 PM
A significant advancement has been made in Bitcoin multiplication and STARK verification with the development of a new algorithm for M31 multiplication. This algorithm, created by Avihu28, reduces the multiplication cost by 70% and does not rely on OP_CAT. The integration of this algorithm into the OP_CAT-based Circle STARK verifier is expected to significantly decrease verification costs. The optimization process, led by Weikeng Chen and Ping Zhouyuan, was executed rapidly, reducing the M31 multiplication cost from 1418 to 402 in just four days. This breakthrough is part of the ongoing evolution of Bitcoin Script techniques, which include optimization tricks for non-native finite field arithmetic and the verification of merkle trees using OP_CAT.
View original story
Similar markets
Yes • 50%
No • 50%
Less than 50% • 25%
50% to 60% • 25%
60% to 70% • 25%
More than 70% • 25%
zk-proof on Bitcoin mainnet • 25%
Partnership with major exchange • 25%
Implementation of Bitcoin rollups • 25%
Other • 25%
Yes • 50%
No • 50%
With another blockchain project • 25%
With a financial institution • 25%
With a government entity • 25%
Other • 25%
Less than 1,000 TPS • 25%
Between 1,000 and 1,500 TPS • 25%
Between 1,500 and 2,000 TPS • 25%
More than 2,000 TPS • 25%
