bazel build --@kroma_network_tachyon//:has_openmp --config maxopt --config cuda //:prover_main

bazel build --@kroma_network_tachyon//:has_openmp --config maxopt //:prover_main

# These commands should be run in the base folder
cd ../..
# Build without CUDA
docker build -f docker/Dockerfile.circom.jammy -t tachyon:cpu  --target builder .
docker run -it tachyon:cpu
# Build with CUDA
docker build -f docker/Dockerfile.circom.jammy -t tachyon:cuda  --target builder-cuda .
docker run -it --runtime nvidia --gpus all tachyon:cuda

bazel-bin/prover_main -h
Usage:

bazel-bin/prover_main zkey wtns proof public [OPTIONS]

Positional arguments:

zkey                The path to zkey file
wtns                The path to wtns file
proof               The path to proof json
public              The path to public json

Optional arguments:

--trace_path        The path to generate trace file
--curve             The curve type among ('bn254', 'bls12_381'), by default 'bn254'
--no_zk             Create proof without zk. By default zk is enabled. Use this flag in case you want to compare the proof with rapidsnark.
--no_use_mmap       Create proof without mmap(2). By default, mmap(2) is enabled, offering faster proof generation at the cost of increased memory usage due to the memory mapped file. Use this flag if you want to use less memory.
--verify            Verify the proof. By default verify is disabled. Use this flag to verify the proof with the public inputs.
-n, --num_runs      The number of times to run the proof generation
--disable_fast_twiddles_mode
                    Disables fast twiddle mode on Icicle NTT domain initialization.

bazel build --config opt //circomlib/build:compile_witness_generator

bazel-bin/circomlib/build/compile_witness_generator --help
Usage:
bazel-bin/circomlib/build/compile_witness_generator [OPTION]...

-h, --help  help
--cpp,      A path to circuit .cpp file
-f, --field A field to use. default: bn128, supported: bls12381 bn128 goldilocks grumpkin pallas secq256r1 vesta