As part of the integration of Groth16 zkp scheme into the project, it should be possible to generate proofs in DeBots.