Human abstractness may make smart contracts smarter, researchers report

Smart contracts, or computer programs that automatically execute certain agreed-upon actions when agreed-upon conditions are met, are considered safer for online transactions than traditional contracts, but they are not error-proof. Researchers from the Penn State College of Information Sciences and Technology were part of a multi-institution effort to make smart contracts easier to develop, easier to verify and, ultimately, safer to use.