The Unleashing of Human Abstractness in Smart Contracts: A Path to Enhanced Intelligence?
Human Abstractness May Make Smart Contracts Smarter, Researchers Report Credit: Unsplash/CC0 Public Domain In a recent study conducted by researchers from the Penn State College of Information Sciences and Technology (IST), a new approach to developing and verifying smart contracts has been proposed. The researchers have introduced a framework called VeriSolid, which aims to make…