Contributions to BitVM from Bitlayer Research Team

Contributions to BitVM from Bitlayer Research Team

The Bitlayer Research Team has been an active contributor to the BitVM ecosystem, focusing on enhancing its technical capabilities and efficiency. Over the past year, we have completed several significant contributions. Below is a summary of our achievements, listed from the most recent to the earliest, showcasing our commitment to advancing the BitVM project.

November 6, 2024

After weeks of effort, we are thrilled to contribute the Chunker code to the official BitVM repository. The Bitlayer research team has focused on optimizing zero-knowledge proof verification, successfully contributing a big part of reducing the Groth16 verifier program. The program has been reduced from ~7GB to ~1GB through the whole effort from the community. Chunker is another significant milestone of BitVM progress, contributed by the Bitlayer research team. The Chunker divides the verifier program into 975 chunks and 1,079 intermediate values, resulting in both assert transactions and slash transactions fully compliant with Bitcoin’s consensus rules. This achievement lays a solid foundation for BitVM’s transformation from theory to practice and continues to drive innovation within the community.
🔗 https://github.com/BitVM/BitVM/pull/129

October 12, 2024

Released a Hint-based version of multi-scalar multiplication in affine coordinates, further reducing the cost of Groth16 verification from 1.26GB to 1.05GB.
🔗 https://github.com/BitVM/BitVM/pull/117

October 11, 2024

Implemented multi-scalar multiplication in affine coordinates, increasing the efficiency of cryptographic operations.
🔗 https://github.com/BitVM/BitVM/pull/114

Introduced checks for elements within the G2 group, ensuring compliance with cryptographic standards.
🔗 https://github.com/BitVM/BitVM/pull/115

July 21, 2024

Built the first version of an automatic chunker, leveraging the stack analyzer to improve data segmentation processes.
🔗 https://github.com/BitVM/rust-bitcoin-script_old/pull/5

July 11, 2024

Developed a static stack usage analyzer, enabling deeper insights into stack utilization within scripts.
🔗 https://github.com/BitVM/rust-bitcoin-script_old/pull/4

June 6, 2024

Achieved significant improvements in batch scalar multiplication, reducing the cost of FFLONK verification from 7.4GB to 5.6GB.
🔗 https://github.com/BitVM/BitVM/pull/73

April 13, 2024

Implemented an efficient algorithm for U32 arbitrary-bit circular right shift.
🔗 https://github.com/BitVM/BitVM/pull/52

On the same day, we also introduced the initial version of the SHA256 implementation, a critical component for hashing operations in BitVM.
🔗 https://github.com/BitVM/BitVM/pull/54

March 28, 2024

Optimized U30 integer addition for better performance and lower computational cost.
🔗 https://github.com/BitVM/BitVM/pull/33

About Bitlayer

Bitlayer is the first Bitcoin Layer 2 based on Bitcoin finality.

Bitlayer provides developers and users with a native Bitcoin Layer 2 environment through its innovative technologies including OpVM, Finality Bridge, and RtEVM. This platform ensures Bitcoin-equivalent security, a trustless cross-chain bridge, and a real-time EVM programming environment.

For inquiries or comments contact [email protected].

Follow us to stay updated on everything Bitlayer:

Website  |  Twitter  |  Discord  |  Medium  |  Github |  YouTube