Belief game: Verifying smart contract functionality in player dynamic interactions
Engineering Science and Technology, an International JournalSmart contracts, being security-critical code, facilitate consensus among players and ensure secure and accurate value transfer, and formal verification is necessary to guarantee functional correctness of contracts. Game theory serves as one of the tools
Xu Liu, Junwu Zhu
doaj
Construction of rice supply chain supervision model driven by blockchain smart contract. [PDF]
Sci Rep, 2022 Peng X +5 more
europepmc +1 more source
Advanced Photonics Research, EarlyView.A nematic liquid crystal elastomer (LCE) exhibiting dynamic laser oscillation behavior modulated by mechanical stretching and contraction is synthesized. This study investigates the influence of liquid crystal elastomer deformation characteristics on multidimensional complex microcavity laser systems.
Hongyang Zhu +4 more
wiley +1 more source
A Trustable and Secure Usage-Based Insurance Policy Auction Mechanism and Platform Using Blockchain and Smart Contract Technologies. [PDF]
Sensors (Basel), 2023 Lin WY, Tai KY, Lin FY.
europepmc +1 more source
Poka: A Necro‐Robot Beetle with a Measured Payload Ratio of 6847%
Advanced Robotics Research, EarlyView.Here, Poka, a necro‐robot beetle with the ability to carry more than 68 times its own weight, is introduced, making it also a walking robot with the highest payload ratio measured to date. This paper is concerned with the design, manufacture and validation of ‘Poka', a novel millimetre‐scale necro‐robot aimed at bridging the performance gap between ...
Yordan Tsvetkov, Parvez Alam
wiley +1 more source
Towards analyzing the complexity landscape of solidity based ethereum smart contracts [PDF]
, 2018 Péter Hegedűs
openalex +1 more source
Recent Advances in Variable‐Stiffness Robotic Systems Enabled by Phase‐Change Materials
Advanced Robotics Research, EarlyView.Phase‐change materials (PCMs), such as shape memory alloys, hydrogels, shape memory polymers, liquid crystal elastomers, and low‐melting‐point alloys, are driving advancements in stiffness‐tunable robotic systems across a wide range of applications. This review highlights recent progress in PCM‐enabled robotics, focusing on their underlying mechanisms,
Sukrit Gaira +5 more
wiley +1 more source
Smart Contract Authentication assisted GraphMap-Based HL7 FHIR architecture for interoperable e-healthcare system. [PDF]
Heliyon, 2023 Sreejith R, Senthil S.
europepmc +1 more source
A Peer-to-peer Purchase and Rental Smart Contract-based Application (PuRSCA) [PDF]
, 2018 Sina Rafati Niya +3 more
openalex +1 more source