Automatic construction and verification algorithm for smart contracts based on formal verification
Sign Up to like & getrecommendations! Published in 2024 at "AIP Advances"
DOI: 10.1063/5.0238456
Abstract: As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial. To ensure the high reliability of smart… read more here.
Keywords: contracts based; construction verification; verification; smart contracts ... See more keywords
A smart mask to enforce social contracts based on IOTA Tangle
Sign Up to like & getrecommendations! Published in 2024 at "PLOS ONE"
DOI: 10.1371/journal.pone.0292850
Abstract: In this paper we present the design for a smart-mask to mitigate the impact of an airborne virus such as COVID-19. The design utilises recent results from feedback control theory over a distributed ledger that… read more here.
Keywords: mask enforce; enforce social; contracts based; mask ... See more keywords