This also applies in more general sense: will some aspects of formal verification (thus programmers) turn into tools of legislation and government oversight? In the other crypto field, cryptocurrencies, some have called for formal specifications to be one aspect that projects should include to become available in certain legislations. Although, the problem remains the same as with the OP: only a handful of people are able to review the proofs, which partly renders the usefulness of the proofs obsolete.