According to the team, the language will allow programmers to code in a more intuitive and secure manner, while allowing for the kind of formal verification processes that can be a struggle in smart contract testing today.
"In the current blockchain environment for smart contracts, security is a major impediment to having it grow into the larger economy and mainstream applications," Tribble said.
Miller continued, saying that the new language should also facilitate communication between smart contracts running on different networks, potentially in the future enabling peer-to-peer trades of different cryptocurrencies.
Coindesk wire report page
Agoric web site https://agoric.com/