Coda Home Prover Cloud setup

Cloud Setup

We expect many participants to use GPUs to try and speed up the SNARK prover, so we've set up a preconfigured AWS AMI that should help you get started.

  1. Go to console.aws.amazon.com

  2. Login or create account

  3. Choose US West (Oregon) as your region

  1. Type EC2 in the "Find Services" searchbar

  1. Click launch instance

  1. Type "snark" in the search bar for AMIs

  1. In "Community AMIs," select the coda-snark-challenge-base-* image

  1. You should choose a GPU instance -- we recommend choosing a p2.xlarge

  1. Click "review and launch"

You may encounter an error where you aren't allowed to launch an p2.xlarge instance. We've found that requests here are quickly granted.

  1. Click launch

  1. Go to EC2

  2. Right click on instance and select "Connect"

  1. Follow the instructions to get connected