pub fn apply<Z>(
params: ApplyZkappParams<'_, Z>,
w: &mut Z::WitnessGenerator,
) -> Result<(), String>where
Z: ZkappApplication,
pub fn apply<Z>(
params: ApplyZkappParams<'_, Z>,
w: &mut Z::WitnessGenerator,
) -> Result<(), String>where
Z: ZkappApplication,