pub trait AbsorbableVar<F: PrimeField> {
// Required method
fn absorb_into(
&self,
dest: &mut Vec<FpVar<F>>,
) -> Result<(), SynthesisError>;
}Expand description
AbsorbableVar is a trait for in-circuit variables that can be absorbed
into a sponge or transcript defined over constraint field F.
Matches Absorbable.
Required Methods§
Sourcefn absorb_into(&self, dest: &mut Vec<FpVar<F>>) -> Result<(), SynthesisError>
fn absorb_into(&self, dest: &mut Vec<FpVar<F>>) -> Result<(), SynthesisError>
AbsorbableVar::absorb_into absorbs self into the given
destination vector of field element variables.
The implementation should append the field element variables
representing self to dest.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".