What's Changed

• KZG PCS support.
• vector constants support.
• enable Eq/Neq on any type of value.
• u256 support.
• allow entry function to have a return value.

What's Changed

• conclude to a new value system.
• support vector bytecodes: VecImmBorrow,VecMutBorrow,VecLen,VecPack,VecPopBack,VecPushBack,VecSwap,VecUnpack.
• support const value: LdConst
• add constraints to generics. now you can pass type arguments to move script, and zkmove do the constraints for you.
• refactor value addressing.
• improve the performance of step chip, now our circuits are more compact.
• many bugfixes.

What's Changed

• supported bytecode category:
  • ld, store, move, copy, borrow, read ref, write ref, pack, unpack, borrow field, borrow global, move global
  • arithmetic ops, logical ops, comparison, bit ops, cast, branch, loop, call, ret
• supported data types:
  • u8, u64, u128, bool, address, struct, reference
• supported circuit chips:
  • execution chip, stack op chip, locals op chip and global op chip

Contributors

• @guangyuz
• @lerencao
• @luxebeng
• @jules