> 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. - [x] Setup a Solidity development environment. Should be convenient to write tests in Rust. https://github.com/w3f/ring-proof/pull/58 - [x] Test the [new shiny BLS precompiles](https://eips.ethereum.org/EIPS/eip-2537) with Rust. That covers the (de-)serialization. https://github.com/w3f/ring-proof/pull/59 - [x] Implement KZG verification for the following cases: - some polynomials in one point and another polynomial in the other point (plonk with linearization), https://github.com/w3f/ring-proof/pull/60 - ~~some polynomials in one point and a subset of the polynomials in the other point (plonk without linearization). https://github.com/w3f/ring-proof/pull/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.
some polynomials in one point and a subset of the polynomials in the other point (plonk without linearization).Eip 2537 #59