2024.7.15 - 2024.7.21
2024.7.21
The BitVM project has successfully merged a pull request (https://github.com/BitVM/BitVM/pull/83) that implements the full version of Algorithm 9 from the "On Proving Pairings" paper(https://eprint.iacr.org/2024/640.pdf). This includes:
- Utilizing the affine mode from section 5.2 of the paper, reducing the script size of the Groth16 verifier by approximately 600MB.
- Preprocessing the constant scalar ONE in the MSM, reducing the script size of the Groth16 verifier by about 500MB.
- As a result, the final script size of the Groth16 verifier has been reduced from around 4GB to approximately 2.9GB. Simultaneously, the script size of the FFLONK verifier has been reduced from around 3.2GB to approximately 3.1GB.
2024.7.18
Starkware has announced a collaboration with L2 Iterative to deploy the Circle Stark verifier using Bitcoin script on Signet.https://x.com/StarkWareLtd/status/1813929304209723700
2024.7.17
Bitlayer has published an article interpreting MuSig2. https://x.com/BitlayerLabs/status/1813510472760431037
BitVM has merged the stack analyzer contributed by Bitlayer engineer Andrew. https://github.com/BitVM/rust-bitcoin-script/pull/4
Last updated