$ARB 2018 · 3 min

Arbitrum: スケーラブルなプライベート スマート コントラクト

Arbitrum: Scalable, Private Smart Contracts

著 Harry Kalodner and Steven Goldfeder

並列表示 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

よくある質問

Arbitrumのホワイトペーパーとは何ですか?
「Arbitrum: スケーラブルなプライベートスマートコントラクト」と題されたArbitrumのホワイトペーパーは、Ethereumスケーリングのためのオプティミスティックロールアッププロトコルを説明しています。2018年にUSENIXセキュリティ論文として発表され、オフチェーン計算検証のためのインタラクティブ不正証明を導入しています。
Arbitrumのホワイトペーパーは誰がいつ書きましたか?
ArbitrumのホワイトペーパーはHarry Kalodner、Steven Goldfeder、およびプリンストン大学の研究者たちによって執筆されました。2018年に発表され、その技術はOffchain Labsによって商業化されました。同社はEd Felten(元ホワイトハウス副CTO)が共同設立しました。
Arbitrumの核心的な技術的革新は何ですか?
Arbitrumの核心的な革新はインタラクティブ不正証明システムです。紛争は複数ラウンドの二等分プロトコルによって単一の命令まで絞り込んで解決されるため、Ethereum L1上での検証に必要なガスが非常に効率的です。
Arbitrumのロールアップメカニズムはどのように機能しますか?
Arbitrumはトランザクションをオフチェーンでバッチ処理し、圧縮データをEthereum L1にポストします。シーケンサーがトランザクションを順序付けして状態コミットメントを公開します。約7日間のチャレンジ期間中、誰でも不正な状態ルートに対して不正証明を開始することで異議を申し立てられます。
ArbitrumはOptimismとどのように異なりますか?
Arbitrumはインタラクティブ不正証明(複数ラウンドの二等分)を使用し、Optimismは非インタラクティブ不正証明(単一ステップの再実行)を使用します。ArbitrumはAVM/WASM実行環境を持ち、OptimismはEVMを修正したOP Stackを使用します。
ARBの供給モデルはどうなっていますか?
ARBの総供給量は100億トークンで、DAOガバナンスのための年間インフレ上限は2%です。配分はDAOトレジャリーに42.78%、投資家に26.94%、チームに17.53%、初期エアドロップに12.75%となっています。
Arbitrumの主な用途は何ですか?
ArbitrumはTVLでEthereumの最大L2であり、主要なDeFiプロトコル(GMX、Camelot、Radiant)、NFTプロジェクト、ゲームをホストしています。Arbitrum OrbitによりプロジェクトはArbitrumの技術スタックを使用してL3チェーンをローンチできます。
Arbitrumはどのような問題を解決しますか?
Arbitrumはトランザクションをオフチェーンで実行しながらEthereumのセキュリティを継承することで、Ethereumの高ガスコストと限られたスループットを解決します。ユーザーは同じスマートコントラクト互換性で10〜100倍低い手数料を得られます。
Arbitrumのセキュリティモデルはどのように機能しますか?
ArbitrumのセキュリティはEthereum L1から継承されます。トランザクションデータはEthereumにポストされ、誠実な単一のバリデーターが不正な状態ルートに異議を申し立てることができます。7日間のチャレンジ期間により、不正検出に十分な時間が確保されます。
Arbitrumエコシステムの現状はどうですか?
ArbitrumはTVLでEthereumの主要L2です。Arbitrum One(ロールアップ)、Arbitrum Nova(ゲーム/ソーシャル向けAnyTrust)、Stylus(WASMスマートコントラクト)、Orbit(L3フレームワーク)が包括的なスケーリングスタックを形成しています。ArbitrumDAOがプロトコル開発を統括しています。