docs.rs failed to build zisk-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.
Native Rust verifiers, generated from ZisK's own proving keys.
They live here, not in pil2-proofman, because the aggregator binds the application's publics into q_verify: a verifier generated for a different application rejects valid ZisK proofs.
Regenerate from <key>/zisk/<stage>/<stage>.verifier.rs, rewriting the
crate:: references the generator emits to proofman_verifier::.