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 offers entry to key Neo v3.6 options, corresponding to instruments for zero-knowledge proof verification.
Purposes 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.
Basic enhancements embody validation for the presence of a contract file earlier than operating TestRunner and the removing of an pointless requirement. The replace additionally fixes two bugs, one including NEP-11 normal validation for divisible belongings and the opposite correcting worth technology for imported variables that share an identifier with an area variable.
