diff --git a/README.md b/README.md
new file mode 100644
index 0000000..45e38b7
--- /dev/null
+++ b/README.md
@@ -0,0 +1,8 @@
+<!-- CREV_README_MARKER_V0 - Please don't remove this first line, or `crev` might overwrite this file.  -->
+
+# Proof Repository
+
+This git repository is a [Crev Proof
+Repository](https://github.com/crev-dev/crev/wiki/Proof-Repository).
+
+<!-- Feel free to customize this file below this line -->
diff --git a/known_cargo_owners.txt b/known_cargo_owners.txt
new file mode 100644
index 0000000..7cd4ecb
--- /dev/null
+++ b/known_cargo_owners.txt
@@ -0,0 +1,74 @@
+# This file helps identify dependencies owned by known
+# and reputable authors.
+#
+# List usernames of crates.io users line by line to
+# make them count as "known owners" in `crev verify`
+# output.
+#
+# Remember that `crev` has no way to verify information
+# returned by crates.io, or if the crate was in fact
+# published by their real owners. This feature is only
+# meant to help identify crates that should be reviewed
+# and verified first, and might be removed in the future.
+
+aaronepower
+alexcrichton
+amanieu
+bluss
+brendanzab
+burntsushi
+BurntSushi
+bvssvni
+byron
+carllerche
+cramertj
+ctz
+cuviper
+dhardy
+dtolnay
+erickt
+fitzgen
+gankro
+Geal
+gnzlbg
+guillaumegomez
+hauleth
+huonw
+ivanukhov
+jackpot51
+japaric
+kbknapp
+killercup
+kimundi
+kwantam
+lifthrasiir
+matthewkmayer
+matthiasbeyer
+mitsuhiko
+mvdnes
+newpavlov
+nikomatsakis
+nox
+pitdicker
+pnkfelix
+reem
+retep998
+seanmonstar
+sergiobenitez
+sfackler
+simonsapin
+softprops
+stebalien
+steveklabnik
+stjepang
+strake
+tailhook
+tomaka
+tyoverby
+vks
+withoutboats
+
+github:rust-lang:libs
+github:rust-lang-nursery:log-owners
+github:rust-random:maintainers
+github:rust-lang-nursery:libs