v0.2.0

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.