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.

2025.1.7

Bitlayer, in collaboration with Element Labs, adapts the Chunker from the ZKP verifier to the transaction graph of the Bridge, enabling the entire BitVM to function seamlessly. This effort is focused on preparing for the launch of the BitVM testnet.
🔗 https://github.com/BitVM/BitVM/pull/175

2024.12.21

Bitlayer has joined the BitVM Alliance. https://bitvm.org/

2024.12.19

The Bitlayer research team has submitted a fix for the issue where non-fixed point precomputation was inconsistent across different chunks.
🔗 https://github.com/BitVM/BitVM/pull/163

2024.12.10

At the BitVM alliance meeting, an issue regarding improving the README documentation was raised. The Bitlayer team provided information about the main folders in the code repository.
🔗 https://github.com/BitVM/BitVM/issues/148

2024.12.2

The Bitlayer research team has fixed a pairing computation error in the BitVM project, which could have allowed malicious challengers to succeed in challenges under any circumstances.
🔗 https://github.com/BitVM/BitVM/pull/140

2024.11.6

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

2024.10.12

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

2024.10.11

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

2024.7.21

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

2024.7.11

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

2024.6.6

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

2024.4.13

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

2024.3.28

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