COZ has launched an replace for Boa, its Python good contract compiler. The v1.1.0 replace is geared toward streamlining the developer expertise and supplies entry to key Neo v3.6 options, corresponding to instruments for zero-knowledge proof verification.
Functions leveraging zero-knowledge proofs are supported by means of the inclusion of the CryptoLib native contract strategies for BLS factors, together with:
- Serialization and deserialization
- Arithmetic (addition and multiplication)
- Pairing
- Equivalence checking
Two new opcodes have been launched, ASSERTMSG and ABORTMSG, which give builders extra context when debugging execution failures. A way for changing bytes to printable strings was additionally added.
Common enhancements embrace validation for the presence of a contract file earlier than working TestRunner and the elimination of an pointless requirement. The replace additionally fixes two bugs, one including NEP-11 normal validation for divisible property and the opposite correcting worth technology for imported variables that share an identifier with a neighborhood variable.
