midnight-proofs 0.7.1

Fast PLONK-based zero-knowledge proving system 
1
2
3
4
5
6
7
8
9
10
11
12
13

use std::marker::PhantomData;

use ff::PrimeField;

use crate::poly::commitment::PolynomialCommitmentScheme;

pub(crate) mod prover;
pub(crate) mod verifier;

/// A vanishing argument.
pub(crate) struct Argument<F: PrimeField, CS: PolynomialCommitmentScheme<F>> {
    _marker: PhantomData<(F, CS)>,
}