Skip to content

Conversation

@kobigurk
Copy link
Contributor

@kobigurk kobigurk commented Mar 13, 2020

  • Don't compute g_b1 if r is zero
  • Set d1,d2,d3 to always be zero - they're not needed for Groth16

Adds a helper function create_proof_no_zk.

Closes #120.

@gakonst
Copy link
Contributor

gakonst commented Mar 13, 2020

Checked the PR, LGTM - @Pratyush. Does the proof being deterministic for no zk provide any improvements in other areas?

@Pratyush Pratyush merged commit 8cb038c into arkworks-rs:master Mar 14, 2020
@Pratyush
Copy link
Member

Thanks @kobigurk!

95DDB added a commit to HorizenOfficial/ginger-lib that referenced this pull request Sep 18, 2020
@kobigurk kobigurk deleted the kobigurk/groth16_no_zk_efficiency branch October 12, 2020 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Implement an efficient zero-knowledge-less variant of Groth16

3 participants