Sergey Yegorov, the CEO of Pruvendo – a company that conducts formal verification of smart contracts on the Free TON blockchain, talks about what a mathematical proof of a […] Click here to view full article Tags:daodecentraldecentralizedethetherethereumexchangeplatformtoken