Building and backing interesting things. Verifiable Computation, zk-proofs and identity among other things.