{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T15:13:18Z","timestamp":1781017998778,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":67,"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_40","type":"book-chapter","created":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:04:04Z","timestamp":1631801044000},"page":"553-578","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":44,"title":["SoK: Lending Pools in Decentralized Finance"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Bartoletti","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"James Hsin-yu","family":"Chiang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,9,17]]},"reference":[{"key":"40_CR1","unstructured":"ERC-20 token standard (2015). https:\/\/github.com\/ethereum\/EIPs\/blob\/master\/EIPS\/eip-20.md"},{"key":"40_CR2","unstructured":"Understanding the DAO attack, June 2016. http:\/\/www.coindesk.com\/understanding-dao-hack-journalists\/"},{"key":"40_CR3","unstructured":"Parity Wallet security alert, July 2017. https:\/\/paritytech.io\/blog\/security-alert.html"},{"key":"40_CR4","unstructured":"A Postmortem on the Parity Multi-Sig library self-destruct, November 2017. https:\/\/goo.gl\/Kw3gXi"},{"key":"40_CR5","unstructured":"Aave maximum liquidation amount (2020). https:\/\/github.com\/aave\/aave-protocol\/blob\/efaeed363da70c64b5272bd4b8f468063ca5c361\/contracts\/lendingpool\/LendingPoolLiquidationManager.sol#L181"},{"key":"40_CR6","unstructured":"Aave v1 flashloan receiver interface (2020). https:\/\/github.com\/aave\/aave-protocol\/blob\/efaeed363da70c64b5272bd4b8f468063ca5c361\/contracts\/flashloan\/interfaces\/IFlashLoanReceiver.sol#L11"},{"key":"40_CR7","unstructured":"Aave v1 implementation (2020). https:\/\/github.com\/aave\/aave-protocol\/tree\/efaeed363da70c64b5272bd4b8f468063ca5c361"},{"key":"40_CR8","unstructured":"Aave v1 simplified interest (2020). https:\/\/github.com\/aave\/aave-protocol\/blob\/efaeed363da70c64b5272bd4b8f468063ca5c361\/contracts\/libraries\/CoreLibrary.sol#L423"},{"key":"40_CR9","unstructured":"Aave valuation of atokens (2020). https:\/\/github.com\/aave\/aave-protocol\/blob\/efaeed363da70c64b5272bd4b8f468063ca5c361\/contracts\/lendingpool\/LendingPoolDataProvider.sol#L114"},{"key":"40_CR10","unstructured":"Akropolis Defi attack (2020). https:\/\/cryptonews.com\/news\/defi-akropolis-drops-20-following-a-usd-2m-heavy-hack-8299.htm"},{"key":"40_CR11","unstructured":"bzx fulcrum website (2020). https:\/\/fulcrum.trade"},{"key":"40_CR12","unstructured":"Coindesk: Value DeFi attack (2020). https:\/\/www.coindesk.com\/value-defi-suffers-6m-flash-loan-attack"},{"key":"40_CR13","unstructured":"Compound comptroller setter (2020). https:\/\/github.com\/compound-finance\/compound-protocol\/blob\/a5591d5f9a7f6f7ad3601ec89b126a8c2af159f6\/contracts\/CToken.sol#L1152"},{"key":"40_CR14","unstructured":"Compound implementation (2020). https:\/\/github.com\/compound-finance\/compound-protocol\/tree\/a5591d5f9a7f6f7ad3601ec89b126a8c2af159f6"},{"key":"40_CR15","unstructured":"Compound maximum liquidation amount (2020). https:\/\/github.com\/compound-finance\/compound-protocol\/blob\/a5591d5f9a7f6f7ad3601ec89b126a8c2af159f6\/contracts\/ComptrollerG5.sol#L510"},{"key":"40_CR16","unstructured":"Compound oracle attack (2020). https:\/\/news.bitcoin.com\/100-million-liquidated-on-defi-protocol-compound-following-oracle-exploit"},{"key":"40_CR17","unstructured":"Compound simplified interest (2020). https:\/\/github.com\/compound-finance\/compound-protocol\/blob\/a5591d5f9a7f6f7ad3601ec89b126a8c2af159f6\/contracts\/CToken.sol#L423"},{"key":"40_CR18","unstructured":"Compound valuation of ctokens (2020). https:\/\/github.com\/compound-finance\/compound-protocol\/blob\/a5591d5f9a7f6f7ad3601ec89b126a8c2af159f6\/contracts\/ComptrollerG5.sol#L753"},{"key":"40_CR19","unstructured":"dydx website (2020). https:\/\/dydx.exchange"},{"key":"40_CR20","unstructured":"Harvest Finance flashloan attack post-mortem (2020). https:\/\/medium.com\/harvest-finance\/harvest-flashloan-economic-attack-post-mortem-3cf900d65217"},{"key":"40_CR21","unstructured":"Makerdao website (2020). https:\/\/makerdao.com"},{"key":"40_CR22","unstructured":"Origin Dollar attack (2020). https:\/\/cryptonews.com\/news\/4th-major-defi-hack-in-a-month-origin-dollar-loses-usd-7m-8331.htm"},{"key":"40_CR23","unstructured":"Uniswap oracle template (2020). https:\/\/github.com\/Uniswap\/uniswap-v2-periphery\/blob\/dda62473e2da448bc9cb8f4514dadda4aeede5f4\/contracts\/examples\/ExampleOracleSimple.sol"},{"key":"40_CR24","unstructured":"Aave markets website (2021). https:\/\/app.aave.com\/markets"},{"key":"40_CR25","unstructured":"Aave website (2021). https:\/\/www.aave.com"},{"key":"40_CR26","unstructured":"Compound markets website (2021). https:\/\/compound.finance\/markets"},{"key":"40_CR27","unstructured":"Compound website (2021). https:\/\/www.compound.finance"},{"key":"40_CR28","unstructured":"Curve statistics (2021). https:\/\/www.curve.fi\/dailystats"},{"key":"40_CR29","unstructured":"Curve website (2021). https:\/\/www.curve.fi"},{"key":"40_CR30","unstructured":"Defi pulse website (2021). https:\/\/defipulse.com"},{"key":"40_CR31","unstructured":"Starkware (2021). https:\/\/starkware.co\/"},{"key":"40_CR32","unstructured":"Tornado (2021). https:\/\/tornado.cash\/"},{"key":"40_CR33","unstructured":"Uniswap statistics (2021). https:\/\/info.uniswap.org"},{"key":"40_CR34","unstructured":"Uniswap website (2021). https:\/\/www.uniswap.org"},{"key":"40_CR35","doi-asserted-by":"crossref","unstructured":"Angeris, G., Chitra, T.: Improved price oracles: Constant function market makers. arXiv preprint arXiv:2003.10001 (2020), https:\/\/arxiv.org\/abs\/2003.10001","DOI":"10.2139\/ssrn.3636514"},{"key":"40_CR36","doi-asserted-by":"crossref","unstructured":"Angeris, G., Kao, H.T., Chiang, R., Noyes, C., Chitra, T.: An analysis of uniswap markets. Cryptoeconomic Systems Journal (2019). https:\/\/ssrn.com\/abstract=3602203","DOI":"10.21428\/58320208.c9738e64"},{"key":"40_CR37","doi-asserted-by":"publisher","unstructured":"Arusoaie, A.: Certifying Findel derivatives for blockchain. J. Logical Algebraic Methods Programm. 121, 100665 (2021). https:\/\/doi.org\/10.1016\/j.jlamp.2021.100665","DOI":"10.1016\/j.jlamp.2021.100665"},{"key":"40_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-662-54455-6_8","volume-title":"Principles of Security and Trust","author":"N Atzei","year":"2017","unstructured":"Atzei, N., Bartoletti, M., Cimoli, T.: A survey of attacks on ethereum smart contracts (SoK). In: Maffei, M., Ryan, M. (eds.) POST 2017. LNCS, vol. 10204, pp. 164\u2013186. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-54455-6_8"},{"key":"40_CR39","unstructured":"Bartoletti, M., Bracciali, A., Lepore, C., Scalas, A., Zunino, R.: A formal model of Algorand smart contracts. In: Financial Cryptography (2021). (to appear) https:\/\/arxiv.org\/abs\/2009.12140"},{"key":"40_CR40","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":"40_CR41","unstructured":"Buterin, V.: Ethereum: a next generation smart contract and decentralized application platform (2013). https:\/\/github.com\/ethereum\/wiki\/wiki\/White-Paper"},{"key":"40_CR42","unstructured":"Cao, Y., Zou, C., Cheng, X.: Flashot: a snapshot of flash loan attack on DeFi ecosystem. arXiv preprint arXiv:2102.00626 (2021). https:\/\/arxiv.org\/abs\/2102.00626"},{"key":"40_CR43","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":"40_CR44","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). http:\/\/arxiv.org\/abs\/2103.08577","DOI":"10.1109\/SP40001.2021.00084"},{"key":"40_CR45","doi-asserted-by":"crossref","unstructured":"Chitra, T.: Competitive equilibria between staking and on-chain lending. arXiv preprint arXiv:2001.00919 (2019). https:\/\/arxiv.org\/abs\/2001.00919","DOI":"10.21428\/58320208.9ce1cd26"},{"key":"40_CR46","doi-asserted-by":"crossref","unstructured":"Chitra, T., Evans, A.: Why stake when you can borrow? Available at SSRN 3629988 (2020). http:\/\/dx.doi.org\/10.2139\/ssrn.3629988","DOI":"10.2139\/ssrn.3629988"},{"key":"40_CR47","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"},{"key":"40_CR48","unstructured":"Darlin, M., Papadis, N., Tassiulas, L.: Optimal bidding strategy for maker auctions. arXiv preprint arXiv:2009.07086 (2020). https:\/\/arxiv.org\/abs\/2009.07086"},{"issue":"2","key":"40_CR49","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":"40_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-030-43725-1_13","volume-title":"Financial Cryptography and Data Security","author":"S Eskandari","year":"2020","unstructured":"Eskandari, S., Moosavi, S., Clark, J.: SoK: transparent dishonesty: front-running attacks on blockchain. In: Bracciali, A., Clark, J., Pintore, F., R\u00f8nne, P.B., Sala, M. (eds.) FC 2019. LNCS, vol. 11599, pp. 170\u2013189. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-43725-1_13"},{"key":"40_CR51","doi-asserted-by":"crossref","unstructured":"Gu, W.C., Raghuvanshi, A., Boneh, D.: Empirical measurements on pricing Oracles and decentralized governance for stablecoins. Available at SSRN 3611231 (2020). http:\/\/dx.doi.org\/10.2139\/ssrn.3611231","DOI":"10.2139\/ssrn.3611231"},{"key":"40_CR52","doi-asserted-by":"publisher","unstructured":"Gudgeon, L., P\u00e9rez, D., Harz, D., Livshits, B., Gervais, A.: The decentralized financial crisis. In: Crypto Valley Conference on Blockchain Technology (CVCBT), pp. 1\u201315. IEEE (2020). https:\/\/doi.org\/10.1109\/CVCBT50464.2020.00005","DOI":"10.1109\/CVCBT50464.2020.00005"},{"key":"40_CR53","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":"40_CR54","unstructured":"Qin, K., Zhou, L., Gervais, A.: Quantifying Blockchain Extractable Value: How dark is the forest? arXiv preprint arXiv:2101.05511 (2021). https:\/\/arxiv.org\/abs\/2101.05511"},{"key":"40_CR55","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":"40_CR56","unstructured":"Bartoletti, M., Chiang, J.H., Lluch-Lafuente, A.: SoK: Lending Pools in Decentralized Finance. arXiv preprint arXiv:2012.13230 (2020). https:\/\/arxiv.org\/abs\/2012.13230"},{"key":"40_CR57","unstructured":"Bartoletti, M., Chiang, J.H., Lluch-Lafuente, A.: A theory of Automated Market Makers in DeFi. arXiv preprint arXiv:2102.11350 (2021). https:\/\/arxiv.org\/abs\/2102.11350"},{"key":"40_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-030-51280-4_11","volume-title":"Financial Cryptography and Data Security","author":"A Moin","year":"2020","unstructured":"Moin, A., Sekniqi, K., Sirer, E.G.: SoK: a classification framework for stablecoin designs. In: Bonneau, J., Heninger, N. (eds.) FC 2020. LNCS, vol. 12059, pp. 174\u2013197. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-51280-4_11"},{"key":"40_CR59","unstructured":"Perez, D., Werner, S.M., Xu, J., Livshits, B.: Liquidations: Defi on a knife-edge. In: Financial Cryptography (2021). (to appear) https:\/\/arxiv.org\/abs\/2009.13235"},{"key":"40_CR60","unstructured":"Qin, K., Zhou, L., Livshits, B., Gervais: Attacking the DeFi Ecosystem with Flash Loans for Fun and Profit. In: Financial Cryptography (2021). (to appear) https:\/\/arxiv.org\/abs\/2003.03810"},{"key":"40_CR61","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":"40_CR62","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":"40_CR63","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) https:\/\/arxiv.org\/abs\/2102.05405"},{"key":"40_CR64","unstructured":"Wang, D., et al.: Towards understanding flash loan and its applications in defi ecosystem. arXiv preprint arXiv:2010.12252 (2020). https:\/\/arxiv.org\/abs\/2010.12252"},{"key":"40_CR65","unstructured":"Wang, Y.: Automated market makers for decentralized finance (defi). arXiv preprint arXiv:2009.01676 (2020). https:\/\/arxiv.org\/abs\/2009.01676"},{"key":"40_CR66","unstructured":"Werner, S.M., Perez, D., Gudgeon, L., Klages-Mundt, A., Harz, D., Knottenbelt, W.J.: Sok: Decentralized Finance (DeFi). arXiv preprint arXiv:2101.08778 (2021), https:\/\/arxiv.org\/abs\/2101.08778"},{"key":"40_CR67","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). https:\/\/arxiv.org\/abs\/2009.14021","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_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,16]],"date-time":"2021-09-16T14:16:47Z","timestamp":1631801807000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-63958-0_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783662639573","9783662639580"],"references-count":67,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-63958-0_40","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"}}]}}