pub struct IndependentSha256Compressions { /* private fields */ }Expand description
Independent SHA-256 compression evaluations.
Each circuit component runs compress(IV, m_i) for a fresh 64-byte message block and
asserts the resulting digest against a public inout copy.
Trait Implementations§
Source§impl ExampleCircuit for IndependentSha256Compressions
impl ExampleCircuit for IndependentSha256Compressions
Source§type Params = PrimitiveParams
type Params = PrimitiveParams
Circuit parameters that affect the structure of the circuit.
These are typically compile-time constants or bounds.
Source§type Instance = Instance
type Instance = Instance
Instance data used to populate the witness.
This represents the actual input values for a specific proof.
Source§fn build(params: PrimitiveParams, builder: &mut CircuitBuilder) -> Result<Self>
fn build(params: PrimitiveParams, builder: &mut CircuitBuilder) -> Result<Self>
Build the circuit with the given parameters. Read more
Source§fn populate_witness(
&self,
instance: Instance,
w: &mut WitnessFiller<'_>,
) -> Result<()>
fn populate_witness( &self, instance: Instance, w: &mut WitnessFiller<'_>, ) -> Result<()>
Populate witness values for a specific instance. Read more
Auto Trait Implementations§
impl Freeze for IndependentSha256Compressions
impl RefUnwindSafe for IndependentSha256Compressions
impl Send for IndependentSha256Compressions
impl Sync for IndependentSha256Compressions
impl Unpin for IndependentSha256Compressions
impl UnsafeUnpin for IndependentSha256Compressions
impl UnwindSafe for IndependentSha256Compressions
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