We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Zeromorph is described in this paper: https://eprint.iacr.org/2023/917. But it's very focused on hiding/zk, which is not an initial priority for Jolt.
HyperKZG is described and implemented here: https://github.com/microsoft/Nova/blob/main/src/provider/hyperkzg.rs
Switching to these commitment schemes will reduce verifier costs to logarithmic and slightly speed up the prover too.
The text was updated successfully, but these errors were encountered:
ill give a try at porting hyperkzg based on #339 if nobody else is working on it
Sorry, something went wrong.
That would be amazing!
No branches or pull requests
Zeromorph is described in this paper: https://eprint.iacr.org/2023/917. But it's very focused on hiding/zk, which is not an initial priority for Jolt.
HyperKZG is described and implemented here: https://github.com/microsoft/Nova/blob/main/src/provider/hyperkzg.rs
Switching to these commitment schemes will reduce verifier costs to logarithmic and slightly speed up the prover too.
The text was updated successfully, but these errors were encountered: