tasm_lib::verifier::challenges

Module new_generic_dyn_claim

Source

Structsยง

  • Calculate a Challenges structure from a claim that is only known at runtime