{"id":"https://openalex.org/W3131752494","doi":"https://doi.org/10.46298/lmcs-18(4:12)2022","title":"A theory of Automated Market Makers in DeFi","display_name":"A theory of Automated Market Makers in DeFi","publication_year":2022,"publication_date":"2022-12-19","ids":{"openalex":"https://openalex.org/W3131752494","doi":"https://doi.org/10.46298/lmcs-18(4:12)2022","mag":"3131752494"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-18(4:12)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:12)2022","pdf_url":"https://lmcs.episciences.org/10504/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/10504/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050606239","display_name":"Massimo Bartoletti","orcid":"https://orcid.org/0000-0003-3796-9774"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Massimo Bartoletti","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-3796-9774","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051256753","display_name":"James Hsin-yu Chiang","orcid":"https://orcid.org/0000-0002-5126-9494"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"James Hsin-yu Chiang","raw_affiliation_strings":["Technical University of Denmark, Department of Applied Mathematics and Computer Science, DK"],"raw_orcid":"https://orcid.org/0000-0002-5126-9494","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Department of Applied Mathematics and Computer Science, DK","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054527006","display_name":"Alberto Lluch Lafuente","orcid":"https://orcid.org/0000-0001-7405-0818"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Alberto Lluch-Lafuente","raw_affiliation_strings":["Technical University of Denmark, Department of Applied Mathematics and Computer Science, DK"],"raw_orcid":"https://orcid.org/0000-0001-7405-0818","affiliations":[{"raw_affiliation_string":"Technical University of Denmark, Department of Applied Mathematics and Computer Science, DK","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5050606239"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.672,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.96448157,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"Volume 18, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11270","display_name":"Complex Systems and Time Series Analysis","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11270","display_name":"Complex Systems and Time Series Analysis","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12137","display_name":"Economic theories and models","score":0.9763000011444092,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.594038724899292},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3815561830997467}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.594038724899292},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3815561830997467}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.46298/lmcs-18(4:12)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:12)2022","pdf_url":"https://lmcs.episciences.org/10504/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2102.11350","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2102.11350","pdf_url":"https://arxiv.org/pdf/2102.11350","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:doaj.org/article:692740520a4941b281b60da725dea1c4","is_oa":false,"landing_page_url":"https://doaj.org/article/692740520a4941b281b60da725dea1c4","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 18, Issue 4 (2022)","raw_type":"article"},{"id":"pmh:oai:iris.unica.it:11584/352258","is_oa":true,"landing_page_url":"https://hdl.handle.net/11584/352258","pdf_url":null,"source":{"id":"https://openalex.org/S4377196293","display_name":"UNICA IRIS Institutional Research Information System (University of Cagliari)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I172446870","host_organization_name":"University of Cagliari","host_organization_lineage":["https://openalex.org/I172446870"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.atira.dk:publications/61fef911-b62e-4f50-809a-52555fd1de17","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/61fef911-b62e-4f50-809a-52555fd1de17","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bartoletti , M , Chiang , J H & Lluch-Lafuente , A 2022 , ' A theory of Automated Market Makers in DeFi ' , Logical Methods in Computer Science , vol. 18 , no. 4 , 12 . https://doi.org/10.46298/lmcs-18(4:12)2022","raw_type":"article"},{"id":"pmh:oai:pure.atira.dk:publications/a8b43562-56f5-4a05-8fe9-2da4d4d4099d","is_oa":true,"landing_page_url":"https://orbit.dtu.dk/en/publications/a8b43562-56f5-4a05-8fe9-2da4d4d4099d","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bartoletti , M , Chiang , J H Y & Lluch-Lafuente , A 2021 , A Theory of Automated Market Makers in DeFi . in F Damiani & O Dardha (eds) , Coordination Models and Languages . Springer , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12717 LNCS , pp. 168-187 , 23 rd IFIP WG 6.1 International Conference on Coordination Models and Languagesec 2021 , Virtual, Online , 14/06/2021 . https://doi.org/10.1007/978-3-030-78142-2_11","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.46298/lmcs-18(4:12)2022","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-18(4:12)2022","pdf_url":"https://lmcs.episciences.org/10504/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[{"id":"https://openalex.org/G2110831114","display_name":null,"funder_award_id":"SU-ICT-03-2018","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G3571484884","display_name":null,"funder_award_id":"F75F21001220007","funder_id":"https://openalex.org/F4320315324","funder_display_name":"Fondazione di Sardegna"},{"id":"https://openalex.org/G6384328479","display_name":null,"funder_award_id":"830929","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7331901853","display_name":null,"funder_award_id":"EU H2020","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320315324","display_name":"Fondazione di Sardegna","ror":"https://ror.org/02sryfh37"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3131752494.pdf","grobid_xml":"https://content.openalex.org/works/W3131752494.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W984512778","https://openalex.org/W1493395571","https://openalex.org/W1532790179","https://openalex.org/W1566798582","https://openalex.org/W1705394006","https://openalex.org/W1976466630","https://openalex.org/W1992478452","https://openalex.org/W1994496067","https://openalex.org/W1999251815","https://openalex.org/W2002680540","https://openalex.org/W2013388501","https://openalex.org/W2020430470","https://openalex.org/W2033211381","https://openalex.org/W2035382168","https://openalex.org/W2044413474","https://openalex.org/W2050212605","https://openalex.org/W2058812404","https://openalex.org/W2059616457","https://openalex.org/W2083051056","https://openalex.org/W2143234301","https://openalex.org/W2149043895","https://openalex.org/W2161414783","https://openalex.org/W2795911003","https://openalex.org/W2900062846","https://openalex.org/W3005011021","https://openalex.org/W3013391778","https://openalex.org/W3016124762","https://openalex.org/W3089830732","https://openalex.org/W3094579261","https://openalex.org/W3097762961","https://openalex.org/W3105960525","https://openalex.org/W3110864180","https://openalex.org/W3111099134","https://openalex.org/W3119820209","https://openalex.org/W3120405143","https://openalex.org/W3141655563","https://openalex.org/W3164505694","https://openalex.org/W3203029673","https://openalex.org/W4238591275","https://openalex.org/W4252358304","https://openalex.org/W4307787463"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Automated":[0],"market":[1],"makers":[2],"(AMMs)":[3],"are":[4,31],"one":[5],"of":[6,21,41,49,53,61,86,89,137],"the":[7,24,62,74,103,116,126,129,134],"most":[8],"prominent":[9],"decentralized":[10],"finance":[11],"(DeFi)":[12],"applications.":[13],"AMMs":[14],"allow":[15],"users":[16,65],"to":[17,26,81,125],"trade":[18],"different":[19],"types":[20],"crypto-tokens,":[22],"without":[23],"need":[25],"find":[27],"a":[28,39,47,84,122],"counter-party.":[29],"There":[30],"several":[32],"implementations":[33],"and":[34,66,94,110],"models":[35],"for":[36],"AMMs,":[37,67,90],"featuring":[38],"variety":[40],"sophisticated":[42],"economic":[43,75,95,105,135],"mechanisms.":[44,76],"We":[45,77,97],"present":[46],"theory":[48,55,80],"AMMs.":[50,138],"The":[51],"core":[52],"our":[54,79],"is":[56],"an":[57],"abstract":[58],"operational":[59],"model":[60],"interactions":[63],"between":[64],"which":[68,114],"can":[69],"be":[70],"concretised":[71],"by":[72,100],"instantiating":[73],"exploit":[78],"formally":[82],"prove":[83],"set":[85],"fundamental":[87],"properties":[88],"characterizing":[91],"both":[92],"structural":[93],"aspects.":[96],"do":[98],"this":[99],"abstracting":[101],"from":[102],"actual":[104],"mechanisms":[106,136],"used":[107],"in":[108],"implementations,":[109],"identifying":[111],"sufficient":[112],"conditions":[113],"ensure":[115],"relevant":[117],"properties.":[118],"Notably,":[119],"we":[120],"devise":[121],"general":[123],"solution":[124],"arbitrage":[127],"problem,":[128],"main":[130],"game-theoretic":[131],"foundation":[132],"behind":[133]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":8},{"year":2024,"cited_by_count":10},{"year":2023,"cited_by_count":6},{"year":2021,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}