Image for post
Image for post

The Magic Of Bulletproofs

Image for post
Image for post

Eve does Pedersen

Adding a blinding value

Bulletproofs and rangeproofs

Value is : 128
Value is between 1 and 2^64-1: true
=== Public parameters:
Curve type: secp256k1
G: {73298500421277376770959725776538948598140332406732930337526636630574379309589 65361040670752309884639562177289034463290743352662500631474087478899695501860}
H: {84213878005907352693940005284807919553015103954531775028806101001657921307492 4853819773361621041359354585547033012654231597651644911911422070634871780388}
Curve b value: 7
Curve prime value: 115792089237316195423570985008687907853269984665640564039457584007908834671663
Gi[0]: {72242507303365076728861865557797731214902786606643414733580150814770869272593 27033601650718423694844620558628339447280369833685083662535239836251867410934}
Hi[0]: {5585562941503279596474839515994484383064083005553472397059910728304658620745 77310285201950507048734835505325678526225389174038208505235173650760230890492}
Vector length: 64
=== Proof
Challenge:
Cx: 58272614926395319959004507362753026724905829340363601981324802106298897908430
Cy: 49909396289108762784112513859562527170976130304793501415000016424255780151487
Cz: 107736957691413878072189052694497520008408003124327103973201024901484630638505
A: {45505696241792036671595145036491704484400729156330665018681572972515204440741 36835635329317526758225818054331438008312352037415813343602755142122425175641}
S: {7067584994623916005039987457298533639349317199159085210146080620052775759314 111586284366499266040095829291423462684751503917161755447718750035638709712846}
T1: {15860938041633320250734412146664591843196448598244389701671724923483013890235 85909311114202721738923368029826258629816798484385017756160430142359220386042}
T2: {11218978778992429881252403489569329985291630456368831946827522773162522791836 92986601520847539934299082411632916409669209681848891641612735379418812240346}
Tau: 31288499956408627728154390991400142510054834246241453786834058155151223711192
Th: 37874398250466195264831619433062977968002660212655492774387833033948151765944
Mu: 3671392883877886491895450062951187493857366687944882228826247466825963918461
IPP (Inner product proof):
a: 54937394546865235134629391637726158476031128595918527975889804497928878514532
b: 26017385586345100748521060073491138767409142292313773679708851452567041679986
L[0]: {76920586076624124411843424303015396631739105408092698367196982682970737207106 12390395095295003979006488468365009308528883680863800140977760775095980776438}
R[0]: {20455960824304832117456139493127263185860501108324533253528812536370213209363 70627273714857503369574274511587205010835658810501950837400963523068539003036}
L[1]: {23188263290132515159563188970321381916019468528653261910231289835152361611739 54211549768224747067733694108008660363938337301586439305527154701267039752124}
R[1]: {31581310422916786848753211208900862102617701544761557623777708030146610872290 87932225455053279071774798578000095066550779578219800985004699759191305369219}

Conclusions

References

Professor of Cryptography. Serial innovator. Believer in fairness, justice & freedom. EU Citizen. Auld Reekie native. Old World Breaker. New World Creator.

Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store