Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Dave, Kinnari"'
Autor:
Sjöberg, Vilhelm, Dave, Kinnari, Britten, Daniel, Schett, Maria A, Sun, Xinyuan, Wang, Qinshi, Anderson, Sean Noble, Reeves, Steve, Shao, Zhong
Programs executed on a blockchain - smart contracts - have high financial stakes; their correctness is crucial. We argue, that this correctness needs to be foundational: correctness needs to be based on the operational semantics of their execution en
Externí odkaz:
http://arxiv.org/abs/2405.08348
Various smart contracts have been designed and deployed on blockchain platforms to enable cryptocurrency trading, leading to an ever expanding user base of decentralized exchange platforms (DEXs). Automated Market Maker contracts enable token exchang
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f12b6c4a250a4fb83cf31d274361dea