COZ has launched an replace for Boa, its Python sensible contract compiler. The v1.1.0 replace is aimed toward streamlining the developer expertise and offers entry to key Neo v3.6 options, comparable to instruments for zero-knowledge proof verification.
Purposes leveraging zero-knowledge proofs are supported by way 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 commonplace validation for divisible belongings and the opposite correcting worth technology for imported variables that share an identifier with an area variable.