Crate masp_proofs

Crate masp_proofs 

Source
Expand description

MASP circuits and proofs.

masp_proofs contains the zk-SNARK circuits used by MASP based on Zcash Sapling, and the APIs for creating and verifying proofs.

§GPU acceleration

CUDA and OpenCL backends are supported via bellperson. To enable them, set the RUSTFLAGS environment variable to --cfg $backend, where $backend assumes the following values:

  • masp_proof_backend_cuda for CUDA.
  • masp_proof_backend_opencl for OpenCL.

These cfg flags are mutually exclusive.

Re-exports§

pub use bellman;
pub use bls12_381;
pub use group;
pub use jubjub;

Modules§

circuit
Implementations of the MASP circuits and personalized Pedersen hash
constants
Various constants used for the MASP proofs.
hashreader
Abstraction over a reader which hashes the data being read.
paramsembed-verifying-key
proverlocal-prover or bundled-prover
Abstractions over the proving system and parameters for ease of use.
sapling
Helpers for creating MASP Sapling proofs.

Structs§

MASPParameterPathsdownload-params
The paths to the Sapling parameter files.
MASPParameters
MASP Sapling groth16 circuit parameters.

Constants§

MASP_CONVERT_BYTES
MASP_CONVERT_HASH
MASP_CONVERT_NAME
The MASP convert parameters file name.
MASP_OUTPUT_BYTES
MASP_OUTPUT_HASH
MASP_OUTPUT_NAME
The MASP output parameters file name.
MASP_SPEND_BYTES
MASP_SPEND_HASH
MASP_SPEND_NAME
The MASP spend parameters file name.

Functions§

default_params_folderdirectories
Returns the default folder that the MASP proving parameters are located in.
download_masp_parametersdownload-params
Download the MASP parameters if needed, and store them in the default location. Always checks the sizes and hashes of the files, even if they didn’t need to be downloaded.
load_parameters
Load the specified parameters, checking the sizes and hashes of the files.
parse_parameters
Parse Bls12 keys from bytes as serialized by Parameters::write.