Revise the range proof for proving value in arbitrary range
abizjak opened this issue · 0 comments
abizjak commented
Task description
The current range proof in id_prover does not put the ranges explicitly in the context/transcript.
It should do this and there should be a single transcipt weaved through both range proofs.
We should introduce this change for Web3ID and also for ID2.0 in a backwards compatible version if possible.