Results 71 to 80 of about 27,184 (300)
SoK:TEE-assisted confidential smart contract [PDF]
, 2022 The blockchain-based smart contract lacks privacy since the contract state and instruction code are exposed to the public. Combining smart-contract execution with Trusted Execution Environments (TEEs) provides an efficient solution, called TEE-assisted ...
Rujia Li +9 more
core +1 more source
Smart Contract Interactions in Coq [PDF]
, 2020 We present a model/executable specification of smart contract execution in Coq. Our formalization allows for inter-contract communication and generalizes existing work by allowing modelling of both depth-first execution blockchains (like Ethereum) and breadth-first execution blockchains (like Tezos).
Jakob Botsch Nielsen, Bas Spitters
openaire +3 more sources
Advanced Engineering Materials, EarlyView.Coarse‐grained (left) and atomistic (right) models of the shape memory polymer ESTANE ETE 75DT3 are shown schematically. The two representations bridge molecular detail and mesoscopic description. Both models capture shape memory behavior, linking segmental mobility and conformational relaxation of anisotropic chains to macroscopic recovery, and ...
Fathollah Varnik
wiley +1 more source
Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract
IEEE Access, 2022 Blockchain is a revolutionary technology that enables users to communicate in a trust-less manner. It revolutionizes the modes of business between organizations without the need for a trusted third party.
Satpal Singh Kushwaha +4 more
doaj +1 more source
Influence of Geometric Design on Mechanical Performance of Auxetic Metastructure
Advanced Engineering Materials, EarlyView.Strategic geometric reinforcement transforms auxetic performance. This study evaluates 3D‐printed arrowhead metastructures, revealing that a modified design with local ring reinforcement suppresses premature failure to achieve superior energy absorption and structural efficiency.
Muhammad Gulzari +3 more
wiley +1 more source
POSE: Practical Off-chain Smart Contract Execution
, 2023 Smart contracts enable users to execute payments depending on complex program logic. Ethereum is the most notable example of a blockchain that supports smart contracts leveraged for countless applications including games, auctions and financial products.
Faust, Sebastian +6 more
core
Blockchain Smart Contract-Enabled Secure Energy Trading for Electric Vehicles
, 2022 In this paper, a blockchain-enabled energy trading method is proposed to deal with the inefficiency and security issues in energy trading for electric vehicles in smart grids.
Yiyang Ni +7 more
core +1 more source
Polarizable Vanadium Dipoles Promote Water Dissociation on Vanadium‐Based Metal Organic Framework
Advanced Functional Materials, EarlyView.The polarization of unpaired V 3d electrons weakens the H─O bond to improve water dissociation by the dual Vδ+:O─H and Pλ−:H─O coupling hydrogen bonds formation and relaxation. P@V‐MOF electrocatalyst shows low overpotentials (94 mV in acid, 178 mV in neutral, and 77 mV in alkaline solutions) with excellent stability for effective overall water ...
Xinjuan Liu +13 more
wiley +1 more source
, 2020 To promote coordinated development of electric vehicles (EVs) and power grid under open power selling, a bidding mechanism using blockchain smart contract technology was proposed.
Wangping Shen +3 more
core +1 more source
Speckle‐Engineered Upconversion Amplification in Nanoemulsion‐Templated Hydrogel Microdomes
Advanced Functional Materials, EarlyView.Nanoemulsion‐confined PEGDA microdomes generate speckle‐like excitation fields that strongly amplify upconversion luminescence upon dehydration, enabling filter‐free visible readout with reversible on–off switching. DMD‐based lithography yields scalable, shape‐programmable arrays for moisture‐responsive displays and optical encryption.
Chaeyeong Ryu +13 more
wiley +1 more source