octez-plonk.aggregation
Main_protocol.Internal_for_tests
octez-plonk
octez-plonk.communication
octez-plonk.distribution
octez-plonk.plonk-test
val mutate_vi : verifier_inputs -> verifier_inputs option