---
layout: default
title: Obsidian
---


      <!-- Main jumbotron for a primary marketing message or call to action -->
      <div class="jumbotron">
        <div class="container">
          <h1 class="display-4">Obsidian: A safer blockchain programming language</h1>
              <p>Obsidian is a new programming language for writing <em>smart contracts</em>, which are programs for blockchain platforms.</p>
<!--          <p><a class="btn btn-primary btn-lg" href="#" role="button">More details &raquo;</a></p> -->
        </div>
      </div>

      <div class="container">
        <!-- Example row of columns -->

        <div class="row">
            <div class="col-md-12">
                <p>Obsidian includes two main innovations relative to current languages for these platforms:</p>
                <ol>
                  <li>State-oriented programming lets you declare and transition among states explicitly. Our research suggests that a large fraction of blockchain programs are organized around a high-level state machine.</li>
                  <li>Linear types ensure that important resources managed by your programs are managed correctly. No more accidentally making money vanish into thin air; the compiler will keep you safe.</li>
                </ol>

                <p>Obsidian is currently under development and is not ready for general use. To learn about Obsidian, follow the <a href="http://obsidian.readthedocs.io">Obsidian tutorial</a>. Want to help? Participate in our <a href="experiment.html">user study</a>.<p>
            </div>
        </div>

        <div class="row">
          <div class="col-md-6">
            <h2>Publications</h2>
	    Please see our <a href="http://arxiv.org/abs/1909.03523">working draft</a> for a technical description of the language and a summary of the  case studies we have done to date.
            <p><a class="btn btn-secondary" href="publications.html" role="button">More publications &raquo;</a></p>
          </div>
          <div class="col-md-6">
            <h2>User Study</h2>
            <p>We are conducting a user study to find out which of several possible language designs works best for programmers. <a href="http://cmu.ca1.qualtrics.com/jfe/form/SV_7UqedsVGcyTN5gp">Participate in the experiment</a> to help advance the science of language design!</p>
            <p><a class="btn btn-secondary" href="experiment.html" role="button">User study &raquo;</a></p>
          </div>

        </div>

        <hr>






    <h2 id="team">Team</h2>
    <p>Obsidian is a project by:</p>

    <ul>
      <li><a href="http://www.cs.cmu.edu/~mcoblenz">Michael Coblenz</a></li>
      <li><a href="http://www.cs.cmu.edu/~aldrich">Jonathan Aldrich</a></li>
      <li><a href="http://www.cs.cmu.edu/~bam">Brad Myers</a></li>
      <li><a href="http://www.cs.cmu.edu/~jssunshi">Joshua Sunshine</a></li>
      <li><a href="http://reedoei.com>Reed Oei</a></li>
      <li>Gauri Kambhatla</li>
      <li>Miles Baker</li>
      <li>Celeste Barnaby</li>
      <li>Tyler Etzel</li>
      <li>Paulette Koronkevich</li>
      <li><a href="http://www.cs.cmu.edu/~jlwise/">Jenna Wise</a></li>
    </ul>

    </div> <!-- /container -->




    <!-- Optional JavaScript -->
    <!-- jQuery first, then Popper.js, then Bootstrap JS -->
    <script src="https://code.jquery.com/jquery-3.3.1.slim.min.js" integrity="sha384-q8i/X+965DzO0rT7abK41JStQIAqVgRVzpbzo5smXKp4YfRvH+8abtTE1Pi6jizo" crossorigin="anonymous"></script>
    <script src="https://cdnjs.cloudflare.com/ajax/libs/popper.js/1.14.3/umd/popper.min.js" integrity="sha384-ZMP7rVo3mIykV+2+9J3UJ46jBk0WLaUAdn689aCwoqbBJiSnjAK/l8WvCWPIPm49" crossorigin="anonymous"></script>
    <script src="https://stackpath.bootstrapcdn.com/bootstrap/4.1.3/js/bootstrap.min.js" integrity="sha384-ChfqqxuZUCnJSK3+MXmPNIyE6ZbWh2IMqE241rYiqJxyMiZ6OW/JmZQ5stwEULTy" crossorigin="anonymous"></script>
  </body>
</html>