COZ has released an update for Boa, the Python smart contract compiler. The v1.1.0 update aims to streamline the developer experience and provides access to key Neo v3.6 features such as zero-knowledge proof verification tools.
Applications using zero-knowledge proofs are supported by the inclusion of CryptoLib’s proprietary contract methods for BLS points, including:
- Serialization and deserialization
- Arithmetic (addition and multiplication)
- To link
- Equivalence check
Two new opcodes have been introduced, ASSERTMSG and ABORTMSG, which give developers more context when debugging execution. A method for converting bytes to printable strings has also been added.
General improvements include validating the presence of a contract file before running TestRunner and removing an unnecessary requirement. The update also fixes two bugs: one adds NEP-11 standard validation for shareable assets and the other fixes value generation for imported variables that share an identifier with a local variable.