circom-prover with different adapters

[vivianjeng]

Problem

Now we remove the dependencies of ark-circom and we have our circom-prover
#299
And we want to integrate the current adapters to provide better performance for users

Details

Witness calculation adapters

• rust-witness (what we have now)
• witnesscalc-adapter
• circom-witnesscalc

Proof generation adapters

• ark-works (what we have now)
• rust-rapidsnark

Acceptance criteria

• users can choose to prove with one of the witness calculation adapters
• users can choose to prove with one of the proof generation adapters
• write some integration tests for each witness calculation, proof generation function

Next steps (optional)

• Update documentation
• publish the circom-prover crate to crates.io, so other users can replace ark-circom with circom-prover