var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1\",\"jsonp\":\"1\",\"nocache\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"article\",\"type\":\"article\",\"title\":\"Credible, Optimal Auctions via Blockchains\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Chitra\"],\"firstnames\":[\"Tarun\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"VX\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Kulkarni\"],\"firstnames\":[\"Kshitij\"],\"suffixes\":[]}],\"journal\":\"In submission\",\"year\":\"2023\",\"url\":\"https://arxiv.org/abs/2301.12532\",\"bibtex\":\"@article{chitra2023credible,\\n  title={Credible, Optimal Auctions via Blockchains},\\n  author={Chitra, Tarun and Ferreira, Matheus VX and Kulkarni, Kshitij},\\n  journal={In submission},\\n  year={2023},\\n  url={https://arxiv.org/abs/2301.12532}\\n}\\n\\n%@article{kulkarni2023credibility,\\n % title={Credibility and Incentives in Gradual Dutch Auctions},\\n  %author={Kulkarni, Kshitij and Ferreira, Matheus VX and Chitra, Tarun},\\n  %journal={In submission},\\n  %year={2023}\\n%}\\n\\n\",\"author_short\":[\"Chitra, T.\",\"Ferreira, M. V.\",\"Kulkarni, K.\"],\"key\":\"chitra2023credible\",\"id\":\"chitra2023credible\",\"bibbaseid\":\"chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2301.12532\"},\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":14,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Credible Decentralized Exchange Design via Verifiable Sequencing Rules\",\"author\":[{\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"suffixes\":[]},{\"firstnames\":[\"David\",\"C.\"],\"propositions\":[],\"lastnames\":[\"Parkes\"],\"suffixes\":[]}],\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"booktitle\":\"To appear at Proceedings of the 55th Annual ACM Symposium on Theory of Computing\",\"location\":\"Orlando, FL, USA\",\"series\":\"STOC '23\",\"url\":\"https://arxiv.org/abs/2209.15569\",\"year\":\"2023\",\"bibtex\":\"@inproceedings{ferreira2022dex,\\n    title = {Credible Decentralized Exchange Design via Verifiable Sequencing Rules},\\n    author = {Matheus V. X. Ferreira and David C. Parkes},\\n    publisher = {Association for Computing Machinery},\\n    address = {New York, NY, USA},\\n    booktitle = {To appear at Proceedings of the 55th Annual ACM Symposium on Theory of Computing},\\n    location = {Orlando, FL, USA},\\n    series = {STOC '23},\\n    url = {https://arxiv.org/abs/2209.15569},\\n    year = {2023}\\n}\\n\\n\",\"author_short\":[\"Ferreira, M. V. X.\",\"Parkes, D. C.\"],\"key\":\"ferreira2022dex\",\"id\":\"ferreira2022dex\",\"bibbaseid\":\"ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2209.15569\"},\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":34,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Hahn\"],\"firstnames\":[\"Ye\",\"Lin\",\"Sally\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weinberg\"],\"firstnames\":[\"S.\",\"Matthew\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Yu\"],\"firstnames\":[\"Catherine\"],\"suffixes\":[]}],\"title\":\"Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake\",\"year\":\"2022\",\"isbn\":\"9781450391504\",\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"url\":\"https://arxiv.org/abs/2207.07996\",\"doi\":\"10.1145/3490486.3538337\",\"abstract\":\"Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols. In cryptographic self-selection, each round r has a seed Qr. In round r, each account owner is asked to digitally sign Qr, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round r, and their credential becomes the seed Qr+1. Such protocols leave open the possibility of manipulation: a user who owns multiple accounts that each produce low-scoring credentials in round r can selectively choose which ones to broadcast in order to influence the seed for round r+1. Indeed, the user can pre-compute their credentials for round r+1 for each potential seed, and broadcast only the credential (among those with low enough score to be leader) that produces the most favorable seed.We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than 3-5/2  38% of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy.\",\"booktitle\":\"Proceedings of the 23rd ACM Conference on Economics and Computation\",\"pages\":\"89–114\",\"numpages\":\"26\",\"keywords\":\"leader election, cryptocurrency, blockchain, proof-of-stake, strategic mining\",\"location\":\"Boulder, CO, USA\",\"series\":\"EC '22\",\"url_video\":\"https://youtu.be/SVdHKeycLZg\",\"bibtex\":\"@inproceedings{ferreira2022optimal,\\n  author = {Ferreira, Matheus V. X. and Hahn, Ye Lin Sally and Weinberg, S. Matthew and Yu, Catherine},\\n  title = {Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake},\\n  year = {2022},\\n  isbn = {9781450391504},\\n  publisher = {Association for Computing Machinery},\\n  address = {New York, NY, USA},\\n  url = {https://arxiv.org/abs/2207.07996},\\n  doi = {10.1145/3490486.3538337},\\n  abstract = {Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols. In cryptographic self-selection, each round r has a seed Qr. In round r, each account owner is asked to digitally sign Qr, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round r, and their credential becomes the seed Qr+1. Such protocols leave open the possibility of manipulation: a user who owns multiple accounts that each produce low-scoring credentials in round r can selectively choose which ones to broadcast in order to influence the seed for round r+1. Indeed, the user can pre-compute their credentials for round r+1 for each potential seed, and broadcast only the credential (among those with low enough score to be leader) that produces the most favorable seed.We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than 3-5/2 ~38% of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy.},\\n  booktitle = {Proceedings of the 23rd ACM Conference on Economics and Computation},\\n  pages = {89–114},\\n  numpages = {26},\\n  keywords = {leader election, cryptocurrency, blockchain, proof-of-stake, strategic mining},\\n  location = {Boulder, CO, USA},\\n  series = {EC '22},\\n  url_Video = {https://youtu.be/SVdHKeycLZg}\\n}\\n\\n\",\"author_short\":[\"Ferreira, M. V. X.\",\"Hahn, Y. L. S.\",\"Weinberg, S. M.\",\"Yu, C.\"],\"key\":\"ferreira2022optimal\",\"id\":\"ferreira2022optimal\",\"bibbaseid\":\"ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2207.07996\",\" video\":\"https://youtu.be/SVdHKeycLZg\"},\"keyword\":[\"leader election\",\"cryptocurrency\",\"blockchain\",\"proof-of-stake\",\"strategic mining\"],\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":19,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Essaidi\"],\"firstnames\":[\"Meryem\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weinberg\"],\"firstnames\":[\"S.\",\"Matthew\"],\"suffixes\":[]}],\"title\":\"Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions\",\"booktitle\":\"13th Innovations in Theoretical Computer Science Conference (ITCS 2022)\",\"pages\":\"66:1–66:19\",\"isbn\":\"978-3-95977-217-4\",\"issn\":\"1868-8969\",\"year\":\"2022\",\"volume\":\"215\",\"publisher\":\"Schloss Dagstuhl – Leibniz-Zentrum für Informatik\",\"address\":\"Dagstuhl, Germany\",\"url\":\"https://arxiv.org/abs/2205.14758\",\"urn\":\"urn:nbn:de:0030-drops-156621\",\"doi\":\"10.4230/LIPIcs.ITCS.2022.66\",\"annote\":\"Keywords: Credible Auctions, Cryptographically Secure, Single-Item\",\"url_video\":\"https://youtu.be/FdEuwH0DtY4?t=817\",\"bibtex\":\"@InProceedings{essaidi2022credible,\\n  author =\\t{Essaidi, Meryem and Ferreira, Matheus V. X. and Weinberg, S. Matthew},\\n  title =\\t{{Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions}},\\n  booktitle =\\t{13th Innovations in Theoretical Computer Science Conference (ITCS 2022)},\\n  pages =\\t{66:1--66:19},\\n  ISBN =\\t{978-3-95977-217-4},\\n  ISSN =\\t{1868-8969},\\n  year =\\t{2022},\\n  volume =\\t{215},\\n  publisher =\\t{Schloss Dagstuhl -- Leibniz-Zentrum f{\\\\\\\"u}r Informatik},\\n  address =\\t{Dagstuhl, Germany},\\n  URL =\\t\\t{https://arxiv.org/abs/2205.14758},\\n  URN =\\t\\t{urn:nbn:de:0030-drops-156621},\\n  doi =\\t\\t{10.4230/LIPIcs.ITCS.2022.66},\\n  annote =\\t{Keywords: Credible Auctions, Cryptographically Secure, Single-Item},\\n  url_Video = {https://youtu.be/FdEuwH0DtY4?t=817}\\n}\\n\\n\",\"author_short\":[\"Essaidi, M.\",\"Ferreira, M. V. X.\",\"Weinberg, S. M.\"],\"key\":\"essaidi2022credible\",\"id\":\"essaidi2022credible\",\"bibbaseid\":\"essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2205.14758\",\" video\":\"https://youtu.be/FdEuwH0DtY4?t=817\"},\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":16,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Moroz\"],\"firstnames\":[\"Daniel\",\"J.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Parkes\"],\"firstnames\":[\"David\",\"C.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Stern\"],\"firstnames\":[\"Mitchell\"],\"suffixes\":[]}],\"title\":\"Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market\",\"year\":\"2021\",\"isbn\":\"9781450390828\",\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"url\":\"https://arxiv.org/abs/2103.14144\",\"doi\":\"10.1145/3479722.3480991\",\"abstract\":\"In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. The status quo auctions sell space using a first-price auction [27]; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary.In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559 [4], aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design - a dynamic posted-price mechanism - which uses not only block utilization but also observable bids from past blocks to compute a posted-price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function f, converges to a fixed point of f.\",\"booktitle\":\"Proceedings of the 3rd ACM Conference on Advances in Financial Technologies\",\"pages\":\"86–99\",\"numpages\":\"14\",\"location\":\"Arlington, Virginia\",\"series\":\"AFT '21\",\"url_video\":\"https://youtu.be/Tv_Rqdq9kw0\",\"bibtex\":\"@inproceedings{ferreira2021dynamic,\\n  author = {Ferreira, Matheus V. X. and Moroz, Daniel J. and Parkes, David C. and Stern, Mitchell},\\n  title = {Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market},\\n  year = {2021},\\n  isbn = {9781450390828},\\n  publisher = {Association for Computing Machinery},\\n  address = {New York, NY, USA},\\n  url = {https://arxiv.org/abs/2103.14144},\\n  doi = {10.1145/3479722.3480991},\\n  abstract = {In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. The status quo auctions sell space using a first-price auction [27]; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary.In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559 [4], aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design - a dynamic posted-price mechanism - which uses not only block utilization but also observable bids from past blocks to compute a posted-price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function f, converges to a fixed point of f.},\\n  booktitle = {Proceedings of the 3rd ACM Conference on Advances in Financial Technologies},\\n  pages = {86–99},\\n  numpages = {14},\\n  location = {Arlington, Virginia},\\n  series = {AFT '21},\\n  url_Video = {https://youtu.be/Tv_Rqdq9kw0}\\n}\\n\\n\",\"author_short\":[\"Ferreira, M. V. X.\",\"Moroz, D. J.\",\"Parkes, D. C.\",\"Stern, M.\"],\"key\":\"ferreira2021dynamic\",\"id\":\"ferreira2021dynamic\",\"bibbaseid\":\"ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2103.14144\",\" video\":\"https://youtu.be/Tv_Rqdq9kw0\"},\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":81,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weinberg\"],\"firstnames\":[\"S.\",\"Matthew\"],\"suffixes\":[]}],\"title\":\"Proof-of-Stake Mining Games with Perfect Randomness\",\"year\":\"2021\",\"isbn\":\"9781450385541\",\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"url\":\"https://arxiv.org/abs/2107.04069\",\"doi\":\"10.1145/3465456.3467636\",\"abstract\":\"Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to \\\"getting the incentives right\\\" were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness. We consider instead a longest-chain Proof-of-Stake protocol with perfect, trusted, external randomness (e.g. a randomness beacon). We produce two main results. First, we show that a strategic miner can strictly outperform an honest miner with just 32.8% of the total stake. Note that a miner of this size cannot outperform an honest miner in the Proof-of-Work model. This establishes that even with access to a perfect randomness beacon, incentives in Proof-of-Work and Proof-of-Stake longest-chain protocols are fundamentally different. Second, we prove that a strategic miner cannot outperform an honest miner with 30.8% of the total stake. This means that, while not quite as secure as the Proof-of-Work regime, desirable incentive properties of Proof-of-Work longest-chain protocols can be approximately recovered via Proof-of-Stake with a perfect randomness beacon. The space of possible strategies in a Proof-of-Stake mining game is significantly richer than in a Proof-of-Work game. Our main technical contribution is a characterization of potentially optimal strategies for a strategic miner, and in particular a proof that the corresponding infinite-state MDP admits an optimal strategy that is positive recurrent.\",\"booktitle\":\"Proceedings of the 22nd ACM Conference on Economics and Computation\",\"pages\":\"433–453\",\"numpages\":\"21\",\"keywords\":\"proof-of-stake blockchains, energy-efficiency, NASH equilibrium, cryptocurrency, random beacons\",\"location\":\"Budapest, Hungary\",\"series\":\"EC '21\",\"url_video\":\"https://www.youtube.com/watch?v=ZSq8-YSWGrk\",\"bibtex\":\"@inproceedings{ferreira2021pos,\\n  author = {Ferreira, Matheus V. X. and Weinberg, S. Matthew},\\n  title = {Proof-of-Stake Mining Games with Perfect Randomness},\\n  year = {2021},\\n  isbn = {9781450385541},\\n  publisher = {Association for Computing Machinery},\\n  address = {New York, NY, USA},\\n  url = {https://arxiv.org/abs/2107.04069},\\n  doi = {10.1145/3465456.3467636},\\n  abstract = {Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to \\\"getting the incentives right\\\" were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness. We consider instead a longest-chain Proof-of-Stake protocol with perfect, trusted, external randomness (e.g. a randomness beacon). We produce two main results. First, we show that a strategic miner can strictly outperform an honest miner with just 32.8% of the total stake. Note that a miner of this size cannot outperform an honest miner in the Proof-of-Work model. This establishes that even with access to a perfect randomness beacon, incentives in Proof-of-Work and Proof-of-Stake longest-chain protocols are fundamentally different. Second, we prove that a strategic miner cannot outperform an honest miner with 30.8% of the total stake. This means that, while not quite as secure as the Proof-of-Work regime, desirable incentive properties of Proof-of-Work longest-chain protocols can be approximately recovered via Proof-of-Stake with a perfect randomness beacon. The space of possible strategies in a Proof-of-Stake mining game is significantly richer than in a Proof-of-Work game. Our main technical contribution is a characterization of potentially optimal strategies for a strategic miner, and in particular a proof that the corresponding infinite-state MDP admits an optimal strategy that is positive recurrent.},\\n  booktitle = {Proceedings of the 22nd ACM Conference on Economics and Computation},\\n  pages = {433–453},\\n  numpages = {21},\\n  keywords = {proof-of-stake blockchains, energy-efficiency, NASH equilibrium, cryptocurrency, random beacons},\\n  location = {Budapest, Hungary},\\n  series = {EC '21},\\n  url_Video = {https://www.youtube.com/watch?v=ZSq8-YSWGrk}\\n}\\n\\n\",\"author_short\":[\"Ferreira, M. V. X.\",\"Weinberg, S. M.\"],\"key\":\"ferreira2021pos\",\"id\":\"ferreira2021pos\",\"bibbaseid\":\"ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2107.04069\",\" video\":\"https://www.youtube.com/watch?v=ZSq8-YSWGrk\"},\"keyword\":[\"proof-of-stake blockchains\",\"energy-efficiency\",\"NASH equilibrium\",\"cryptocurrency\",\"random beacons\"],\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":155,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weinberg\"],\"firstnames\":[\"S.\",\"Matthew\"],\"suffixes\":[]}],\"title\":\"Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments\",\"year\":\"2020\",\"isbn\":\"9781450379755\",\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"url\":\"https://arxiv.org/abs/2004.01598\",\"doi\":\"10.1145/3391403.3399495\",\"abstract\":\"We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes credibility as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves. In contrast, when buyers' valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple two-round auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer).We extend our analysis to the case when buyer valuations are α-strongly regular for any α > 0, up to arbitrary ε in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the ε be removed with multiple bidders.\",\"booktitle\":\"Proceedings of the 21st ACM Conference on Economics and Computation\",\"pages\":\"683–712\",\"numpages\":\"30\",\"keywords\":\"optimal auction design, mechanism design and approximation, cryptographic auctions, credible mechanisms, mechanism design with imperfect commitment\",\"location\":\"Virtual Event, Hungary\",\"series\":\"EC '20\",\"url_video\":\"https://www.youtube.com/watch?v=q6zzBCGX0JQ&t\",\"bibtex\":\"@inproceedings{ferreira2020credible,\\n  author = {Ferreira, Matheus V. X. and Weinberg, S. Matthew},\\n  title = {Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments},\\n  year = {2020},\\n  isbn = {9781450379755},\\n  publisher = {Association for Computing Machinery},\\n  address = {New York, NY, USA},\\n  url = {https://arxiv.org/abs/2004.01598},\\n  doi = {10.1145/3391403.3399495},\\n  abstract = {We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes credibility as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves. In contrast, when buyers' valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple two-round auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer).We extend our analysis to the case when buyer valuations are α-strongly regular for any α > 0, up to arbitrary ε in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the ε be removed with multiple bidders.},\\n  booktitle = {Proceedings of the 21st ACM Conference on Economics and Computation},\\n  pages = {683–712},\\n  numpages = {30},\\n  keywords = {optimal auction design, mechanism design and approximation, cryptographic auctions, credible mechanisms, mechanism design with imperfect commitment},\\n  location = {Virtual Event, Hungary},\\n  series = {EC '20},\\n  url_Video = {https://www.youtube.com/watch?v=q6zzBCGX0JQ&t}\\n}\\n\\n\",\"author_short\":[\"Ferreira, M. V. X.\",\"Weinberg, S. M.\"],\"key\":\"ferreira2020credible\",\"id\":\"ferreira2020credible\",\"bibbaseid\":\"ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/2004.01598\",\" video\":\"https://www.youtube.com/watch?v=q6zzBCGX0JQ&t\"},\"keyword\":[\"optimal auction design\",\"mechanism design and approximation\",\"cryptographic auctions\",\"credible mechanisms\",\"mechanism design with imperfect commitment\"],\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":156,\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Chattopadhyay\"],\"firstnames\":[\"Tithi\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Feamster\"],\"firstnames\":[\"Nick\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Ferreira\"],\"firstnames\":[\"Matheus\",\"V.\",\"X.\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Huang\"],\"firstnames\":[\"Danny\",\"Yuxing\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Weinberg\"],\"firstnames\":[\"S.\",\"Matthew\"],\"suffixes\":[]}],\"title\":\"Selling a Single Item with Negative Externalities\",\"year\":\"2019\",\"isbn\":\"9781450366748\",\"publisher\":\"Association for Computing Machinery\",\"address\":\"New York, NY, USA\",\"url\":\"https://arxiv.org/abs/1902.10008\",\"doi\":\"10.1145/3308558.3313692\",\"abstract\":\"We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter [5, 26]. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost-implementing security requirements increases production costs, and the existence of fines decreases consumers' values-thereby reducing the seller's profits. The focus of this paper is to understand the efficiency of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller's profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer's behavior. In this model, we show that for homogeneous markets-where the buyer's ability to follow security practices is always high or always low-the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate only payments or production. In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one.\",\"booktitle\":\"The World Wide Web Conference\",\"pages\":\"196–206\",\"numpages\":\"11\",\"keywords\":\"Negative Externalities, Auction Design, Policy and Regulation., Mechanism Design and Approximation, Tragedy of the Commons\",\"location\":\"San Francisco, CA, USA\",\"series\":\"WWW '19\",\"url_blog\":\"https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/\",\"bibtex\":\"@inproceedings{ferreira2019selling,\\n  author = {Chattopadhyay, Tithi and Feamster, Nick and Ferreira, Matheus V. X. and Huang, Danny Yuxing and Weinberg, S. Matthew},\\n  title = {Selling a Single Item with Negative Externalities},\\n  year = {2019},\\n  isbn = {9781450366748},\\n  publisher = {Association for Computing Machinery},\\n  address = {New York, NY, USA},\\n  url = {https://arxiv.org/abs/1902.10008},\\n  doi = {10.1145/3308558.3313692},\\n  abstract = {We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter [5, 26]. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost-implementing security requirements increases production costs, and the existence of fines decreases consumers' values-thereby reducing the seller's profits. The focus of this paper is to understand the efficiency of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller's profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer's behavior. In this model, we show that for homogeneous markets-where the buyer's ability to follow security practices is always high or always low-the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate only payments or production. In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one.},\\n  booktitle = {The World Wide Web Conference},\\n  pages = {196–206},\\n  numpages = {11},\\n  keywords = {Negative Externalities, Auction Design, Policy and Regulation., Mechanism Design and Approximation, Tragedy of the Commons},\\n  location = {San Francisco, CA, USA},\\n  series = {WWW '19},\\n  url_Blog={https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/}\\n}\\n\",\"author_short\":[\"Chattopadhyay, T.\",\"Feamster, N.\",\"Ferreira, M. V. X.\",\"Huang, D. Y.\",\"Weinberg, S. M.\"],\"key\":\"ferreira2019selling\",\"id\":\"ferreira2019selling\",\"bibbaseid\":\"chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019\",\"role\":\"author\",\"urls\":{\"Paper\":\"https://arxiv.org/abs/1902.10008\",\" blog\":\"https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/\"},\"keyword\":[\"Negative Externalities\",\"Auction Design\",\"Policy and Regulation.\",\"Mechanism Design and Approximation\",\"Tragedy of the Commons\"],\"metadata\":{\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\"downloads\":15,\"html\":\"\"}],\n      metadata: {\"owner\":\"ferreira, m\",\"authorlinks\":{\"ferreira, m\":\"https://matheusvxf.github.io/publications/\"}},\n      ownerID: \"hAtXn8ziQHnefPBd7\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"publications.bib\" href=\"data:text/bibtex;base64,QGFydGljbGV7Y2hpdHJhMjAyM2NyZWRpYmxlLAogIHRpdGxlPXtDcmVkaWJsZSwgT3B0aW1hbCBBdWN0aW9ucyB2aWEgQmxvY2tjaGFpbnN9LAogIGF1dGhvcj17Q2hpdHJhLCBUYXJ1biBhbmQgRmVycmVpcmEsIE1hdGhldXMgVlggYW5kIEt1bGthcm5pLCBLc2hpdGlqfSwKICBqb3VybmFsPXtJbiBzdWJtaXNzaW9ufSwKICB5ZWFyPXsyMDIzfSwKICB1cmw9e2h0dHBzOi8vYXJ4aXYub3JnL2Ficy8yMzAxLjEyNTMyfQp9CgolQGFydGljbGV7a3Vsa2FybmkyMDIzY3JlZGliaWxpdHksCiAlIHRpdGxlPXtDcmVkaWJpbGl0eSBhbmQgSW5jZW50aXZlcyBpbiBHcmFkdWFsIER1dGNoIEF1Y3Rpb25zfSwKICAlYXV0aG9yPXtLdWxrYXJuaSwgS3NoaXRpaiBhbmQgRmVycmVpcmEsIE1hdGhldXMgVlggYW5kIENoaXRyYSwgVGFydW59LAogICVqb3VybmFsPXtJbiBzdWJtaXNzaW9ufSwKICAleWVhcj17MjAyM30KJX0KCgoKQGlucHJvY2VlZGluZ3N7ZmVycmVpcmEyMDIyZGV4LAogICAgdGl0bGUgPSB7Q3JlZGlibGUgRGVjZW50cmFsaXplZCBFeGNoYW5nZSBEZXNpZ24gdmlhIFZlcmlmaWFibGUgU2VxdWVuY2luZyBSdWxlc30sCiAgICBhdXRob3IgPSB7TWF0aGV1cyBWLiBYLiBGZXJyZWlyYSBhbmQgRGF2aWQgQy4gUGFya2VzfSwKICAgIHB1Ymxpc2hlciA9IHtBc3NvY2lhdGlvbiBmb3IgQ29tcHV0aW5nIE1hY2hpbmVyeX0sCiAgICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICAgIGJvb2t0aXRsZSA9IHtUbyBhcHBlYXIgYXQgUHJvY2VlZGluZ3Mgb2YgdGhlIDU1dGggQW5udWFsIEFDTSBTeW1wb3NpdW0gb24gVGhlb3J5IG9mIENvbXB1dGluZ30sCiAgICBsb2NhdGlvbiA9IHtPcmxhbmRvLCBGTCwgVVNBfSwKICAgIHNlcmllcyA9IHtTVE9DICcyM30sCiAgICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIyMDkuMTU1Njl9LAogICAgeWVhciA9IHsyMDIzfQp9CgoKCkBpbnByb2NlZWRpbmdze2ZlcnJlaXJhMjAyMm9wdGltYWwsCiAgYXV0aG9yID0ge0ZlcnJlaXJhLCBNYXRoZXVzIFYuIFguIGFuZCBIYWhuLCBZZSBMaW4gU2FsbHkgYW5kIFdlaW5iZXJnLCBTLiBNYXR0aGV3IGFuZCBZdSwgQ2F0aGVyaW5lfSwKICB0aXRsZSA9IHtPcHRpbWFsIFN0cmF0ZWdpYyBNaW5pbmcgQWdhaW5zdCBDcnlwdG9ncmFwaGljIFNlbGYtU2VsZWN0aW9uIGluIFByb29mLW9mLVN0YWtlfSwKICB5ZWFyID0gezIwMjJ9LAogIGlzYm4gPSB7OTc4MTQ1MDM5MTUwNH0sCiAgcHVibGlzaGVyID0ge0Fzc29jaWF0aW9uIGZvciBDb21wdXRpbmcgTWFjaGluZXJ5fSwKICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIyMDcuMDc5OTZ9LAogIGRvaSA9IHsxMC4xMTQ1LzM0OTA0ODYuMzUzODMzN30sCiAgYWJzdHJhY3QgPSB7Q3J5cHRvZ3JhcGhpYyBTZWxmLVNlbGVjdGlvbiBpcyBhIHN1YnJvdXRpbmUgdXNlZCB0byBzZWxlY3QgYSBsZWFkZXIgZm9yIG1vZGVybiBwcm9vZi1vZi1zdGFrZSBjb25zZW5zdXMgcHJvdG9jb2xzLiBJbiBjcnlwdG9ncmFwaGljIHNlbGYtc2VsZWN0aW9uLCBlYWNoIHJvdW5kIHIgaGFzIGEgc2VlZCBRci4gSW4gcm91bmQgciwgZWFjaCBhY2NvdW50IG93bmVyIGlzIGFza2VkIHRvIGRpZ2l0YWxseSBzaWduIFFyLCBoYXNoIHRoZWlyIGRpZ2l0YWwgc2lnbmF0dXJlIHRvIHByb2R1Y2UgYSBjcmVkZW50aWFsLCBhbmQgdGhlbiBicm9hZGNhc3QgdGhpcyBjcmVkZW50aWFsIHRvIHRoZSBlbnRpcmUgbmV0d29yay4gQSBwdWJsaWNseS1rbm93biBmdW5jdGlvbiBzY29yZXMgZWFjaCBjcmVkZW50aWFsIGluIGEgbWFubmVyIHNvIHRoYXQgdGhlIGRpc3RyaWJ1dGlvbiBvZiB0aGUgbG93ZXN0IHNjb3JpbmcgY3JlZGVudGlhbCBpcyBpZGVudGljYWwgdG8gdGhlIGRpc3RyaWJ1dGlvbiBvZiBzdGFrZSBvd25lZCBieSBlYWNoIGFjY291bnQuIFRoZSB1c2VyIHdobyBicm9hZGNhc3RzIHRoZSBsb3dlc3Qtc2NvcmluZyBjcmVkZW50aWFsIGlzIHRoZSBsZWFkZXIgZm9yIHJvdW5kIHIsIGFuZCB0aGVpciBjcmVkZW50aWFsIGJlY29tZXMgdGhlIHNlZWQgUXIrMS4gU3VjaCBwcm90b2NvbHMgbGVhdmUgb3BlbiB0aGUgcG9zc2liaWxpdHkgb2YgbWFuaXB1bGF0aW9uOiBhIHVzZXIgd2hvIG93bnMgbXVsdGlwbGUgYWNjb3VudHMgdGhhdCBlYWNoIHByb2R1Y2UgbG93LXNjb3JpbmcgY3JlZGVudGlhbHMgaW4gcm91bmQgciBjYW4gc2VsZWN0aXZlbHkgY2hvb3NlIHdoaWNoIG9uZXMgdG8gYnJvYWRjYXN0IGluIG9yZGVyIHRvIGluZmx1ZW5jZSB0aGUgc2VlZCBmb3Igcm91bmQgcisxLiBJbmRlZWQsIHRoZSB1c2VyIGNhbiBwcmUtY29tcHV0ZSB0aGVpciBjcmVkZW50aWFscyBmb3Igcm91bmQgcisxIGZvciBlYWNoIHBvdGVudGlhbCBzZWVkLCBhbmQgYnJvYWRjYXN0IG9ubHkgdGhlIGNyZWRlbnRpYWwgKGFtb25nIHRob3NlIHdpdGggbG93IGVub3VnaCBzY29yZSB0byBiZSBsZWFkZXIpIHRoYXQgcHJvZHVjZXMgdGhlIG1vc3QgZmF2b3JhYmxlIHNlZWQuV2UgY29uc2lkZXIgYW4gYWR2ZXJzYXJ5IHdobyB3aXNoZXMgdG8gbWF4aW1pemUgdGhlIGV4cGVjdGVkIGZyYWN0aW9uIG9mIHJvdW5kcyBpbiB3aGljaCBhbiBhY2NvdW50IHRoZXkgb3duIGlzIHRoZSBsZWFkZXIuIFdlIHNob3cgc3VjaCBhbiBhZHZlcnNhcnkgYWx3YXlzIGJlbmVmaXRzIGZyb20gZGV2aWF0aW5nIGZyb20gdGhlIGludGVuZGVkIHByb3RvY29sLCByZWdhcmRsZXNzIG9mIHRoZSBmcmFjdGlvbiBvZiB0aGUgc3Rha2UgY29udHJvbGxlZC4gV2UgY2hhcmFjdGVyaXplIHRoZSBvcHRpbWFsIHN0cmF0ZWd5OyBmaXJzdCBieSBwcm92aW5nIHRoZSBleGlzdGVuY2Ugb2Ygb3B0aW1hbCBwb3NpdGl2ZSByZWN1cnJlbnQgc3RyYXRlZ2llcyB3aGVuZXZlciB0aGUgYWR2ZXJzYXJ5IG93bnMgbGFzdCB0aGFuIDMtNS8yIH4zOCUgb2YgdGhlIHN0YWtlLiBUaGVuLCB3ZSBwcm92aWRlIGEgTWFya292IERlY2lzaW9uIFByb2Nlc3MgZm9ybXVsYXRpb24gdG8gY29tcHV0ZSB0aGUgb3B0aW1hbCBzdHJhdGVneS59LAogIGJvb2t0aXRsZSA9IHtQcm9jZWVkaW5ncyBvZiB0aGUgMjNyZCBBQ00gQ29uZmVyZW5jZSBvbiBFY29ub21pY3MgYW5kIENvbXB1dGF0aW9ufSwKICBwYWdlcyA9IHs4OeKAkzExNH0sCiAgbnVtcGFnZXMgPSB7MjZ9LAogIGtleXdvcmRzID0ge2xlYWRlciBlbGVjdGlvbiwgY3J5cHRvY3VycmVuY3ksIGJsb2NrY2hhaW4sIHByb29mLW9mLXN0YWtlLCBzdHJhdGVnaWMgbWluaW5nfSwKICBsb2NhdGlvbiA9IHtCb3VsZGVyLCBDTywgVVNBfSwKICBzZXJpZXMgPSB7RUMgJzIyfSwKICB1cmxfVmlkZW8gPSB7aHR0cHM6Ly95b3V0dS5iZS9TVmRIS2V5Y0xaZ30KfQoKCgpASW5Qcm9jZWVkaW5nc3tlc3NhaWRpMjAyMmNyZWRpYmxlLAogIGF1dGhvciA9CXtFc3NhaWRpLCBNZXJ5ZW0gYW5kIEZlcnJlaXJhLCBNYXRoZXVzIFYuIFguIGFuZCBXZWluYmVyZywgUy4gTWF0dGhld30sCiAgdGl0bGUgPQl7e0NyZWRpYmxlLCBTdHJhdGVneXByb29mLCBPcHRpbWFsLCBhbmQgQm91bmRlZCBFeHBlY3RlZC1Sb3VuZCBTaW5nbGUtSXRlbSBBdWN0aW9ucyBmb3IgQWxsIERpc3RyaWJ1dGlvbnN9fSwKICBib29rdGl0bGUgPQl7MTN0aCBJbm5vdmF0aW9ucyBpbiBUaGVvcmV0aWNhbCBDb21wdXRlciBTY2llbmNlIENvbmZlcmVuY2UgKElUQ1MgMjAyMil9LAogIHBhZ2VzID0JezY2OjEtLTY2OjE5fSwKICBJU0JOID0Jezk3OC0zLTk1OTc3LTIxNy00fSwKICBJU1NOID0JezE4NjgtODk2OX0sCiAgeWVhciA9CXsyMDIyfSwKICB2b2x1bWUgPQl7MjE1fSwKICBwdWJsaXNoZXIgPQl7U2NobG9zcyBEYWdzdHVobCAtLSBMZWlibml6LVplbnRydW0gZntcInV9ciBJbmZvcm1hdGlrfSwKICBhZGRyZXNzID0Je0RhZ3N0dWhsLCBHZXJtYW55fSwKICBVUkwgPQkJe2h0dHBzOi8vYXJ4aXYub3JnL2Ficy8yMjA1LjE0NzU4fSwKICBVUk4gPQkJe3VybjpuYm46ZGU6MDAzMC1kcm9wcy0xNTY2MjF9LAogIGRvaSA9CQl7MTAuNDIzMC9MSVBJY3MuSVRDUy4yMDIyLjY2fSwKICBhbm5vdGUgPQl7S2V5d29yZHM6IENyZWRpYmxlIEF1Y3Rpb25zLCBDcnlwdG9ncmFwaGljYWxseSBTZWN1cmUsIFNpbmdsZS1JdGVtfSwKICB1cmxfVmlkZW8gPSB7aHR0cHM6Ly95b3V0dS5iZS9GZEV1d0gwRHRZND90PTgxN30KfQoKCgpAaW5wcm9jZWVkaW5nc3tmZXJyZWlyYTIwMjFkeW5hbWljLAogIGF1dGhvciA9IHtGZXJyZWlyYSwgTWF0aGV1cyBWLiBYLiBhbmQgTW9yb3osIERhbmllbCBKLiBhbmQgUGFya2VzLCBEYXZpZCBDLiBhbmQgU3Rlcm4sIE1pdGNoZWxsfSwKICB0aXRsZSA9IHtEeW5hbWljIFBvc3RlZC1QcmljZSBNZWNoYW5pc21zIGZvciB0aGUgQmxvY2tjaGFpbiBUcmFuc2FjdGlvbi1GZWUgTWFya2V0fSwKICB5ZWFyID0gezIwMjF9LAogIGlzYm4gPSB7OTc4MTQ1MDM5MDgyOH0sCiAgcHVibGlzaGVyID0ge0Fzc29jaWF0aW9uIGZvciBDb21wdXRpbmcgTWFjaGluZXJ5fSwKICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIxMDMuMTQxNDR9LAogIGRvaSA9IHsxMC4xMTQ1LzM0Nzk3MjIuMzQ4MDk5MX0sCiAgYWJzdHJhY3QgPSB7SW4gcmVjZW50IHllYXJzLCBwcm9taW5lbnQgYmxvY2tjaGFpbiBzeXN0ZW1zIHN1Y2ggYXMgQml0Y29pbiBhbmQgRXRoZXJldW0gaGF2ZSBleHBlcmllbmNlZCBleHBsb3NpdmUgZ3Jvd3RoIGluIHRyYW5zYWN0aW9uIHZvbHVtZSwgbGVhZGluZyB0byBmcmVxdWVudCBzdXJnZXMgaW4gZGVtYW5kIGZvciBsaW1pdGVkIGJsb2NrIHNwYWNlIGFuZCBjYXVzaW5nIHRyYW5zYWN0aW9uIGZlZXMgdG8gZmx1Y3R1YXRlIGJ5IG9yZGVycyBvZiBtYWduaXR1ZGUuIFRoZSBzdGF0dXMgcXVvIGF1Y3Rpb25zIHNlbGwgc3BhY2UgdXNpbmcgYSBmaXJzdC1wcmljZSBhdWN0aW9uIFsyN107IGhvd2V2ZXIsIHVzZXJzIGZpbmQgaXQgZGlmZmljdWx0IHRvIGVzdGltYXRlIGhvdyBtdWNoIHRoZXkgbmVlZCB0byBiaWQgaW4gb3JkZXIgdG8gZ2V0IHRoZWlyIHRyYW5zYWN0aW9ucyBhY2NlcHRlZCBvbnRvIHRoZSBjaGFpbi4gSWYgdGhleSBiaWQgdG9vIGxvdywgdGhlaXIgdHJhbnNhY3Rpb25zIGNhbiBoYXZlIGxvbmcgY29uZmlybWF0aW9uIHRpbWVzLiBJZiB0aGV5IGJpZCB0b28gaGlnaCwgdGhleSBwYXkgbGFyZ2VyIGZlZXMgdGhhbiBuZWNlc3NhcnkuSW4gbGlnaHQgb2YgdGhlc2UgaXNzdWVzLCBuZXcgdHJhbnNhY3Rpb24gZmVlIG1lY2hhbmlzbXMgaGF2ZSBiZWVuIHByb3Bvc2VkLCBtb3N0IG5vdGFibHkgRUlQLTE1NTkgWzRdLCBhaW1pbmcgdG8gcHJvdmlkZSBiZXR0ZXIgdXNhYmlsaXR5LiBFSVAtMTU1OSBpcyBhIGhpc3RvcnktZGVwZW5kZW50IG1lY2hhbmlzbSB0aGF0IHJlbGllcyBvbiBibG9jayB1dGlsaXphdGlvbiB0byBhZGp1c3QgYSBiYXNlIGZlZS4gV2UgcHJvcG9zZSBhbiBhbHRlcm5hdGl2ZSBkZXNpZ24gLSBhIGR5bmFtaWMgcG9zdGVkLXByaWNlIG1lY2hhbmlzbSAtIHdoaWNoIHVzZXMgbm90IG9ubHkgYmxvY2sgdXRpbGl6YXRpb24gYnV0IGFsc28gb2JzZXJ2YWJsZSBiaWRzIGZyb20gcGFzdCBibG9ja3MgdG8gY29tcHV0ZSBhIHBvc3RlZC1wcmljZSBmb3Igc3Vic2VxdWVudCBibG9ja3MuIFdlIHNob3cgaXRzIHBvdGVudGlhbCB0byByZWR1Y2UgcHJpY2Ugdm9sYXRpbGl0eSBieSBwcm92aWRpbmcgZXhhbXBsZXMgZm9yIHdoaWNoIHRoZSBwcmljZXMgb2YgRUlQLTE1NTkgYXJlIHVuc3RhYmxlIHdoaWxlIHRoZSBwcmljZXMgb2YgdGhlIHByb3Bvc2VkIG1lY2hhbmlzbSBhcmUgc3RhYmxlLiBNb3JlIGdlbmVyYWxseSwgd2hlbmV2ZXIgdGhlIGRlbWFuZCBmb3IgdGhlIGJsb2NrY2hhaW4gc3RhYmlsaXplcywgd2UgYXNrIGlmIG91ciBtZWNoYW5pc20gaXMgYWJsZSB0byBjb252ZXJnZSB0byBhIHN0YWJsZSBzdGF0ZS4gT3VyIG1haW4gcmVzdWx0IHByb3ZpZGVzIHN1ZmZpY2llbnQgY29uZGl0aW9ucyBpbiBhIHByb2JhYmlsaXN0aWMgc2V0dGluZyBmb3Igd2hpY2ggdGhlIHByb3Bvc2VkIG1lY2hhbmlzbSBpcyBhcHByb3hpbWF0ZWx5IHdlbGZhcmUgb3B0aW1hbCBhbmQgdGhlIHByaWNlcyBhcmUgc3RhYmxlLiBPdXIgbWFpbiB0ZWNobmljYWwgY29udHJpYnV0aW9uIHRvd2FyZHMgZXN0YWJsaXNoaW5nIHN0YWJpbGl0eSBpcyBhbiBpdGVyYXRpdmUgYWxnb3JpdGhtIHRoYXQsIGdpdmVuIG9yYWNsZSBhY2Nlc3MgdG8gYSBMaXBzY2hpdHogY29udGludW91cyBhbmQgc3RyaWN0bHkgY29uY2F2ZSBmdW5jdGlvbiBmLCBjb252ZXJnZXMgdG8gYSBmaXhlZCBwb2ludCBvZiBmLn0sCiAgYm9va3RpdGxlID0ge1Byb2NlZWRpbmdzIG9mIHRoZSAzcmQgQUNNIENvbmZlcmVuY2Ugb24gQWR2YW5jZXMgaW4gRmluYW5jaWFsIFRlY2hub2xvZ2llc30sCiAgcGFnZXMgPSB7ODbigJM5OX0sCiAgbnVtcGFnZXMgPSB7MTR9LAogIGxvY2F0aW9uID0ge0FybGluZ3RvbiwgVmlyZ2luaWF9LAogIHNlcmllcyA9IHtBRlQgJzIxfSwKICB1cmxfVmlkZW8gPSB7aHR0cHM6Ly95b3V0dS5iZS9Udl9ScWRxOWt3MH0KfQoKCgpAaW5wcm9jZWVkaW5nc3tmZXJyZWlyYTIwMjFwb3MsCiAgYXV0aG9yID0ge0ZlcnJlaXJhLCBNYXRoZXVzIFYuIFguIGFuZCBXZWluYmVyZywgUy4gTWF0dGhld30sCiAgdGl0bGUgPSB7UHJvb2Ytb2YtU3Rha2UgTWluaW5nIEdhbWVzIHdpdGggUGVyZmVjdCBSYW5kb21uZXNzfSwKICB5ZWFyID0gezIwMjF9LAogIGlzYm4gPSB7OTc4MTQ1MDM4NTU0MX0sCiAgcHVibGlzaGVyID0ge0Fzc29jaWF0aW9uIGZvciBDb21wdXRpbmcgTWFjaGluZXJ5fSwKICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIxMDcuMDQwNjl9LAogIGRvaSA9IHsxMC4xMTQ1LzM0NjU0NTYuMzQ2NzYzNn0sCiAgYWJzdHJhY3QgPSB7UHJvb2Ytb2YtU3Rha2UgYmxvY2tjaGFpbnMgYmFzZWQgb24gYSBsb25nZXN0LWNoYWluIGNvbnNlbnN1cyBwcm90b2NvbCBhcmUgYW4gYXR0cmFjdGl2ZSBlbmVyZ3ktZnJpZW5kbHkgYWx0ZXJuYXRpdmUgdG8gdGhlIFByb29mLW9mLVdvcmsgcGFyYWRpZ20uIEhvd2V2ZXIsIGZvcm1hbCBiYXJyaWVycyB0byAiZ2V0dGluZyB0aGUgaW5jZW50aXZlcyByaWdodCIgd2VyZSByZWNlbnRseSBkaXNjb3ZlcmVkLCBkcml2ZW4gYnkgdGhlIGRlc2lyZSB0byB1c2UgdGhlIGJsb2NrY2hhaW4gaXRzZWxmIGFzIGEgc291cmNlIG9mIHBzZXVkb3JhbmRvbW5lc3MuIFdlIGNvbnNpZGVyIGluc3RlYWQgYSBsb25nZXN0LWNoYWluIFByb29mLW9mLVN0YWtlIHByb3RvY29sIHdpdGggcGVyZmVjdCwgdHJ1c3RlZCwgZXh0ZXJuYWwgcmFuZG9tbmVzcyAoZS5nLiBhIHJhbmRvbW5lc3MgYmVhY29uKS4gV2UgcHJvZHVjZSB0d28gbWFpbiByZXN1bHRzLiBGaXJzdCwgd2Ugc2hvdyB0aGF0IGEgc3RyYXRlZ2ljIG1pbmVyIGNhbiBzdHJpY3RseSBvdXRwZXJmb3JtIGFuIGhvbmVzdCBtaW5lciB3aXRoIGp1c3QgMzIuOCUgb2YgdGhlIHRvdGFsIHN0YWtlLiBOb3RlIHRoYXQgYSBtaW5lciBvZiB0aGlzIHNpemUgY2Fubm90IG91dHBlcmZvcm0gYW4gaG9uZXN0IG1pbmVyIGluIHRoZSBQcm9vZi1vZi1Xb3JrIG1vZGVsLiBUaGlzIGVzdGFibGlzaGVzIHRoYXQgZXZlbiB3aXRoIGFjY2VzcyB0byBhIHBlcmZlY3QgcmFuZG9tbmVzcyBiZWFjb24sIGluY2VudGl2ZXMgaW4gUHJvb2Ytb2YtV29yayBhbmQgUHJvb2Ytb2YtU3Rha2UgbG9uZ2VzdC1jaGFpbiBwcm90b2NvbHMgYXJlIGZ1bmRhbWVudGFsbHkgZGlmZmVyZW50LiBTZWNvbmQsIHdlIHByb3ZlIHRoYXQgYSBzdHJhdGVnaWMgbWluZXIgY2Fubm90IG91dHBlcmZvcm0gYW4gaG9uZXN0IG1pbmVyIHdpdGggMzAuOCUgb2YgdGhlIHRvdGFsIHN0YWtlLiBUaGlzIG1lYW5zIHRoYXQsIHdoaWxlIG5vdCBxdWl0ZSBhcyBzZWN1cmUgYXMgdGhlIFByb29mLW9mLVdvcmsgcmVnaW1lLCBkZXNpcmFibGUgaW5jZW50aXZlIHByb3BlcnRpZXMgb2YgUHJvb2Ytb2YtV29yayBsb25nZXN0LWNoYWluIHByb3RvY29scyBjYW4gYmUgYXBwcm94aW1hdGVseSByZWNvdmVyZWQgdmlhIFByb29mLW9mLVN0YWtlIHdpdGggYSBwZXJmZWN0IHJhbmRvbW5lc3MgYmVhY29uLiBUaGUgc3BhY2Ugb2YgcG9zc2libGUgc3RyYXRlZ2llcyBpbiBhIFByb29mLW9mLVN0YWtlIG1pbmluZyBnYW1lIGlzIHNpZ25pZmljYW50bHkgcmljaGVyIHRoYW4gaW4gYSBQcm9vZi1vZi1Xb3JrIGdhbWUuIE91ciBtYWluIHRlY2huaWNhbCBjb250cmlidXRpb24gaXMgYSBjaGFyYWN0ZXJpemF0aW9uIG9mIHBvdGVudGlhbGx5IG9wdGltYWwgc3RyYXRlZ2llcyBmb3IgYSBzdHJhdGVnaWMgbWluZXIsIGFuZCBpbiBwYXJ0aWN1bGFyIGEgcHJvb2YgdGhhdCB0aGUgY29ycmVzcG9uZGluZyBpbmZpbml0ZS1zdGF0ZSBNRFAgYWRtaXRzIGFuIG9wdGltYWwgc3RyYXRlZ3kgdGhhdCBpcyBwb3NpdGl2ZSByZWN1cnJlbnQufSwKICBib29rdGl0bGUgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDIybmQgQUNNIENvbmZlcmVuY2Ugb24gRWNvbm9taWNzIGFuZCBDb21wdXRhdGlvbn0sCiAgcGFnZXMgPSB7NDMz4oCTNDUzfSwKICBudW1wYWdlcyA9IHsyMX0sCiAga2V5d29yZHMgPSB7cHJvb2Ytb2Ytc3Rha2UgYmxvY2tjaGFpbnMsIGVuZXJneS1lZmZpY2llbmN5LCBOQVNIIGVxdWlsaWJyaXVtLCBjcnlwdG9jdXJyZW5jeSwgcmFuZG9tIGJlYWNvbnN9LAogIGxvY2F0aW9uID0ge0J1ZGFwZXN0LCBIdW5nYXJ5fSwKICBzZXJpZXMgPSB7RUMgJzIxfSwKICB1cmxfVmlkZW8gPSB7aHR0cHM6Ly93d3cueW91dHViZS5jb20vd2F0Y2g/dj1aU3E4LVlTV0dya30KfQoKCgpAaW5wcm9jZWVkaW5nc3tmZXJyZWlyYTIwMjBjcmVkaWJsZSwKICBhdXRob3IgPSB7RmVycmVpcmEsIE1hdGhldXMgVi4gWC4gYW5kIFdlaW5iZXJnLCBTLiBNYXR0aGV3fSwKICB0aXRsZSA9IHtDcmVkaWJsZSwgVHJ1dGhmdWwsIGFuZCBUd28tUm91bmQgKE9wdGltYWwpIEF1Y3Rpb25zIHZpYSBDcnlwdG9ncmFwaGljIENvbW1pdG1lbnRzfSwKICB5ZWFyID0gezIwMjB9LAogIGlzYm4gPSB7OTc4MTQ1MDM3OTc1NX0sCiAgcHVibGlzaGVyID0ge0Fzc29jaWF0aW9uIGZvciBDb21wdXRpbmcgTWFjaGluZXJ5fSwKICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzIwMDQuMDE1OTh9LAogIGRvaSA9IHsxMC4xMTQ1LzMzOTE0MDMuMzM5OTQ5NX0sCiAgYWJzdHJhY3QgPSB7V2UgY29uc2lkZXIgdGhlIHNhbGUgb2YgYSBzaW5nbGUgaXRlbSB0byBtdWx0aXBsZSBidXllcnMgYnkgYSByZXZlbnVlLW1heGltaXppbmcgc2VsbGVyLiBSZWNlbnQgd29yayBvZiBBa2JhcnBvdXIgYW5kIExpIGZvcm1hbGl6ZXMgY3JlZGliaWxpdHkgYXMgYW4gYXVjdGlvbiBkZXNpZGVyYXR1bSwgYW5kIHByb3ZlIHRoYXQgdGhlIG9ubHkgb3B0aW1hbCwgY3JlZGlibGUsIHN0cmF0ZWd5cHJvb2YgYXVjdGlvbiBpcyB0aGUgYXNjZW5kaW5nIHByaWNlIGF1Y3Rpb24gd2l0aCByZXNlcnZlcy4gSW4gY29udHJhc3QsIHdoZW4gYnV5ZXJzJyB2YWx1YXRpb25zIGFyZSBNSFIsIHdlIHNob3cgdGhhdCB0aGUgbWlsZCBhZGRpdGlvbmFsIGFzc3VtcHRpb24gb2YgYSBjcnlwdG9ncmFwaGljYWxseSBzZWN1cmUgY29tbWl0bWVudCBzY2hlbWUgc3VmZmljZXMgZm9yIGEgc2ltcGxlIHR3by1yb3VuZCBhdWN0aW9uIHdoaWNoIGlzIG9wdGltYWwsIHN0cmF0ZWd5cHJvb2YsIGFuZCBjcmVkaWJsZSAoZXZlbiB3aGVuIHRoZSBudW1iZXIgb2YgYmlkZGVycyBpcyBvbmx5IGtub3duIGJ5IHRoZSBhdWN0aW9uZWVyKS5XZSBleHRlbmQgb3VyIGFuYWx5c2lzIHRvIHRoZSBjYXNlIHdoZW4gYnV5ZXIgdmFsdWF0aW9ucyBhcmUgzrEtc3Ryb25nbHkgcmVndWxhciBmb3IgYW55IM6xID4gMCwgdXAgdG8gYXJiaXRyYXJ5IM61IGluIGNyZWRpYmlsaXR5LiBJbnRlcmVzdGluZ2x5LCB3ZSBhbHNvIHByb3ZlIHRoYXQgdGhpcyBjb25zdHJ1Y3Rpb24gY2Fubm90IGJlIGV4dGVuZGVkIHRvIHJlZ3VsYXIgZGlzdHJpYnV0aW9ucywgbm9yIGNhbiB0aGUgzrUgYmUgcmVtb3ZlZCB3aXRoIG11bHRpcGxlIGJpZGRlcnMufSwKICBib29rdGl0bGUgPSB7UHJvY2VlZGluZ3Mgb2YgdGhlIDIxc3QgQUNNIENvbmZlcmVuY2Ugb24gRWNvbm9taWNzIGFuZCBDb21wdXRhdGlvbn0sCiAgcGFnZXMgPSB7Njgz4oCTNzEyfSwKICBudW1wYWdlcyA9IHszMH0sCiAga2V5d29yZHMgPSB7b3B0aW1hbCBhdWN0aW9uIGRlc2lnbiwgbWVjaGFuaXNtIGRlc2lnbiBhbmQgYXBwcm94aW1hdGlvbiwgY3J5cHRvZ3JhcGhpYyBhdWN0aW9ucywgY3JlZGlibGUgbWVjaGFuaXNtcywgbWVjaGFuaXNtIGRlc2lnbiB3aXRoIGltcGVyZmVjdCBjb21taXRtZW50fSwKICBsb2NhdGlvbiA9IHtWaXJ0dWFsIEV2ZW50LCBIdW5nYXJ5fSwKICBzZXJpZXMgPSB7RUMgJzIwfSwKICB1cmxfVmlkZW8gPSB7aHR0cHM6Ly93d3cueW91dHViZS5jb20vd2F0Y2g/dj1xNnp6QkNHWDBKUSZ0fQp9CgoKCkBpbnByb2NlZWRpbmdze2ZlcnJlaXJhMjAxOXNlbGxpbmcsCiAgYXV0aG9yID0ge0NoYXR0b3BhZGh5YXksIFRpdGhpIGFuZCBGZWFtc3RlciwgTmljayBhbmQgRmVycmVpcmEsIE1hdGhldXMgVi4gWC4gYW5kIEh1YW5nLCBEYW5ueSBZdXhpbmcgYW5kIFdlaW5iZXJnLCBTLiBNYXR0aGV3fSwKICB0aXRsZSA9IHtTZWxsaW5nIGEgU2luZ2xlIEl0ZW0gd2l0aCBOZWdhdGl2ZSBFeHRlcm5hbGl0aWVzfSwKICB5ZWFyID0gezIwMTl9LAogIGlzYm4gPSB7OTc4MTQ1MDM2Njc0OH0sCiAgcHVibGlzaGVyID0ge0Fzc29jaWF0aW9uIGZvciBDb21wdXRpbmcgTWFjaGluZXJ5fSwKICBhZGRyZXNzID0ge05ldyBZb3JrLCBOWSwgVVNBfSwKICB1cmwgPSB7aHR0cHM6Ly9hcnhpdi5vcmcvYWJzLzE5MDIuMTAwMDh9LAogIGRvaSA9IHsxMC4xMTQ1LzMzMDg1NTguMzMxMzY5Mn0sCiAgYWJzdHJhY3QgPSB7V2UgY29uc2lkZXIgdGhlIHByb2JsZW0gb2YgcmVndWxhdGluZyBwcm9kdWN0cyB3aXRoIG5lZ2F0aXZlIGV4dGVybmFsaXRpZXMgdG8gYSB0aGlyZCBwYXJ0eSB0aGF0IGlzIG5laXRoZXIgdGhlIGJ1eWVyIG5vciB0aGUgc2VsbGVyLCBidXQgd2hlcmUgYm90aCB0aGUgYnV5ZXIgYW5kIHNlbGxlciBjYW4gdGFrZSBzdGVwcyB0byBtaXRpZ2F0ZSB0aGUgZXh0ZXJuYWxpdHkuIFRoZSBtb3RpdmF0aW5nIGV4YW1wbGUgdG8gaGF2ZSBpbiBtaW5kIGlzIHRoZSBzYWxlIG9mIEludGVybmV0LW9mLVRoaW5ncyAoSW9UKSBkZXZpY2VzLCBtYW55IG9mIHdoaWNoIGhhdmUgaGlzdG9yaWNhbGx5IGJlZW4gY29tcHJvbWlzZWQgZm9yIEREb1MgYXR0YWNrcyB0aGF0IGRpc3J1cHRlZCBJbnRlcm5ldC13aWRlIHNlcnZpY2VzIHN1Y2ggYXMgVHdpdHRlciBbNSwgMjZdLiBOZWl0aGVyIHRoZSBidXllciAoaS5lLiwgY29uc3VtZXJzKSBub3Igc2VsbGVyIChpLmUuLCBJb1QgbWFudWZhY3R1cmVycykgd2FzIGtub3duIHRvIHN1ZmZlciBmcm9tIHRoZSBhdHRhY2ssIGJ1dCBib3RoIGhhdmUgdGhlIHBvd2VyIHRvIGV4cGVuZCBlZmZvcnQgdG8gc2VjdXJlIHRoZWlyIGRldmljZXMuIFdlIGNvbnNpZGVyIGEgcmVndWxhdG9yIHdobyByZWd1bGF0ZXMgcGF5bWVudHMgKHZpYSBmaW5lcyBpZiB0aGUgZGV2aWNlIGlzIGNvbXByb21pc2VkLCBvciBtYXJrZXQgcHJpY2VzIGRpcmVjdGx5KSwgb3IgdGhlIHByb2R1Y3QgZGlyZWN0bHkgdmlhIG1hbmRhdG9yeSBzZWN1cml0eSByZXF1aXJlbWVudHMuIEJvdGggcmVndWxhdGlvbnMgY29tZSBhdCBhIGNvc3QtaW1wbGVtZW50aW5nIHNlY3VyaXR5IHJlcXVpcmVtZW50cyBpbmNyZWFzZXMgcHJvZHVjdGlvbiBjb3N0cywgYW5kIHRoZSBleGlzdGVuY2Ugb2YgZmluZXMgZGVjcmVhc2VzIGNvbnN1bWVycycgdmFsdWVzLXRoZXJlYnkgcmVkdWNpbmcgdGhlIHNlbGxlcidzIHByb2ZpdHMuIFRoZSBmb2N1cyBvZiB0aGlzIHBhcGVyIGlzIHRvIHVuZGVyc3RhbmQgdGhlIGVmZmljaWVuY3kgb2YgdmFyaW91cyByZWd1bGF0b3J5IHBvbGljaWVzLiBUaGF0IGlzLCBwb2xpY3kgQSBpcyBtb3JlIGVmZmljaWVudCB0aGFuIHBvbGljeSBCIGlmIEEgbW9yZSBzdWNjZXNzZnVsbHkgbWluaW1pemVzIG5lZ2F0aXZlcyBleHRlcm5hbGl0aWVzLCB3aGlsZSBib3RoIEEgYW5kIEIgcmVkdWNlIHNlbGxlcidzIHByb2ZpdHMgZXF1YWxseS4gV2UgZGV2ZWxvcCBhIHNpbXBsZSBtb2RlbCB0byBjYXB0dXJlIHRoZSBpbXBhY3Qgb2YgcmVndWxhdG9yeSBwb2xpY2llcyBvbiBhIGJ1eWVyJ3MgYmVoYXZpb3IuIEluIHRoaXMgbW9kZWwsIHdlIHNob3cgdGhhdCBmb3IgaG9tb2dlbmVvdXMgbWFya2V0cy13aGVyZSB0aGUgYnV5ZXIncyBhYmlsaXR5IHRvIGZvbGxvdyBzZWN1cml0eSBwcmFjdGljZXMgaXMgYWx3YXlzIGhpZ2ggb3IgYWx3YXlzIGxvdy10aGUgb3B0aW1hbCAoZXh0ZXJuYWxpdHktbWluaW1pemluZyBmb3IgYSBnaXZlbiBwcm9maXQgY29uc3RyYWludCkgcmVndWxhdG9yeSBwb2xpY3kgbmVlZCByZWd1bGF0ZSBvbmx5IHBheW1lbnRzIG9yIHByb2R1Y3Rpb24uIEluIGFyYml0cmFyeSBtYXJrZXRzLCBieSBjb250cmFzdCwgd2Ugc2hvdyB0aGF0IHdoaWxlIHRoZSBvcHRpbWFsIHBvbGljeSBtYXkgcmVxdWlyZSByZWd1bGF0aW5nIGJvdGggYXNwZWN0cywgdGhlcmUgaXMgYWx3YXlzIGFuIGFwcHJveGltYXRlbHkgb3B0aW1hbCBwb2xpY3kgd2hpY2ggcmVndWxhdGVzIGp1c3Qgb25lLn0sCiAgYm9va3RpdGxlID0ge1RoZSBXb3JsZCBXaWRlIFdlYiBDb25mZXJlbmNlfSwKICBwYWdlcyA9IHsxOTbigJMyMDZ9LAogIG51bXBhZ2VzID0gezExfSwKICBrZXl3b3JkcyA9IHtOZWdhdGl2ZSBFeHRlcm5hbGl0aWVzLCBBdWN0aW9uIERlc2lnbiwgUG9saWN5IGFuZCBSZWd1bGF0aW9uLiwgTWVjaGFuaXNtIERlc2lnbiBhbmQgQXBwcm94aW1hdGlvbiwgVHJhZ2VkeSBvZiB0aGUgQ29tbW9uc30sCiAgbG9jYXRpb24gPSB7U2FuIEZyYW5jaXNjbywgQ0EsIFVTQX0sCiAgc2VyaWVzID0ge1dXVyAnMTl9LAogIHVybF9CbG9nPXtodHRwczovL2ZyZWVkb20tdG8tdGlua2VyLmNvbS8yMDE5LzA4LzEzL3NlbGxpbmctYS1zaW5nbGUtaXRlbS13aXRoLW5lZ2F0aXZlLWV4dGVybmFsaXR5L30KfQo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1&amp;jsonp=1&amp;nocache=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1&amp;jsonp=1&amp;nocache=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https://www.dropbox.com/s/l1ow8tmixvi5lbe/publications.bib?dl=1&amp;jsonp=1&amp;nocache=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2023\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2023')\"\n      onkeypress=\"toggleGroup('group_2023')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2023</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2301.12532\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023', 'https://arxiv.org/abs/2301.12532', event);\">\n    Credible, Optimal Auctions via Blockchains.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Chitra, T.; <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V.</a>;  and Kulkarni, K.\n</span>\n\n  \n\n</span>\n\n  <i>In submission</i>.  2023.\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2301.12532\"\n     onclick=\"log_download('chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023', 'https://arxiv.org/abs/2301.12532', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible, Optimal Auctions via Blockchains [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>14 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('chitra-ferreira-kulkarni-credibleoptimalauctionsviablockchains-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@article{chitra2023credible,\n  title={Credible, Optimal Auctions via Blockchains},\n  author={Chitra, Tarun and Ferreira, Matheus VX and Kulkarni, Kshitij},\n  journal={In submission},\n  year={2023},\n  url={https://arxiv.org/abs/2301.12532}\n}\n\n%@article{kulkarni2023credibility,\n % title={Credibility and Incentives in Gradual Dutch Auctions},\n  %author={Kulkarni, Kshitij and Ferreira, Matheus VX and Chitra, Tarun},\n  %journal={In submission},\n  %year={2023}\n%}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2209.15569\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023', 'https://arxiv.org/abs/2209.15569', event);\">\n    Credible Decentralized Exchange Design via Verifiable Sequencing Rules.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>;  and Parkes, D. C.\n</span>\n\n  \n\n</span>\n\n  In <i>To appear at Proceedings of the 55th Annual ACM Symposium on Theory of Computing</i>, of <i>STOC '23</i>, New York, NY, USA,  2023. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2209.15569\"\n     onclick=\"log_download('ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023', 'https://arxiv.org/abs/2209.15569', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible Decentralized Exchange Design via Verifiable Sequencing Rules [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>34 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ferreira-parkes-credibledecentralizedexchangedesignviaverifiablesequencingrules-2023')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2022dex,\n    title = {Credible Decentralized Exchange Design via Verifiable Sequencing Rules},\n    author = {Matheus V. X. Ferreira and David C. Parkes},\n    publisher = {Association for Computing Machinery},\n    address = {New York, NY, USA},\n    booktitle = {To appear at Proceedings of the 55th Annual ACM Symposium on Theory of Computing},\n    location = {Orlando, FL, USA},\n    series = {STOC &#x27;23},\n    url = {https://arxiv.org/abs/2209.15569},\n    year = {2023}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2022\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2022')\"\n      onkeypress=\"toggleGroup('group_2022')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2022</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2207.07996\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022', 'https://arxiv.org/abs/2207.07996', event);\">\n    Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>; Hahn, Y. L. S.; Weinberg, S. M.;  and Yu, C.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 23rd ACM Conference on Economics and Computation</i>, of <i>EC '22</i>, pages 89–114, New York, NY, USA,  2022. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2207.07996\"\n     onclick=\"log_download('ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022', 'https://arxiv.org/abs/2207.07996', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://youtu.be/SVdHKeycLZg\"\n     onclick=\"log_download('ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022', 'https://youtu.be/SVdHKeycLZg', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3490486.3538337\"\n     onclick=\"log_download('ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022', 'http://doi.org/10.1145/3490486.3538337', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>19 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ferreira-hahn-weinberg-yu-optimalstrategicminingagainstcryptographicselfselectioninproofofstake-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2022optimal,\n  author = {Ferreira, Matheus V. X. and Hahn, Ye Lin Sally and Weinberg, S. Matthew and Yu, Catherine},\n  title = {Optimal Strategic Mining Against Cryptographic Self-Selection in Proof-of-Stake},\n  year = {2022},\n  isbn = {9781450391504},\n  publisher = {Association for Computing Machinery},\n  address = {New York, NY, USA},\n  url = {https://arxiv.org/abs/2207.07996},\n  doi = {10.1145/3490486.3538337},\n  abstract = {Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols. In cryptographic self-selection, each round r has a seed Qr. In round r, each account owner is asked to digitally sign Qr, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round r, and their credential becomes the seed Qr+1. Such protocols leave open the possibility of manipulation: a user who owns multiple accounts that each produce low-scoring credentials in round r can selectively choose which ones to broadcast in order to influence the seed for round r+1. Indeed, the user can pre-compute their credentials for round r+1 for each potential seed, and broadcast only the credential (among those with low enough score to be leader) that produces the most favorable seed.We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than 3-5/2 ~38% of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy.},\n  booktitle = {Proceedings of the 23rd ACM Conference on Economics and Computation},\n  pages = {89–114},\n  numpages = {26},\n  keywords = {leader election, cryptocurrency, blockchain, proof-of-stake, strategic mining},\n  location = {Boulder, CO, USA},\n  series = {EC &#x27;22},\n  url_Video = {https://youtu.be/SVdHKeycLZg}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  Cryptographic Self-Selection is a subroutine used to select a leader for modern proof-of-stake consensus protocols. In cryptographic self-selection, each round r has a seed Qr. In round r, each account owner is asked to digitally sign Qr, hash their digital signature to produce a credential, and then broadcast this credential to the entire network. A publicly-known function scores each credential in a manner so that the distribution of the lowest scoring credential is identical to the distribution of stake owned by each account. The user who broadcasts the lowest-scoring credential is the leader for round r, and their credential becomes the seed Qr+1. Such protocols leave open the possibility of manipulation: a user who owns multiple accounts that each produce low-scoring credentials in round r can selectively choose which ones to broadcast in order to influence the seed for round r+1. Indeed, the user can pre-compute their credentials for round r+1 for each potential seed, and broadcast only the credential (among those with low enough score to be leader) that produces the most favorable seed.We consider an adversary who wishes to maximize the expected fraction of rounds in which an account they own is the leader. We show such an adversary always benefits from deviating from the intended protocol, regardless of the fraction of the stake controlled. We characterize the optimal strategy; first by proving the existence of optimal positive recurrent strategies whenever the adversary owns last than 3-5/2  38% of the stake. Then, we provide a Markov Decision Process formulation to compute the optimal strategy.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2205.14758\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022', 'https://arxiv.org/abs/2205.14758', event);\">\n    Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Essaidi, M.; <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>;  and Weinberg, S. M.\n</span>\n\n  \n\n</span>\n\n  In <i>13th Innovations in Theoretical Computer Science Conference (ITCS 2022)</i>, volume 215, pages 66:1–66:19, Dagstuhl, Germany,  2022. Schloss Dagstuhl – Leibniz-Zentrum für Informatik\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2205.14758\"\n     onclick=\"log_download('essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022', 'https://arxiv.org/abs/2205.14758', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://youtu.be/FdEuwH0DtY4?t=817\"\n     onclick=\"log_download('essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022', 'https://youtu.be/FdEuwH0DtY4?t=817', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.4230/LIPIcs.ITCS.2022.66\"\n     onclick=\"log_download('essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022', 'http://doi.org/10.4230/LIPIcs.ITCS.2022.66', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>16 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('essaidi-ferreira-weinberg-crediblestrategyproofoptimalandboundedexpectedroundsingleitemauctionsforalldistributions-2022')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@InProceedings{essaidi2022credible,\n  author =\t{Essaidi, Meryem and Ferreira, Matheus V. X. and Weinberg, S. Matthew},\n  title =\t{{Credible, Strategyproof, Optimal, and Bounded Expected-Round Single-Item Auctions for All Distributions}},\n  booktitle =\t{13th Innovations in Theoretical Computer Science Conference (ITCS 2022)},\n  pages =\t{66:1--66:19},\n  ISBN =\t{978-3-95977-217-4},\n  ISSN =\t{1868-8969},\n  year =\t{2022},\n  volume =\t{215},\n  publisher =\t{Schloss Dagstuhl -- Leibniz-Zentrum f{\\&quot;u}r Informatik},\n  address =\t{Dagstuhl, Germany},\n  URL =\t\t{https://arxiv.org/abs/2205.14758},\n  URN =\t\t{urn:nbn:de:0030-drops-156621},\n  doi =\t\t{10.4230/LIPIcs.ITCS.2022.66},\n  annote =\t{Keywords: Credible Auctions, Cryptographically Secure, Single-Item},\n  url_Video = {https://youtu.be/FdEuwH0DtY4?t=817}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2021\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2021')\"\n      onkeypress=\"toggleGroup('group_2021')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2021</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2103.14144\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021', 'https://arxiv.org/abs/2103.14144', event);\">\n    Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>; Moroz, D. J.; Parkes, D. C.;  and Stern, M.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 3rd ACM Conference on Advances in Financial Technologies</i>, of <i>AFT '21</i>, pages 86–99, New York, NY, USA,  2021. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2103.14144\"\n     onclick=\"log_download('ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021', 'https://arxiv.org/abs/2103.14144', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://youtu.be/Tv_Rqdq9kw0\"\n     onclick=\"log_download('ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021', 'https://youtu.be/Tv_Rqdq9kw0', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3479722.3480991\"\n     onclick=\"log_download('ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021', 'http://doi.org/10.1145/3479722.3480991', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>81 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ferreira-moroz-parkes-stern-dynamicpostedpricemechanismsfortheblockchaintransactionfeemarket-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2021dynamic,\n  author = {Ferreira, Matheus V. X. and Moroz, Daniel J. and Parkes, David C. and Stern, Mitchell},\n  title = {Dynamic Posted-Price Mechanisms for the Blockchain Transaction-Fee Market},\n  year = {2021},\n  isbn = {9781450390828},\n  publisher = {Association for Computing Machinery},\n  address = {New York, NY, USA},\n  url = {https://arxiv.org/abs/2103.14144},\n  doi = {10.1145/3479722.3480991},\n  abstract = {In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. The status quo auctions sell space using a first-price auction [27]; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary.In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559 [4], aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design - a dynamic posted-price mechanism - which uses not only block utilization but also observable bids from past blocks to compute a posted-price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function f, converges to a fixed point of f.},\n  booktitle = {Proceedings of the 3rd ACM Conference on Advances in Financial Technologies},\n  pages = {86–99},\n  numpages = {14},\n  location = {Arlington, Virginia},\n  series = {AFT &#x27;21},\n  url_Video = {https://youtu.be/Tv_Rqdq9kw0}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  In recent years, prominent blockchain systems such as Bitcoin and Ethereum have experienced explosive growth in transaction volume, leading to frequent surges in demand for limited block space and causing transaction fees to fluctuate by orders of magnitude. The status quo auctions sell space using a first-price auction [27]; however, users find it difficult to estimate how much they need to bid in order to get their transactions accepted onto the chain. If they bid too low, their transactions can have long confirmation times. If they bid too high, they pay larger fees than necessary.In light of these issues, new transaction fee mechanisms have been proposed, most notably EIP-1559 [4], aiming to provide better usability. EIP-1559 is a history-dependent mechanism that relies on block utilization to adjust a base fee. We propose an alternative design - a dynamic posted-price mechanism - which uses not only block utilization but also observable bids from past blocks to compute a posted-price for subsequent blocks. We show its potential to reduce price volatility by providing examples for which the prices of EIP-1559 are unstable while the prices of the proposed mechanism are stable. More generally, whenever the demand for the blockchain stabilizes, we ask if our mechanism is able to converge to a stable state. Our main result provides sufficient conditions in a probabilistic setting for which the proposed mechanism is approximately welfare optimal and the prices are stable. Our main technical contribution towards establishing stability is an iterative algorithm that, given oracle access to a Lipschitz continuous and strictly concave function f, converges to a fixed point of f.\n</div>\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2107.04069\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021', 'https://arxiv.org/abs/2107.04069', event);\">\n    Proof-of-Stake Mining Games with Perfect Randomness.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>;  and Weinberg, S. M.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 22nd ACM Conference on Economics and Computation</i>, of <i>EC '21</i>, pages 433–453, New York, NY, USA,  2021. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2107.04069\"\n     onclick=\"log_download('ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021', 'https://arxiv.org/abs/2107.04069', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Proof-of-Stake Mining Games with Perfect Randomness [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.youtube.com/watch?v=ZSq8-YSWGrk\"\n     onclick=\"log_download('ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021', 'https://www.youtube.com/watch?v=ZSq8-YSWGrk', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Proof-of-Stake Mining Games with Perfect Randomness [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3465456.3467636\"\n     onclick=\"log_download('ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021', 'http://doi.org/10.1145/3465456.3467636', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>155 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ferreira-weinberg-proofofstakemininggameswithperfectrandomness-2021')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2021pos,\n  author = {Ferreira, Matheus V. X. and Weinberg, S. Matthew},\n  title = {Proof-of-Stake Mining Games with Perfect Randomness},\n  year = {2021},\n  isbn = {9781450385541},\n  publisher = {Association for Computing Machinery},\n  address = {New York, NY, USA},\n  url = {https://arxiv.org/abs/2107.04069},\n  doi = {10.1145/3465456.3467636},\n  abstract = {Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to &quot;getting the incentives right&quot; were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness. We consider instead a longest-chain Proof-of-Stake protocol with perfect, trusted, external randomness (e.g. a randomness beacon). We produce two main results. First, we show that a strategic miner can strictly outperform an honest miner with just 32.8% of the total stake. Note that a miner of this size cannot outperform an honest miner in the Proof-of-Work model. This establishes that even with access to a perfect randomness beacon, incentives in Proof-of-Work and Proof-of-Stake longest-chain protocols are fundamentally different. Second, we prove that a strategic miner cannot outperform an honest miner with 30.8% of the total stake. This means that, while not quite as secure as the Proof-of-Work regime, desirable incentive properties of Proof-of-Work longest-chain protocols can be approximately recovered via Proof-of-Stake with a perfect randomness beacon. The space of possible strategies in a Proof-of-Stake mining game is significantly richer than in a Proof-of-Work game. Our main technical contribution is a characterization of potentially optimal strategies for a strategic miner, and in particular a proof that the corresponding infinite-state MDP admits an optimal strategy that is positive recurrent.},\n  booktitle = {Proceedings of the 22nd ACM Conference on Economics and Computation},\n  pages = {433–453},\n  numpages = {21},\n  keywords = {proof-of-stake blockchains, energy-efficiency, NASH equilibrium, cryptocurrency, random beacons},\n  location = {Budapest, Hungary},\n  series = {EC &#x27;21},\n  url_Video = {https://www.youtube.com/watch?v=ZSq8-YSWGrk}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  Proof-of-Stake blockchains based on a longest-chain consensus protocol are an attractive energy-friendly alternative to the Proof-of-Work paradigm. However, formal barriers to \"getting the incentives right\" were recently discovered, driven by the desire to use the blockchain itself as a source of pseudorandomness. We consider instead a longest-chain Proof-of-Stake protocol with perfect, trusted, external randomness (e.g. a randomness beacon). We produce two main results. First, we show that a strategic miner can strictly outperform an honest miner with just 32.8% of the total stake. Note that a miner of this size cannot outperform an honest miner in the Proof-of-Work model. This establishes that even with access to a perfect randomness beacon, incentives in Proof-of-Work and Proof-of-Stake longest-chain protocols are fundamentally different. Second, we prove that a strategic miner cannot outperform an honest miner with 30.8% of the total stake. This means that, while not quite as secure as the Proof-of-Work regime, desirable incentive properties of Proof-of-Work longest-chain protocols can be approximately recovered via Proof-of-Stake with a perfect randomness beacon. The space of possible strategies in a Proof-of-Stake mining game is significantly richer than in a Proof-of-Work game. Our main technical contribution is a characterization of potentially optimal strategies for a strategic miner, and in particular a proof that the corresponding infinite-state MDP admits an optimal strategy that is positive recurrent.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2020\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2020')\"\n      onkeypress=\"toggleGroup('group_2020')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2020</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/2004.01598\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020', 'https://arxiv.org/abs/2004.01598', event);\">\n    Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>;  and Weinberg, S. M.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings of the 21st ACM Conference on Economics and Computation</i>, of <i>EC '20</i>, pages 683–712, New York, NY, USA,  2020. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/2004.01598\"\n     onclick=\"log_download('ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020', 'https://arxiv.org/abs/2004.01598', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://www.youtube.com/watch?v=q6zzBCGX0JQ&amp;t\"\n     onclick=\"log_download('ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020', 'https://www.youtube.com/watch?v=q6zzBCGX0JQ&amp;t', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments [link]\"\n       title=\" video\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> video</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3391403.3399495\"\n     onclick=\"log_download('ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020', 'http://doi.org/10.1145/3391403.3399495', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>156 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('ferreira-weinberg-credibletruthfulandtworoundoptimalauctionsviacryptographiccommitments-2020')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2020credible,\n  author = {Ferreira, Matheus V. X. and Weinberg, S. Matthew},\n  title = {Credible, Truthful, and Two-Round (Optimal) Auctions via Cryptographic Commitments},\n  year = {2020},\n  isbn = {9781450379755},\n  publisher = {Association for Computing Machinery},\n  address = {New York, NY, USA},\n  url = {https://arxiv.org/abs/2004.01598},\n  doi = {10.1145/3391403.3399495},\n  abstract = {We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes credibility as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves. In contrast, when buyers&#x27; valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple two-round auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer).We extend our analysis to the case when buyer valuations are α-strongly regular for any α &gt; 0, up to arbitrary ε in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the ε be removed with multiple bidders.},\n  booktitle = {Proceedings of the 21st ACM Conference on Economics and Computation},\n  pages = {683–712},\n  numpages = {30},\n  keywords = {optimal auction design, mechanism design and approximation, cryptographic auctions, credible mechanisms, mechanism design with imperfect commitment},\n  location = {Virtual Event, Hungary},\n  series = {EC &#x27;20},\n  url_Video = {https://www.youtube.com/watch?v=q6zzBCGX0JQ&amp;t}\n}\n\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  We consider the sale of a single item to multiple buyers by a revenue-maximizing seller. Recent work of Akbarpour and Li formalizes credibility as an auction desideratum, and prove that the only optimal, credible, strategyproof auction is the ascending price auction with reserves. In contrast, when buyers' valuations are MHR, we show that the mild additional assumption of a cryptographically secure commitment scheme suffices for a simple two-round auction which is optimal, strategyproof, and credible (even when the number of bidders is only known by the auctioneer).We extend our analysis to the case when buyer valuations are α-strongly regular for any α > 0, up to arbitrary ε in credibility. Interestingly, we also prove that this construction cannot be extended to regular distributions, nor can the ε be removed with multiple bidders.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  <a href=\"https://arxiv.org/abs/1902.10008\"\n     onclick=\"return trackOutboundLink('publications', 'click', 'chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019', 'https://arxiv.org/abs/1902.10008', event);\">\n    Selling a Single Item with Negative Externalities.\n  </a>\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Chattopadhyay, T.; Feamster, N.; <a class=\"bibbase author link\" href=\"https://matheusvxf.github.io/publications/\">Ferreira, M. V. X.</a>; Huang, D. Y.;  and Weinberg, S. M.\n</span>\n\n  \n\n</span>\n\n  In <i>The World Wide Web Conference</i>, of <i>WWW '19</i>, pages 196–206, New York, NY, USA,  2019. Association for Computing Machinery\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n  <a href=\"https://arxiv.org/abs/1902.10008\"\n     onclick=\"log_download('chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019', 'https://arxiv.org/abs/1902.10008', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Selling a Single Item with Negative Externalities [link]\"\n       title=\"Paper\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\">Paper</span></a>\n  &nbsp;\n  \n  <a href=\"https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/\"\n     onclick=\"log_download('chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019', 'https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/', event.ctrlKey, event)\">\n    <img src=\"//bibbase.org/img/filetypes/link.svg\"\n\t     alt=\"Selling a Single Item with Negative Externalities [link]\"\n       title=\" blog\"\n\t     class=\"bibbase_icon\"\n         ><span class=\"bibbase_icon_text\"> blog</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"http://doi.org/10.1145/3308558.3313692\"\n     onclick=\"log_download('chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019', 'http://doi.org/10.1145/3308558.3313692', event.ctrlKey)\"\n     class=\"bibbase doi link\">\n    <span>doi</span></a>\n  &nbsp;\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n  &nbsp;\n  <a class=\"bibbase_abstract_link bibbase link\"\n     href=\"#\"\n     onclick=\"showAbstract(event); return false;\">\n    abstract <i class=\"fa fa-caret-down\"></i></a>\n  \n\n  \n  &nbsp;\n  <span class=\"bibbase_stats_paper\" style=\"color: #777;\">\n    <span>15 downloads</span>\n  </span>\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('chattopadhyay-feamster-ferreira-huang-weinberg-sellingasingleitemwithnegativeexternalities-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{ferreira2019selling,\n  author = {Chattopadhyay, Tithi and Feamster, Nick and Ferreira, Matheus V. X. and Huang, Danny Yuxing and Weinberg, S. Matthew},\n  title = {Selling a Single Item with Negative Externalities},\n  year = {2019},\n  isbn = {9781450366748},\n  publisher = {Association for Computing Machinery},\n  address = {New York, NY, USA},\n  url = {https://arxiv.org/abs/1902.10008},\n  doi = {10.1145/3308558.3313692},\n  abstract = {We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter [5, 26]. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost-implementing security requirements increases production costs, and the existence of fines decreases consumers&#x27; values-thereby reducing the seller&#x27;s profits. The focus of this paper is to understand the efficiency of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller&#x27;s profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer&#x27;s behavior. In this model, we show that for homogeneous markets-where the buyer&#x27;s ability to follow security practices is always high or always low-the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate only payments or production. In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one.},\n  booktitle = {The World Wide Web Conference},\n  pages = {196–206},\n  numpages = {11},\n  keywords = {Negative Externalities, Auction Design, Policy and Regulation., Mechanism Design and Approximation, Tragedy of the Commons},\n  location = {San Francisco, CA, USA},\n  series = {WWW &#x27;19},\n  url_Blog={https://freedom-to-tinker.com/2019/08/13/selling-a-single-item-with-negative-externality/}\n}\n</pre>\n</div>\n\n\n<div class=\"well well-small bibbase\" data-type=\"abstract\"\n     style=\"display:none\">\n  We consider the problem of regulating products with negative externalities to a third party that is neither the buyer nor the seller, but where both the buyer and seller can take steps to mitigate the externality. The motivating example to have in mind is the sale of Internet-of-Things (IoT) devices, many of which have historically been compromised for DDoS attacks that disrupted Internet-wide services such as Twitter [5, 26]. Neither the buyer (i.e., consumers) nor seller (i.e., IoT manufacturers) was known to suffer from the attack, but both have the power to expend effort to secure their devices. We consider a regulator who regulates payments (via fines if the device is compromised, or market prices directly), or the product directly via mandatory security requirements. Both regulations come at a cost-implementing security requirements increases production costs, and the existence of fines decreases consumers' values-thereby reducing the seller's profits. The focus of this paper is to understand the efficiency of various regulatory policies. That is, policy A is more efficient than policy B if A more successfully minimizes negatives externalities, while both A and B reduce seller's profits equally. We develop a simple model to capture the impact of regulatory policies on a buyer's behavior. In this model, we show that for homogeneous markets-where the buyer's ability to follow security practices is always high or always low-the optimal (externality-minimizing for a given profit constraint) regulatory policy need regulate only payments or production. In arbitrary markets, by contrast, we show that while the optimal policy may require regulating both aspects, there is always an approximately optimal policy which regulates just one.\n</div>\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);