Searching for proofofbraun