zkvm: guaranteed optimization for `range`

stellar / slingshot

A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety

Apache License 2.0

415 stars 61 forks source link

Closed cyberbono3 closed 5 years ago

cyberbono3 commented 5 years ago

Resolves #310

Description: Modified add_range_proof in zkvm/src/vm.rs Added in_range() in zkvm/src/scalar_witness.rs

oleganza commented 5 years ago

Please read the error messages. The Instruction::Range needs to be updated too - there's no longer an argument to it.

oleganza commented 5 years ago

I pushed a couple of fixes on the opt-range branch, so you can simply merge it into your branch in this PR. Patch: https://github.com/stellar/slingshot/commit/ee8430dcaa9d3ed79bc59efa6b634106e744cbf2