Firma zaprezentowała nowe narzędzie, które może automatycznie audytować inteligentne kontrakty zbudowane na Ethereum, które używają języka programowania ...