Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Violable Contracts and Governance for Blockchain Applications   We examine blockchain technologies, especially smart contracts, as a platform
for decentralized applications. By providing a basis for consensus, blockchain
promises to upend business models that presuppose a central authority. However,
blockchain suffers from major shortcomings arising from an over-regimented way
of organizing computation that limits its prospects. We propose a
sociotechnical, yet computational, perspective that avoids those shortcomings.
A centerpiece of our vision is the notion of a declarative, violable contract
in contradistinction to smart contracts. This new way of thinking enables
flexible governance, by formalizing organizational structures; verification of
correctness without obstructing autonomy; and a meaningful basis for trust.

28
The categories of this paper are: alg-geom
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
2
The categories of this paper are: math
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
12
The categories of this paper are: nucl-th
35
The categories of this paper are: mtrl-th
18
The categories of this paper are: econ
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
13
The categories of this paper are: quant-ph
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga
9
The categories of this paper are: nlin