paritytech / paritytech/ring-proof
Make ring-VRF Ethereum-verifiable
Open
@swasilyev is already working on this.
Since Apr 14, 2025.
- Dominant language
- Rust
- Stars
- 21
- Forks
- 15
- PR merge metrics
- No merged PRs in 30d
Description
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. https://github.com/w3f/ring-proof/pull/58
- Test the new shiny BLS precompiles with Rust. That covers the (de-)serialization. https://github.com/w3f/ring-proof/pull/59
- 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.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.