An optimized field multiplication for Bitcoin that reduces the SNARK verifier script used in BitVM
We’re excited to share significant optimizations we’ve made in verifying field multiplications in Script, which reduce the SNARK verifier script used in BitVM by over 1.2 GB.
Our new primitive TMUL has unlocked much more efficient ZK verification on Bitcoin. 1/ pic.twitter.com/QO7Y8kOzL7
alpenlabs.io
🔗
BitVM2: Bridging Bitcoin to Second Layers
Bitcoin, similar to other Layer 1 blockchains, faces significant scalability challenges, driving the need for Layer 2 (L2) solutions to enhance network performance