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, equivalent to instruments for zero-knowledge proof verification.
Purposes leveraging zero-knowledge proofs are supported by 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 operating TestRunner and the removing of an pointless requirement. The replace additionally fixes two bugs, one including NEP-11 commonplace validation for divisible property and the opposite correcting worth era for imported variables that share an identifier with an area variable.
