v0.13.3

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

• @enitrat made their first contribution in #185
• @m-kus made their first contribution in #188

Full Changelog: v0.13.2.3...v0.13.3