-
Notifications
You must be signed in to change notification settings - Fork 1
/
jubjub-3.program
14 lines (14 loc) · 1.07 KB
/
jubjub-3.program
1
2
3
4
5
6
7
8
9
10
11
12
13
14
b0 = bool(#0)
b1 = bool(#0)
b2 = bool(#1)
inner = b0 * b1
x0 = 33860316972155444993786373798026421371939187633298958089058826269505131570572 + 4226393914626074620948936004615547265604490912620318630245965505957185135143 * b0 + 37441526755211924331825564564236519453867190604113937282895033561968998282370 * b1 + 3446994320820307097032031501091944760790429817635120053161522474524483867619 * inner
y0 = (2*b2 - 1) * (60671692165106483604271687017658706228693866043851659747576035057462336816439 + 106623529194841966177978043613161462997819727543347939845701802773096694465177 * b0 + 47938224980456232503229816213054428273092270511117363623465803065343455516367 * b1 + 26554478576463918077403240924474355766273225414729945824912137490949982314478 * inner)
x = 11341996824042417984007148256382636049742414568106003187294601669429914022637
y = 110001931273531213763379816167313310129865382502376833128228012437440919279830
xd = x0 - x
yd = y0 - y
lambda = yd / xd
x = lambda*lambda - 2*x0 + xd
y = lambda*(x0 - x) - y0
x == 17413194322430617684841870351531951261563605878275147778899722039605291926236