pub struct MultiStarkKeygenBuilder<SC: StarkProtocolConfig> {
pub config: SC,
/* private fields */
}Expand description
Stateful builder to create multi-stark proving and verifying keys for system of multiple RAPs with multiple multi-matrix commitments
Fields§
§config: SCImplementations§
Source§impl<SC: StarkProtocolConfig> MultiStarkKeygenBuilder<SC>
impl<SC: StarkProtocolConfig> MultiStarkKeygenBuilder<SC>
pub fn new(config: SC) -> Self
pub fn params(&self) -> &SystemParams
Sourcepub fn add_air(&mut self, air: AirRef<SC>) -> usize
pub fn add_air(&mut self, air: AirRef<SC>) -> usize
Default way to add a single Interactive AIR.
Returns air_id
pub fn add_required_air(&mut self, air: AirRef<SC>) -> usize
Sourcepub fn generate_pk(self) -> Result<MultiStarkProvingKey<SC>, KeygenError>
pub fn generate_pk(self) -> Result<MultiStarkProvingKey<SC>, KeygenError>
Consume the builder and generate proving key. The verifying key can be obtained from the proving key.
Auto Trait Implementations§
impl<SC> !RefUnwindSafe for MultiStarkKeygenBuilder<SC>
impl<SC> !UnwindSafe for MultiStarkKeygenBuilder<SC>
impl<SC> Freeze for MultiStarkKeygenBuilder<SC>where
SC: Freeze,
impl<SC> Send for MultiStarkKeygenBuilder<SC>
impl<SC> Sync for MultiStarkKeygenBuilder<SC>
impl<SC> Unpin for MultiStarkKeygenBuilder<SC>
impl<SC> UnsafeUnpin for MultiStarkKeygenBuilder<SC>where
SC: UnsafeUnpin,
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
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