docs.rs failed to build miden-precompiles-verifier-0.36.1
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.
Visit the last successful build:
miden-precompiles-verifier-0.35.0
miden-precompiles-verifier
miden-precompiles-verifier verifies STARK-backed deferred precompile claims
for Miden VM execution proofs.
Use verify_deferred to verify a proof against its deferred root. With std,
the masm_verifier module builds host inputs for the in-VM PVM verifier.
The crate also owns the PVM ACE registry. The registry-tools feature enables
the registry and MASM artifact generator.
Build
Layout
src/
├── lib.rs crate root
├── verify.rs native precompile proof verification
├── ace.rs PVM ACE circuit and proof-order policy
├── ace_registry/ registry data and authenticated paths
├── ace_registry_regen.rs registry and MASM artifact generator
└── masm_verifier.rs host inputs for the in-VM PVM verifier