Cairo is updated to 2.8.2 and is mandatory.
This release significantly improves groth16 transactions costs for BN254, BLS. It also reduces the calldata size for BN254 by 25%.
The new costs can be found in these two sepolia tx (1 public input):
- BLS steps : 136437 https://sepolia.starkscan.co/tx/0x034f0c2c22e2246ab551e300669417dc2db2f66a0e5d139f37ef01c9341eedb5
- BN254 steps : 157219 https://sepolia.starkscan.co/tx/0x05f589fe40263acaf4684ecc97b2cbddd08f9af6eca4975c75acc0cae4db483f
What's Changed
- initial risc0 support by @feltroidprime in #181
- Greatly improve deserialization costs (-17% on total steps count of groth16 proof verification) by @feltroidprime in #183
- Adds missing E12D serialization by @feltroidprime in #184
- dev: make items public by @enitrat in #185
- fix: handle curve ID bls12381 (snarkjs) by @m-kus in #188
- u288 struct + calldata refactors by @feltroidprime in #187
- garaga_rs WASM bindings by @raugfer in #180
- Make MillerLoopResultScalingFactor struct generic on T. by @feltroidprime in #194
- MSM Calldata Updates by @raugfer in #192
- Release 0.13.3 by @feltroidprime in #195
New Contributors
Full Changelog: v0.13.2.3...v0.13.3
Contributors
raugfer, m-kus, and 2 other contributors