This package implements the proof verification (server tools) and proof construction (client tools) components of Snowflake sharing and security.

The classes in this package are sorted into three categories. The first category are those classes that manage proof verification, typically what a server might do:

- Proof
- HashProof
- InvalidProofException
- MacProof
- NameLeftMonotonicity
- QuotingRule
- SignedCertificateProof
- TrivialProof
- TwoStepProof

The second category include other tools, notably the client's Prover tool:

- KeyTools
- ProofCache
- Prover2
- SDSIKeyPair

The third category are deprecated parts of a previous version of the Prover tool, and have been omitted:

- Prover
- AuthClosure
- BasicUnlockKey
- HashEquivalence
- UseAuth
- NameNode
- DefNameNode
- HashNameNode
- RootNameNode

@pkgHide Prover @pkgHide Prover.DebugTool @pkgHide Prover2.DebugTool @pkgHide AuthClosure @pkgHide BasicUnlockKey @pkgHide HashEquivalence @pkgHide UseAuth @pkgHide NameNode @pkgHide DefNameNode @pkgHide HashNameNode @pkgHide RootNameNode