pub struct IdentityCommitment {}Trait Implementations§
Source§impl Clone for IdentityCommitment
impl Clone for IdentityCommitment
Source§fn clone(&self) -> IdentityCommitment
fn clone(&self) -> IdentityCommitment
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<F> PCS<F> for IdentityCommitmentwhere
F: PrimeField,
impl<F> PCS<F> for IdentityCommitmentwhere
F: PrimeField,
type C = WrappedPolynomial<F>
type Proof = ()
type CK = ()
type VK = ()
type Params = ()
fn setup<R>(
_max_degree: usize,
_rng: &mut R,
) -> <IdentityCommitment as PCS<F>>::Paramswhere
R: Rng,
fn commit( _ck: &(), p: &DensePolynomial<F>, ) -> Result<<IdentityCommitment as PCS<F>>::C, ()>
fn open( _ck: &(), _p: &DensePolynomial<F>, _x: F, ) -> Result<<IdentityCommitment as PCS<F>>::Proof, ()>
fn verify( _vk: &(), c: <IdentityCommitment as PCS<F>>::C, x: F, z: F, _proof: <IdentityCommitment as PCS<F>>::Proof, ) -> Result<(), ()>
fn commit_evals(ck: &Self::CK, evals: &Evaluations<F>) -> Result<Self::C, ()>
fn batch_verify<R>(
vk: &Self::VK,
c: Vec<Self::C>,
x: Vec<F>,
y: Vec<F>,
proof: Vec<Self::Proof>,
_rng: &mut R,
) -> Result<(), ()>where
R: Rng,
Auto Trait Implementations§
impl Freeze for IdentityCommitment
impl RefUnwindSafe for IdentityCommitment
impl Send for IdentityCommitment
impl Sync for IdentityCommitment
impl Unpin for IdentityCommitment
impl UnsafeUnpin for IdentityCommitment
impl UnwindSafe for IdentityCommitment
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more