[framework] Assertions for groth16 public inputs parser · MystenLabs/sui@6b37277

- type: feat
- side effects: medium(requires upgrade)
- optimization for Groth16 zk-proof verification + add `flatten` Move function for vectors.

https://github.com/MystenLabs/sui/commit/6b37277276b4c347d5dba45711055bb8e533ed45