Support SNARK proof over BLS12381

[eigmax]

New features:

• generate groth16 and plonk proof over bls12-381

• Groth16: main...feat/groth16-bls12381.
  Example: cd Ziren/examples/fibonacci/host; ZKM_DEV=1 cargo run -r --bin groth16_bn254 -- --nocapture
• Plonk

• 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: cd Ziren/crates/verifier; cargo test -r test_verify_groth16 --features ark