Axiom V2 Halo2 implementation

[Divide-By-0]

This is a halo2 proof of PLUME signatures. This will be critical for fast client-side proving, and we will release benchmarks as well as simple functions in our NPM package soon. Initiative led by @shreyas-londhe.

Resources: Understanding the components required for secp256k1 hash2curve. Following this doc - https://www.ietf.org/archive/id/draft-irtf-cfrg-hash-to-curve-13.html#name-hash_to_field-implementatio

Following this for the hash-to-curve impl: https://github.com/geometryresearch/secp256k1_hash_to_curve

Axiom V2 used for dynamic passthrough verifiers.

[Divide-By-0]

Note that this code includes hash to curve here: https://github.com/axiom-crypto/halo2-lib/pull/261/files