{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T02:56:01Z","timestamp":1768272961038,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662639573","type":"print"},{"value":"9783662639580","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-662-63958-0_20","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:04:04Z","timestamp":1631801044000},"page":"227-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Towards a Theory of Decentralized Finance"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James Hsin-yu","family":"Chiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"20_CR1","unstructured":"ERC-20 token standard (2015). https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-20.md"},{"key":"20_CR2","unstructured":"Uniswap oracle template (2020). https:\/\/github.com\/Uniswap\/uniswap-v2-periphery\/blob\/dda62473e2da448bc9cb8f4514dadda4aeede5f4\/contracts\/examples\/ExampleOracleSimple.sol"},{"key":"20_CR3","unstructured":"Starkware (2021). https:\/\/starkware.co\/"},{"key":"20_CR4","unstructured":"Tornado (2021). https:\/\/tornado.cash\/"},{"key":"20_CR5","unstructured":"Angeris, G., Evans, A., Chitra, T.: When does the tail wag the dog? Curvature and market making. arXiv preprint arXiv:2012.08040 (2020)"},{"key":"20_CR6","doi-asserted-by":"publisher","unstructured":"Arusoaie, A.: Certifying findel derivatives for blockchain. J. Logical Algebraic Methods Program. 121 (2021). https:\/\/doi.org\/10.1016\/j.jlamp.2021.100665","DOI":"10.1016\/j.jlamp.2021.100665"},{"key":"20_CR7","unstructured":"Bartoletti, M., Chiang, J.H., Lluch-Lafuente, A.: SoK: lending pools in decentralized finance. In: 5th Workshop on Trusted Smart Contracts (2021). (to appear). https:\/\/arxiv.org\/abs\/2012.13230"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Bartoletti, M., Chiang, J.H., Lluch-Lafuente, A.: A theory of automated market makers in defi. arXiv preprint arXiv:2102.11350 (2021)","DOI":"10.1007\/978-3-030-78142-2_11"},{"key":"20_CR9","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243795","author":"M Bartoletti","year":"2018","unstructured":"Bartoletti, M., Zunino, R.: BitML: a calculus for Bitcoin smart contracts. ACM CCS (2018). https:\/\/doi.org\/10.1145\/3243734.3243795","journal-title":"ACM CCS"},{"key":"20_CR10","unstructured":"Cao, Y., Zou, C., Cheng, X.: Flashot: a snapshot of flash loan attack on DeFi ecosystem. arXiv preprint arXiv:2102.00626 (2021)"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Baum, C., David, B., Frederiksen, T.: P2DEX: privacy-preserving decentralized cryptocurrency exchange. Cryptology ePrint Archive, Report 2021\/283 (2021). https:\/\/eprint.iacr.org\/2021\/283","DOI":"10.1007\/978-3-030-78372-3_7"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Cecchetti, E., Yao, S., Ni, H., Myers, A.C.: Compositional security for reentrant applications. arXiv preprint arXiv:2103.08577 (2021)","DOI":"10.1109\/SP40001.2021.00084"},{"key":"20_CR13","doi-asserted-by":"publisher","unstructured":"Daian, P., et al.: Flash boys 2.0: frontrunning in decentralized exchanges, miner extractable value, and consensus instability. In: IEEE Symposium on Security and Privacy, pp. 910\u2013927. IEEE (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00040","DOI":"10.1109\/SP40000.2020.00040"},{"issue":"2","key":"20_CR14","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1109\/TIT.1983.1056650","volume":"29","author":"D Dolev","year":"1983","unstructured":"Dolev, D., Yao, A.: On the security of public key protocols. IEEE Trans. Inf. Theory 29(2), 198\u2013208 (1983)","journal-title":"IEEE Trans. Inf. Theory"},{"key":"20_CR15","unstructured":"Evans, A., Angeris, G., Chitra, T.: Optimal fees for geometric mean market makers (2021). https:\/\/web.stanford.edu\/~guillean\/papers\/g3m-optimal-fee.pdf"},{"key":"20_CR16","doi-asserted-by":"publisher","unstructured":"Gudgeon, L., Werner, S., Perez, D., Knottenbelt, W.J.: Defi protocols for loanable funds: interest rates, liquidity and market efficiency. In: ACM Conference on Advances in Financial Technologies, pp. 92\u2013112 (2020). https:\/\/doi.org\/10.1145\/3419614.3423254","DOI":"10.1145\/3419614.3423254"},{"key":"20_CR17","unstructured":"Kao, H.T., Chitra, T., Chiang, R., Morrow, J.: An analysis of the market risk to participants in the compound protocol. https:\/\/scfab.github.io\/2020\/FAB2020_p5.pdf"},{"key":"20_CR18","unstructured":"Qin, K., Zhou, L., Gervais, A.: Quantifying blockchain extractable value: how dark is the forest? (2021). https:\/\/arxiv.org\/pdf\/2101.05511"},{"key":"20_CR19","unstructured":"Qin, K., Zhou, L., Livshits, B., Gervais, A.: Attacking the DeFi ecosystem with flash loans for fun and profit. In: Financial Cryptography (2021). (to appear). https:\/\/arxiv.org\/pdf\/2003.03810"},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-030-03427-6_27","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"P Lamela Seijas","year":"2018","unstructured":"Lamela Seijas, P., Thompson, S.: Marlowe: financial contracts on blockchain. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 356\u2013375. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_27"},{"key":"20_CR21","unstructured":"Tolmach, P., Li, Y., Lin, S.W., Liu, Y.: Formal analysis of composable DeFi protocols. In: 1st Workshop on Decentralized Finance (2021). (to appear). https:\/\/arxiv.org\/abs\/2103.00540"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Vandin, A., Giachini, D., Lamperti, F., Chiaromonte, F.: Automated and distributed statistical analysis of economic agent-based models. arXiv preprint arXiv:2102.05405 (2021)","DOI":"10.1016\/j.jedc.2022.104458"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Wang, D., et al.: Towards understanding flash loan and its applications in DeFi ecosystem. arXiv preprint arXiv:2010.12252 (2020)","DOI":"10.1145\/3457977.3460301"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Werner, S.M., Perez, D., Gudgeon, L., Klages-Mundt, A., Harz, D., Knottenbelt, W.J.: SoK: decentralized finance (DeFi) (2021)","DOI":"10.1145\/3558535.3559780"},{"key":"20_CR25","unstructured":"Zhao, W., Li, H., Yuan, Y.: (2021). (to appear). https:\/\/arxiv.org\/abs\/2101.08423"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"Zhou, L., Qin, K., Torres, C.F., Le, D.V., Gervais, A.: High-frequency trading on decentralized on-chain exchanges. arXiv preprint arXiv:2009.14021 (2020)","DOI":"10.1109\/SP40001.2021.00027"}],"container-title":["Lecture Notes in Computer Science","Financial Cryptography and Data Security. FC 2021 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-63958-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T22:09:31Z","timestamp":1699481371000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-63958-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662639573","9783662639580"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63958-0_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"17 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Financial Cryptography and Data Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 March 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fc2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fc21.ifca.ai\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}