TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts. (arXiv:2301.08806v1 [cs.CR])

Ethereum is a permissionless blockchain ecosystem that supports execution of
smart contracts, the key enablers of decentralized finance (DeFi) and
non-fungible tokens (NFT). However, the expressiveness of Ethereum smart
contracts is a double-edged sword: while it enables blockchain programmability,
it also introduces security vulnerabilities, i.e., the exploitable
discrepancies between expected and actual behaviors of the contract code. To
address these discrepancies and increase the vulnerability coverage, we propose
a new smart contract security testing approach called transaction
encapsulation. The core …

address blockchain code contract decentralized defi ecosystem ethereum finance key nft non non-fungible tokens security smart smart contracts the key tokens transaction txt vulnerabilities vulnerability