// use std::{borrow::Borrow, path::PathBuf};

// use clap::Parser;
// use p3_baby_bear::BabyBear;
// use p3_field::PrimeField;
// use sp1_core_executor::SP1Context;
// use sp1_core_machine::io::SP1Stdin;
// use sp1_prover::{
//     utils::{babybear_bytes_to_bn254, babybears_to_bn254, words_to_bytes},
//     SP1Prover,
// };
// use sp1_recursion_circuit::{stark::build_wrap_circuit, witness::Witnessable};
// use sp1_recursion_compiler::ir::Witness;
// use sp1_recursion_core::air::RecursionPublicValues;
// use sp1_recursion_gnark_ffi::{Groth16Bn254Prover, PlonkBn254Prover};
// use sp1_stark::SP1ProverOpts;
// use subtle_encoding::hex;

// #[derive(Parser, Debug)]
// #[clap(author, version, about, long_about = None)]
// struct Args {
//     #[clap(short, long)]
//     build_dir: String,
//     #[arg(short, long)]
//     system: String,
// }

// pub fn main() {
//     sp1_core_machine::utils::setup_logger();
//     std::env::set_var("RECONSTRUCT_COMMITMENTS", "false");

//     let args = Args::parse();
//     let build_dir: PathBuf = args.build_dir.into();

//     let elf = include_bytes!("../elf/riscv32im-succinct-zkvm-elf");

//     tracing::info!("initializing prover");
//     let prover: SP1Prover = SP1Prover::new();
//     let opts = SP1ProverOpts::default();
//     let context = SP1Context::default();

//     tracing::info!("setup elf");
//     let (pk, vk) = prover.setup(elf);

//     tracing::info!("prove core");
//     let stdin = SP1Stdin::new();
//     let core_proof = prover.prove_core(&pk, &stdin, opts, context).unwrap();

//     tracing::info!("Compress");
//     let reduced_proof = prover.compress(&vk, core_proof, vec![], opts).unwrap();

//     tracing::info!("Shrink");
//     let compressed_proof = prover.shrink(reduced_proof, opts).unwrap();

//     tracing::info!("wrap");
//     let wrapped_proof = prover.wrap_bn254(compressed_proof, opts).unwrap();

//     tracing::info!("building verifier constraints");
//     let constraints = tracing::info_span!("wrap circuit")
//         .in_scope(|| build_wrap_circuit(prover.wrap_vk(), wrapped_proof.proof.clone()));

//     tracing::info!("building template witness");
//     let pv: &RecursionPublicValues<_> = wrapped_proof.proof.public_values.as_slice().borrow();
//     let vkey_hash = babybears_to_bn254(&pv.sp1_vk_digest);
//     let committed_values_digest_bytes: [BabyBear; 32] =
//         words_to_bytes(&pv.committed_value_digest).try_into().unwrap();
//     let committed_values_digest = babybear_bytes_to_bn254(&committed_values_digest_bytes);

//     let mut witness = Witness::default();
//     wrapped_proof.proof.write(&mut witness);
//     witness.write_committed_values_digest(committed_values_digest);
//     witness.write_vkey_hash(vkey_hash);

//     tracing::info!("sanity check plonk test");
//     PlonkBn254Prover::test(constraints.clone(), witness.clone());

//     tracing::info!("sanity check plonk build");
//     PlonkBn254Prover::build(constraints.clone(), witness.clone(), build_dir.clone());

//     tracing::info!("sanity check plonk prove");
//     let plonk_bn254_prover = PlonkBn254Prover::new();

//     tracing::info!("plonk prove");
//     let proof = plonk_bn254_prover.prove(witness.clone(), build_dir.clone());

//     tracing::info!("verify plonk proof");
//     plonk_bn254_prover.verify(
//         &proof,
//         &vkey_hash.as_canonical_biguint(),
//         &committed_values_digest.as_canonical_biguint(),
//         &build_dir,
//     );

//     println!("plonk proof: {:?}", String::from_utf8(hex::encode(proof.encoded_proof)).unwrap());

//     tracing::info!("sanity check groth16 test");
//     Groth16Bn254Prover::test(constraints.clone(), witness.clone());

//     tracing::info!("sanity check groth16 build");
//     Groth16Bn254Prover::build(constraints.clone(), witness.clone(), build_dir.clone());

//     tracing::info!("sanity check groth16 prove");
//     let groth16_bn254_prover = Groth16Bn254Prover::new();

//     tracing::info!("groth16 prove");
//     let proof = groth16_bn254_prover.prove(witness.clone(), build_dir.clone());

//     tracing::info!("verify groth16 proof");
//     groth16_bn254_prover.verify(
//         &proof,
//         &vkey_hash.as_canonical_biguint(),
//         &committed_values_digest.as_canonical_biguint(),
//         &build_dir,
//     );

//     println!("groth16 proof: {:?}",
// String::from_utf8(hex::encode(proof.encoded_proof)).unwrap()); }

pub fn main() {}