Support SNARK proof over BLS12381

[eigmax]

New features:

• generate groth16 and plonk proof over bls12-381

• Groth16: https://github.com/ProjectZKM/Ziren/tree/feat/bls12381-verifier.
  Example: cd Ziren/examples/fibonacci/host; ZKM_DEV=1 cargo run -r --bin groth16_bn254 -- --nocapture

• verify Groth16 bls12-381 proof by ark-works verifier

• Generate the vk and pk: TrustSetup
• Modify the decompression of the G1 and G2 points, basically each element size is changed from 32-bit to 48-bit.
  Test: ZKM_DEV=true RUST_LOG=info cargo test -p zkm-verifier -r test_e2e_verify_groth16_bls12381 --features "ark bls12381" -- --ignored --nocapture