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 (IST), as part of a multi-institution effort, developed an end-to-end model-based framework in place of traditional programming code to make smart contracts easier to develop, easier to verify and, ultimately, safer to use.

actions college computer conditions contracts end end-to-end error human information may penn penn state proof report researchers smart smart contracts software state technology transactions