Last updated
Official BitVM Project Update: Several corner cases for u32_compress have been fixed. https://github.com/BitVM/BitVM/commit/99929dc19346f713c56269f3ba9e16ebb186ca90
Official BitVM Project Update: It has been clarified that the BitVM repository will adopt the MIT license.https://github.com/BitVM/BitVM/commit/d5a58260ca9b22bf2ab0f1e37e1f4e03c84152e6
ZeroSync @ZeroSync_ announces the formation of the BitVM Alliance! We will work together to deliver the first BitVM bridges by the end of the year. Stay tuned!
Bitlayer @BitlayerLabs In continuation of our previous research on STARK, the Bitlayer research team has conducted a deep dive on the Binius STARK proof system. Our findings are as follows:
Previous STARK systems (252, 64, 32-bit) improved the encoding process yet continued to waste space. Binius employs compact bit-level operations, potentially positioning it as the next-generation STARK.
Binius boosts efficiency with binary field arithmetic, enhanced HyperPlonk checks, and small-field polynomial commitments.
Further optimization in binary multiplication, ZeroCheck, SumCheck, and PCS may increase speed and reduce proof size.
For details, see Dr. Lynndell's (@lynndell11) latest article. https://blog.bitlayer.org/Binius_STARKs_Analysis_and_Its_Optimization/
