List of Proof Repositories

To help people bootstrap and find other users reviewing crates, we collect links to Proof Repositories. Feel free to add yours.

Use cargo crev repo fetch url <url> subcommand to import.

• https://github.com/dpc/crev-proofs # link
• https://github.com/oherrala/crev-proofs # link
• https://github.com/Canop/crev-proofs # link
• https://github.com/Mark-Simulacrum/crev-proofs # link
• https://github.com/kornelski/crev-proofs # link
• https://gitlab.com/KonradBorowski/crev-proofs # link
• https://github.com/BurntSushi/crev-proofs # link
• https://github.com/qnighy/crev-proofs # link
• https://github.com/programmerjake/crev-proofs # link
• https://github.com/kpcyrd/crev-proofs # link
• https://github.com/MaulingMonkey/crev-proofs # link
• https://gitlab.com/phgsng/crev-proofs # link
• https://github.com/vorner/crev-proofs # link
• https://github.com/zoechi/crev-proofs # link
• https://github.com/dbrgn/crev-proofs # link
• https://github.com/HeroicKatora/crev-proofs # link
• https://github.com/niklasf/crev-proofs # link
• https://github.com/LucianoBestia/crev-proofs # link
• https://github.com/jhpratt/crev-proofs # link
• https://github.com/roblabla/crev-proofs # link

Additionally, we now get a list of all people who forked the crev-proofs template

Pre-v0.6 repositories

In version 0.6 we've changed cryptographic primitives into more inter-operable ones. Unfortunately this means that old identities are now invalid. Use cargo crev import proof to mass-convert old reviews to new identity. Eg.

cd ~/.config/crev/proofs
read -sr CREV_PASSPHRASE && cat (find . -name '*.proof.crev' -type f) | cargo crev import proof

The following links will probably lead to reviews created by old-format IDs. Please move them above once they have been converted.

• https://framagit.org/antoyo/crev-proofs # link
• https://github.com/hirschenberger/crev-proofs # link
• https://github.com/Detegr/crev-proofs # link
• https://github.com/repi/crev-proofs # link
• https://github.com/bjorn3/crev-proofs # link
• https://github.com/vi/crev-proofs # link
• https://github.com/mglax/crev-proofs # link
• https://github.com/sgeisler/crev-proofs # link
• https://github.com/otavio/crev-proofs # link