---
layout: default
title: Obsidian User Studies
---

       
        
<div class="container">
    <h1 id="content">User Studies</h1>
    <div class="row">
        <div class="col-12">
            <p>We conducted user studies to compare different designs of the Obsidian language to see which is best for programmers. If you participated, thank you!</p>
            
<p>Obsidian detects bugs involving loss of <em>assets</em> and <em>improper invocation of transactions</em> in smart contracts. We recruited 20 p