$ARB 2018 · 3 min

Arbitrum: Contratos Inteligentes Privados e Escaláveis

Arbitrum: Scalable, Private Smart Contracts

Por Harry Kalodner and Steven Goldfeder

Modo lado a lado usenix.org
16px

Overview

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Protocol Design

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Consensus and Security

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Network Operation

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Economics and Governance

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Implementation Notes

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Arbitrum: Scalable, private smart contracts | USENIX Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters Arbitrum: Scalable, private smart contracts Harry Kalodner, Steven Goldfeder, Xiaoqi Chen, S. Matthew Weinberg, and Edward W. Felten, We present Arbitrum, a cryptocurrency system that supports smart contracts without the limitations of scalability and privacy of systems previous systems such as Ethereum. Arbitrum, like Ethereum, allows parties to create smart contracts by using code to specify the behavior of a virtual machine (VM) that implements the contract's functionality. Arbitrum uses mechanism design to incentivize parties to agree off-chain on what a VM would do, so that the Arbitrum miners need only verify digital signatures to confirm that parties have agreed on a VM's behavior. In the event that the parties cannot reach unanimous agreement off-chain, Arbitrum still allows honest parties to advance the VM state on-chain. If a party tries to lie about a VM's behavior, the verifier (or miners) will identify and penalize the dishonest party by using a highly-efficient challenge-based protocol that exploits features of the Arbitrum virtual machine architecture. Moving the verification of VMs' behavior off-chain in this way provides dramatic improvements in scalability and privacy. We describe Arbitrum's protocol and virtual machine architecture, and we present a working prototype implementation. USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. and our commitment to Open Access. @inproceedings {217511, author = {Harry Kalodner and Steven Goldfeder and Xiaoqi Chen and S. Matthew Weinberg and Edward W. Felten}, title = {Arbitrum: Scalable, private smart contracts}, booktitle = {27th USENIX Security Symposium (USENIX Security 18)}, isbn = {978-1-939133-04-5}, address = {Baltimore, MD}, pages = {1353--1370}, url = {https://www.usenix.org/conference/usenixsecurity18/presentation/kalodner}, publisher = {USENIX Association}, Registration Information Registration Discounts Student and Diversity Grants Venue, Hotel, and Travel Birds-of-a-Feather Sessions Poster Session and Happy Hour Submission Policies and Instructions Instructions for Presenters

Perguntas frequentes

O que é o whitepaper do Arbitrum?
O whitepaper do Arbitrum, intitulado 'Arbitrum: Scalable, Private Smart Contracts', descreve um protocolo de rollup otimista para escalonamento do Ethereum. Publicado como artigo do USENIX Security em 2018, introduz provas de fraude interativas para verificação de computação fora da cadeia.
Quem escreveu o whitepaper do Arbitrum e quando?
O whitepaper do Arbitrum foi escrito por Harry Kalodner, Steven Goldfeder e outros na Universidade de Princeton. Publicado em 2018, a tecnologia foi comercializada pela Offchain Labs, co-fundada por Ed Felten (ex-Deputy CTO da Casa Branca).
Qual é a principal inovação técnica do Arbitrum?
A principal inovação do Arbitrum é seu sistema de prova de fraude interativa — as disputas são resolvidas por meio de um protocolo de bisseção em múltiplas rodadas que se reduz a uma única instrução, tornando a verificação na L1 do Ethereum extremamente eficiente em gas.
Como funciona o mecanismo de rollup do Arbitrum?
O Arbitrum agrupa transações fora da cadeia e publica dados comprimidos na L1 do Ethereum. Um sequenciador ordena as transações e publica compromissos de estado. Qualquer pessoa pode contestar raízes de estado incorretas iniciando uma prova de fraude durante um período de desafio de ~7 dias.
Em que o Arbitrum difere do Optimism?
O Arbitrum usa provas de fraude interativas (bisseção em múltiplas rodadas), enquanto o Optimism usa provas de fraude não interativas (reexecução de etapa única). O Arbitrum tem seu próprio ambiente de execução AVM/WASM, enquanto o Optimism usa uma EVM modificada (o OP Stack).
Qual é o modelo de oferta do ARB?
O ARB tem uma oferta total de 10 bilhões de tokens, com limite de inflação anual de 2% para a governança do DAO. A distribuição inclui 42,78% para o tesouro do DAO, 26,94% para investidores, 17,53% para a equipe e 12,75% via airdrop inicial.
Quais são os principais casos de uso do Arbitrum?
O Arbitrum é a maior L2 do Ethereum por TVL, hospedando grandes protocolos DeFi (GMX, Camelot, Radiant), projetos de NFT e jogos. O Arbitrum Orbit permite que projetos lancem cadeias L3 usando a pilha de tecnologia do Arbitrum.
Que problema o Arbitrum resolve?
O Arbitrum resolve os altos custos de gas e o throughput limitado do Ethereum ao executar transações fora da cadeia enquanto herda a segurança do Ethereum. Os usuários obtêm taxas 10 a 100 vezes menores com a mesma compatibilidade com contratos inteligentes.
Como funciona o modelo de segurança do Arbitrum?
A segurança do Arbitrum é herdada da L1 do Ethereum — os dados de transação são publicados no Ethereum, e qualquer único validador honesto pode contestar raízes de estado incorretas. O período de desafio de 7 dias garante tempo suficiente para a detecção de fraudes.
Qual é o estado atual do ecossistema Arbitrum?
O Arbitrum é a principal L2 do Ethereum por valor total bloqueado. Arbitrum One (rollup), Arbitrum Nova (AnyTrust para jogos/social), Stylus (contratos inteligentes WASM) e Orbit (framework L3) formam uma pilha abrangente de escalonamento. O ArbitrumDAO governa o desenvolvimento do protocolo.