Positive Web3 Security

In this article, I would like to discuss methods and tools for the formal verification of smart contracts…

At Positive Web3, we live and breathe smart contract security. Our work revolves around analyzing vulnerabilities, researching exploits…

Positive.com experts have assessed the source code of AIRA Lab Robonomics smart contracts.

ICO security company launches Chainwatch, a real time monitoring product for ICOs.

Proof of Stake protocols are in the spotlight as more and more high-profile blockchains attempt to switch over from Proof of Work…

This year at PHDays security conference a new contest called EtherHack was held. The goal was to be the first to solve all tasks which…

Ethereum has gained tremendous popularity as a platform for initial coin offerings (ICOs). However, it is used in more than just ERC20…

The team over at trade.io launched their “Trade Token” ICO on Ethereum on 7th December. Business has been brisk, with early investors…

Let’s continue our journey into the internals of EVM bytecode. In the last post we’ve taken a look at a simple contract and how to reverse…