> On the popularity of Haugen: I find it amusing how your government treats a whistleblower who is promoting government control over social media, vs the way your government treats a whistleblower who leaks evidence of government spying and abuse.
Well one of them leaked documents of said government, the other company secrets.
In their whitepaper [1] they mention storing cryptographic proofs on the Bitcoin blockchain (Section 3). However they do not seem to specify what proofs exactly.
> On the proof side, Rust's built in unit testing is great, and allows for quick validation of code (proofs). But I think you mean something different.
Unit testing can only proof one instance of the input domain, e.g. the function square() returns 4 under the input 2. Languages like Coq allow you to proof that the function square returns the squared input for every possible input.
As of this time we do not have a good system for creating test accounts for our bug bounty submitters. Please create an account as you would normally and perform testing with that account.
Well one of them leaked documents of said government, the other company secrets.