docs.rs failed to build zisk-sdk-1.1.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.
zisk-sdk
This crate is part of ZisK. See the ZisK documentation for an overview of the system.
zisk-sdk is the high-level client library for proving and verifying ZisK programs. It hides
the executor and prover behind a small API and supports both embedded and remote proving.
Overview
ProverClient— embedded proving that runs the prover in-process.RemoteClient— remote proving that submits jobs to a ZisK coordinator.- Requests & results —
ExecuteRequest,ProveRequest,SetupRequest,VerifyBuilder, and their result types. - Aggregation & recursion —
RecurserandAggregateProofsRequestfor combining proofs.
If you want to prove and verify ZisK programs from your own Rust application, this is the crate to depend on.
Documentation
- SDK docs: https://0xpolygonhermez.github.io/zisk-docs/references/zisk-sdk/
- API reference: https://docs.rs/zisk-sdk
License
Licensed under either of:
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.