Christian Seberino, an Ethereum Classic and IOHK professor, has proposed a new method of debugging smart contracts. With millions of dollars lost to smart contract flaws each year, designing secure smart contracts is a vital matter. Seberino’s proposal provides an alternative to a common debugging method called formal verification—but will it gain traction in the […]The post Ethereum Classic (ETC) Prof Proposes Simpler Smart Contract Debugging appeared first on NullTX.