Document security of delegated proving

[vicsn]

• It would be nice to have an entirely separate page linking to some of the audits which were done on snarkVM/
  • link to ANF/Provable blog posts
  • link to https://reports.zksecurity.xyz/
  • link to the specifications https://developer.aleo.org/concepts/specifications
• On the delegated prover page, add a section on security:
  • AleoVM has been extensively audited (link to the page above)
  • The end-user submits and reveals a signed set of plaintext function inputs and outputs to the delegated prover. The prover is cryptographically bound to the call and inputs, and cannot change the intent of the user. The prover can only censor the user, but this is clearly detectible by the end-user and would lead to reputational harm of the delegated prover.