Struct noah_api::setup::VerifierParams

pub struct VerifierParams {
    pub pcs: KZGCommitmentSchemeBLS,
    pub secp256k1_cs: TurboVerifyCS,
    pub ed25519_cs: TurboVerifyCS,
    pub secp256k1_verifier_params: PlonkVK<KZGCommitmentSchemeBLS>,
    pub ed25519_verifier_params: PlonkVK<KZGCommitmentSchemeBLS>,
}

The verifier parameters.

Fields

pcs: KZGCommitmentSchemeBLS

The shrunk version of the polynomial commitment scheme.

secp256k1_cs: TurboVerifyCS

The shrunk version of the constraint system.

ed25519_cs: TurboVerifyCS

The ed25519 shrunk version of the constraint system.

secp256k1_verifier_params: PlonkVK<KZGCommitmentSchemeBLS>

The TurboPlonk verifying key.

ed25519_verifier_params: PlonkVK<KZGCommitmentSchemeBLS>

The ed25519 TurboPlonk verifying key.

Implementations

impl VerifierParams

pub fn cs_params(
    &self,
    witness: Option<&AXfrAddressFoldingInstance>
) -> (TurboCS<BLSScalar>, &PlonkVK<KZGCommitmentSchemeBLS>)

Choose secp256k1 or ed25519 cs and prover_params

pub fn create(
    n_payers: usize,
    n_payees: usize,
    tree_depth: Option<usize>
) -> Result<VerifierParams>

Create the verifier parameters for a given number of inputs and a given number of outputs.

pub fn load(n_payers: usize, n_payees: usize) -> Result<VerifierParams>

Load the verifier parameters for a given number of inputs and a given number of outputs.

pub fn load_prepare(n_payers: usize, n_payees: usize) -> Result<VerifierParams>

Load the verifier parameters from prepare.

pub fn abar_to_bar_params() -> Result<VerifierParams>

Obtain the parameters for anonymous to confidential.

pub fn abar_to_bar_params_prepare() -> Result<VerifierParams>

Obtain the parameters for anonymous to confidential from prepare.

pub fn bar_to_abar_params() -> Result<VerifierParams>

Obtain the parameters for confidential to anonymous.

pub fn bar_to_abar_params_prepare() -> Result<VerifierParams>

Obtain the parameters for confidential to anonymous from prepare.

pub fn ar_to_abar_params() -> Result<VerifierParams>

Obtain the parameters for transparent to anonymous.

pub fn ar_to_abar_params_prepare() -> Result<VerifierParams>

Obtain the parameters for transparent to anonymous from prepare.

pub fn abar_to_ar_params() -> Result<VerifierParams>

Obtain the parameters for anonymous to transparent.

pub fn abar_to_ar_params_prepare() -> Result<VerifierParams>

Obtain the parameters for anonymous to transparent from prepare.

pub fn shrink(self) -> Result<VerifierParams>

Shrink the verifier parameters.

pub fn split(
    self
) -> Result<(VerifierParamsSplitCommon, VerifierParamsSplitSpecific)>

Split the verifier parameters to the common part and the sspecific part.

Trait Implementations

impl<'de> Deserialize<'de> for VerifierParams

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
    __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<ProverParams> for VerifierParams

fn from(params: ProverParams) -> Self

Converts to this type from the input type.

impl Serialize for VerifierParams

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where
    __S: Serializer,

Serialize this value into the given Serde serializer.