2024.10.21 - 2024.10.27
Last updated
Was this helpful?
Last updated
Was this helpful?
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!
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.
Bitlayer 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:
For details, see Dr. Lynndell's () latest article.