added logic for range proof within specified range a<x<b

omershlo / simple-bulletproof-js

javascript code for one-round single bulletproof

19 stars 6 forks source link

added logic for range proof within specified range a<x<b #3

Closed pranavkirtani88 closed 5 years ago

pranavkirtani88 commented 5 years ago

derivation of the formula used

pedcom1= gx+g(r2r3) pedcomstart= ga +g(r0r1) pedcomdiff= g(x-a) +g((r2-r0)(r3-r1)) g(x-a) +g((r2-r0)(r3-r1)) gx-ga +g(r2r3-r2r1-r0r3+r0r1) gx -ga + g(r2r3)-g(r2r1)- g(r0r3) +g(r0*r1)

gx+g(r2r3)-ga+g(r0r1)-g(r2r1)-g(r0r3) gx+g(r2r3)-ga+g(r0r1)-(g(r2r1)+g(r0r3)) pedcom1-ga+g(r0r1)-(g(r2r1)+g(r0*r3))