[−][src]Struct storage_proofs::batchpost::BatchPoST
Trait Implementations
impl<'a, H: 'a + Hasher> ProofScheme<'a> for BatchPoST<H>[src]
type PublicParams = PublicParams
type SetupParams = SetupParams
type PublicInputs = PublicInputs<'a, H::Domain>
type PrivateInputs = PrivateInputs<'a, H>
type Proof = Proof<H>
type Requirements = NoRequirements
fn setup(_sp: &Self::SetupParams) -> Result<Self::PublicParams>[src]
fn prove<'b>(
pub_params: &'b Self::PublicParams,
pub_inputs: &'b Self::PublicInputs,
priv_inputs: &'b Self::PrivateInputs
) -> Result<Self::Proof>[src]
pub_params: &'b Self::PublicParams,
pub_inputs: &'b Self::PublicInputs,
priv_inputs: &'b Self::PrivateInputs
) -> Result<Self::Proof>
fn verify(
pub_params: &Self::PublicParams,
pub_inputs: &Self::PublicInputs,
proof: &Self::Proof
) -> Result<bool>[src]
pub_params: &Self::PublicParams,
pub_inputs: &Self::PublicInputs,
proof: &Self::Proof
) -> Result<bool>
fn prove_all_partitions<'b>(
pub_params: &'b Self::PublicParams,
pub_in: &'b Self::PublicInputs,
priv_in: &'b Self::PrivateInputs,
partition_count: usize
) -> Result<Vec<Self::Proof>>[src]
pub_params: &'b Self::PublicParams,
pub_in: &'b Self::PublicInputs,
priv_in: &'b Self::PrivateInputs,
partition_count: usize
) -> Result<Vec<Self::Proof>>
fn verify_all_partitions(
pub_params: &Self::PublicParams,
pub_in: &Self::PublicInputs,
proofs: &[Self::Proof]
) -> Result<bool>[src]
pub_params: &Self::PublicParams,
pub_in: &Self::PublicInputs,
proofs: &[Self::Proof]
) -> Result<bool>
fn with_partition(
pub_in: Self::PublicInputs,
_k: Option<usize>
) -> Self::PublicInputs[src]
pub_in: Self::PublicInputs,
_k: Option<usize>
) -> Self::PublicInputs
fn satisfies_requirements(
_pub_params: &Self::PublicParams,
_requirements: &Self::Requirements,
_partitions: usize
) -> bool[src]
_pub_params: &Self::PublicParams,
_requirements: &Self::Requirements,
_partitions: usize
) -> bool
impl<H: Default + Hasher> Default for BatchPoST<H>[src]
impl<H: Debug + Hasher> Debug for BatchPoST<H>[src]
Auto Trait Implementations
impl<H> Unpin for BatchPoST<H> where
H: Unpin,
H: Unpin,
impl<H> Sync for BatchPoST<H>
impl<H> Send for BatchPoST<H>
impl<H> RefUnwindSafe for BatchPoST<H> where
H: RefUnwindSafe,
H: RefUnwindSafe,
impl<H> UnwindSafe for BatchPoST<H> where
H: UnwindSafe,
H: UnwindSafe,
Blanket Implementations
impl<'a, L> ProofScheme<'a> for L where
L: Layers, [src]
L: Layers,
type PublicParams = PublicParams<<L as Layers>::Hasher, <L as Layers>::Graph>
type SetupParams = SetupParams
type PublicInputs = PublicInputs<<<L as Layers>::Hasher as Hasher>::Domain>
type PrivateInputs = PrivateInputs<<L as Layers>::Hasher>
type Proof = Proof<<L as Layers>::Hasher>
type Requirements = ChallengeRequirements
fn setup(
&<L as ProofScheme<'a>>::SetupParams
) -> Result<<L as ProofScheme<'a>>::PublicParams, Error>[src]
&<L as ProofScheme<'a>>::SetupParams
) -> Result<<L as ProofScheme<'a>>::PublicParams, Error>
fn prove(
&'b <L as ProofScheme<'a>>::PublicParams,
&'b <L as ProofScheme<'a>>::PublicInputs,
&'b <L as ProofScheme<'a>>::PrivateInputs
) -> Result<<L as ProofScheme<'a>>::Proof, Error>[src]
&'b <L as ProofScheme<'a>>::PublicParams,
&'b <L as ProofScheme<'a>>::PublicInputs,
&'b <L as ProofScheme<'a>>::PrivateInputs
) -> Result<<L as ProofScheme<'a>>::Proof, Error>
fn prove_all_partitions(
&'b <L as ProofScheme<'a>>::PublicParams,
&'b <L as ProofScheme<'a>>::PublicInputs,
&'b <L as ProofScheme<'a>>::PrivateInputs,
usize
) -> Result<Vec<<L as ProofScheme<'a>>::Proof>, Error>[src]
&'b <L as ProofScheme<'a>>::PublicParams,
&'b <L as ProofScheme<'a>>::PublicInputs,
&'b <L as ProofScheme<'a>>::PrivateInputs,
usize
) -> Result<Vec<<L as ProofScheme<'a>>::Proof>, Error>
fn verify_all_partitions(
&<L as ProofScheme<'a>>::PublicParams,
&<L as ProofScheme<'a>>::PublicInputs,
&[<L as ProofScheme<'a>>::Proof]
) -> Result<bool, Error>[src]
&<L as ProofScheme<'a>>::PublicParams,
&<L as ProofScheme<'a>>::PublicInputs,
&[<L as ProofScheme<'a>>::Proof]
) -> Result<bool, Error>
fn with_partition(
<L as ProofScheme<'a>>::PublicInputs,
Option<usize>
) -> <L as ProofScheme<'a>>::PublicInputs[src]
<L as ProofScheme<'a>>::PublicInputs,
Option<usize>
) -> <L as ProofScheme<'a>>::PublicInputs
fn satisfies_requirements(
&PublicParams<<L as Layers>::Hasher, <L as Layers>::Graph>,
&ChallengeRequirements,
usize
) -> bool[src]
&PublicParams<<L as Layers>::Hasher, <L as Layers>::Graph>,
&ChallengeRequirements,
usize
) -> bool
fn verify(
_pub_params: &Self::PublicParams,
_pub_inputs: &Self::PublicInputs,
_proof: &Self::Proof
) -> Result<bool>[src]
_pub_params: &Self::PublicParams,
_pub_inputs: &Self::PublicInputs,
_proof: &Self::Proof
) -> Result<bool>
verify returns true if the supplied proof is valid for the given public parameter and public inputs. Note that verify does not have access to private inputs. Remember that proof is untrusted, and any data it provides MUST be validated as corresponding to the supplied public parameters and inputs. Read more
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> SendSyncUnwindSafe for T where
T: Send + Sync + UnwindSafe + ?Sized, [src]
T: Send + Sync + UnwindSafe + ?Sized,
impl<T> Same<T> for T
type Output = T
Should always be Self
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,