Make ring-VRF Ethereum-verifiable

[swasilyev]

I think for the personhood stuff to be really useful here we're going to need to ensure it's accessible on at least the prevalent EVM chains.

• Setup a Solidity development environment. Should be convenient to write tests in Rust. Foundry #58
• Test the new shiny BLS precompiles with Rust. That covers the (de-)serialization. Eip 2537 #59
• Implement KZG verification for the following cases:
  • some polynomials in one point and another polynomial in the other point (plonk with linearization), Plonk w/o linearization + sol verifier #60
  • some polynomials in one point and a subset of the polynomials in the other point (plonk without linearization).
    Eip 2537 #59
• Implement map-to-curve for jubjub/bandersnatch. This is elligator2, i guess. Should it be RO-indifferentiable?
• Implement Fiat-Shamir transform.
• Evaluate special polynomials.