Where's the bug? AI pinpoints and explains flaws in smart contracts

T2Covered by 1 source · first reported by Phys.org / ScienceDaily (tech) at 26 Oct, 14:20 UTC

Smart contracts are computer programs that run on blockchains and carry out agreements automatically, like a vending machine that releases a product once payment is made. Today they power cryptocurrency payments, online lending and exchange services, digital collectibles and more, often holding…