Expose generate_{tx,merge,block,zkapp}_proof as public methods

Author: sebastiencs

ledger/src/proofs/block.rs

@@ -1743,7 +1743,7 @@ pub struct BlockParams<'a> {
 
 const BLOCK_N_PREVIOUS_PROOFS: usize = 2;
 
-pub fn generate_block_proof(params: BlockParams, w: &mut Witness<Fp>) -> WrapProof {
+pub(super) fn generate_block_proof(params: BlockParams, w: &mut Witness<Fp>) -> WrapProof {
     w.ocaml_aux = read_witnesses();
 
     let BlockParams {

ledger/src/proofs/merge.rs

@@ -167,7 +167,7 @@ pub struct MergeParams<'a> {
 
 const MERGE_N_PREVIOUS_PROOFS: usize = 2;
 
-pub fn generate_merge_proof(params: MergeParams, w: &mut Witness<Fp>) -> WrapProof {
+pub(super) fn generate_merge_proof(params: MergeParams, w: &mut Witness<Fp>) -> WrapProof {
     let MergeParams {
         statement,
         proofs,

ledger/src/proofs/mod.rs

@@ -24,3 +24,20 @@ pub mod zkapp;
 
 pub const BACKEND_TICK_ROUNDS_N: usize = 16;
 pub const BACKEND_TOCK_ROUNDS_N: usize = 15;
+
+pub fn generate_tx_proof(params: transaction::TransactionParams) -> wrap::WrapProof {
+    use {mina_hasher::Fp, witness::Witness};
+    let mut w: Witness<Fp> = Witness::new::<constants::StepTransactionProof>();
+    transaction::generate_tx_proof(params, &mut w)
+}
+pub fn generate_merge_proof(params: merge::MergeParams) -> wrap::WrapProof {
+    use {mina_hasher::Fp, witness::Witness};
+    let mut w: Witness<Fp> = Witness::new::<constants::StepMergeProof>();
+    merge::generate_merge_proof(params, &mut w)
+}
+pub fn generate_block_proof(params: block::BlockParams) -> wrap::WrapProof {
+    use {mina_hasher::Fp, witness::Witness};
+    let mut w: Witness<Fp> = Witness::new::<constants::StepBlockProof>();
+    block::generate_block_proof(params, &mut w)
+}
+pub use zkapp::generate_zkapp_proof;

ledger/src/proofs/transaction.rs

@@ -3928,7 +3928,7 @@ pub struct TransactionParams<'a> {
     pub ocaml_wrap_witness: Option<Vec<Fq>>,
 }
 
-fn generate_tx_proof(params: TransactionParams, w: &mut Witness<Fp>) -> WrapProof {
+pub(super) fn generate_tx_proof(params: TransactionParams, w: &mut Witness<Fp>) -> WrapProof {
     let TransactionParams {
         statement,
         tx_witness,