Zeppelin Solidity Release Candidate + New Functional Verification Tool

Tools and Libraries updates

Truffle 5.0.14

Resource: https://github.com/trufflesuite/truffle/releases/tag/v5.0.14

Truffle has released a new version 5.0.14. This version contains improved support for Quroum private transactions, improved gas estimation and bugfixes. Also a revert to a breaking change in the HD Wallet provider.

Open Zeppelin 2.3.0 Release Candidate

Resource: https://forum.zeppelin.solutions/t/openzeppelin-2-3-0-release-candidate/572

Open Zeppelin has introduced a new release candidate version. This version includes ERC777 — the popular improvement to ERC20 proposed by Jordi Baylina. Also all contracts now have revert reasons and the documentation is updated and prettified.

VerX — Full Functional Verification For Ethereum

Resource: https://medium.com/chainsecurity/verx-full-functional-verification-for-ethereum-contracts-now-at-your-fingertips-f8d20085e4ec

ChainSecurity team has outdone themselves again and has released a new tool for functional verification of solidity smart contract. The tool allows you to define your custom requirements and prove that your application is functioning the way it is supposed to.