docs.rs failed to build proofman-verifier-1.3.0-alpha
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
STARK verification primitives: stark_verify, the VerifierInfo it reads,
and the proof types.
No per-family verifier is committed here. The recursion aggregator binds the
application's publics into the q_verify expression, so a verifier generated
for one application rejects proofs another's correct prover produced. proofman
verifies from the proving key (<base>.starkinfo.json + <base>.verifier.bin +
<base>.verkey.json, see proofman::verify_proof); consumers that need a
compiled no_std verifier commit their own, generated from their own key by
proofman-setup setup -r, against the items this crate exports.