Add efc circuits and gnark lib

[hczphn]

1. Add gnark lib (circuit-std-rs/src/gnark)

• support bls12381 field, element
• support E2, E6, E12 (field_bls12381 directory)
• support G1 (just add), G2 (just neg), pairingcheck (sw_bls12381 directory)

2. Add sha256_m31 (consider m31 field is less than 2^31)

3. Add poseidon hash

4. Add more logup apis

• Add query api, now users can query in the circuit (need to provide the key and value)
• Support arbitrary "key". Previous version assumes keys are in the range of [0, N). Check query_count_by_key_hint.
• Support rangeproof. Rangeproof is simpler than normal query, so I add some optimizations, making it faster. If the number to be tested is less than the predefined range, it will go through a fast path (rangeproof_onechunk).

5. Add EthFullConsensus Circuits

• Add bls_verifier circuit, basically, calling pairingcheck api.
• Add shuffle circuit.
• Add hashtable circuit.
• Add permutation_hash circuit.
• Add parallel solver to generate witnesses of above circuits.
• Add end2end api, check readme to use.