mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-27 12:13:41 +03:00
296 lines
15 KiB
Plaintext
296 lines
15 KiB
Plaintext
/*
|
|
namespace: Bench
|
|
expectation: Skip
|
|
*/
|
|
|
|
type g8SH = u8;
|
|
|
|
type V8fkp = u128;
|
|
|
|
const vxlan = 13658i16;
|
|
|
|
|
|
circuit sylcl {
|
|
bTxd7: bool,
|
|
tfTQr: bool,
|
|
l_Dfk: u32,
|
|
YDbf: address,
|
|
}
|
|
|
|
|
|
function xGEs (
|
|
const GEF7g: i32,
|
|
eLHo5: i64
|
|
) -> i64 {
|
|
let bx6u = vRAg().0;
|
|
let rasm: L9Snz = L9Snz {};
|
|
let os4Ds: u128 = GzzO {RAyvy: '\u{6c495}', SGgTI: 3364i16, egtP: 45362813883629178786173234355737419504u128, AWm8P: '?'}.egtP;
|
|
os4Ds -= os4Ds;
|
|
os4Ds /= 255906798014072409735665528987467201281u128;
|
|
os4Ds /= 99955633017584705512543248634901668143u128;
|
|
if -49 < 74i8 || 6832u16 < 10718 {
|
|
if 59 == 214u8 && eLHo5 > 7620307708530543535i64 {
|
|
let oiM6V: i16 = vxlan;
|
|
}
|
|
bx6u -= bx6u;
|
|
if 246u8 >= 109u8 && eLHo5 == 1907427762104562352i64 {
|
|
let mcFo = -22613i16;
|
|
mcFo *= 0i16;
|
|
let gVku = GEF7g;
|
|
let RzrP = false;
|
|
RzrP = RzrP;
|
|
const pMb5 = L9Snz {};
|
|
}
|
|
let FZVVE: char = L9Snz {}.lVSr(aleo1l44kg5uyj8psnfx76reyfwxltrxgn9jmum854grpjyal2rmjmg9qdsl3ch, -60, 95u8).2;
|
|
let GDk3: bool = true;
|
|
const ZHf8: bool = [[16281139673755659036u64; (2, 1)], [6465961370876558468u64; (2, 1)], [[8138243358139830344u64], [3000896053881090062u64; 1]]] == [[7249604088430675863u64; (2, 1)], [13296609702861980977u64; (2, 1)], [3670298495564722569u64; (2, 1)]] && 116u8 > 246u8;
|
|
os4Ds -= os4Ds;
|
|
os4Ds = os4Ds;
|
|
} else if 93 != 7u8 || GEF7g < GEF7g {
|
|
rasm = L9Snz {};
|
|
let m8V0a: u16 = 6407;
|
|
for YbMQ in 4091427659..4091427666 {
|
|
m8V0a *= 0;
|
|
bx6u = bx6u;
|
|
os4Ds += os4Ds;
|
|
rasm = rasm;
|
|
}
|
|
let nS4e: i8 = L9Snz {}.lVSr(aleo1ryu48sn5dx2gzlj0ua2dwyr46vedrrquhgxy8pnz6573rv8yqvpsmf6yzw, -77i8, true? 192u8 : 85).1;
|
|
let jVsd: u32 = 3917661453u32;
|
|
} else {
|
|
const sj7Zv: field = 6936563642754163774323863008557263080068986485051214421772383532120071479321376198608464936088274231279486051362571687204548709195936208048652073445197732field;
|
|
let VVDV = vxlan;
|
|
let km18x = sj7Zv;
|
|
if 15299435342099296908u64 >= 10738044447347729216u64 && rasm.lVSr(aleo1ckzy8audkf2p6ve2u0040gvrk6mx9n0v088a3yc5x6rxmlv0pgxser0gzf, -31i8, 118u8).0 > 1395837987u32 {
|
|
if GEF7g <= GEF7g && ('\u{4133d}', 4990i16, aleo103cz6xcutagglr2e0rd0a46fnxxe6snfy05xqlardpanh4xjzqzqdkqpdz, os4Ds) != ('\u{7d}', VVDV * -2 - -25042i16, aleo10aandr8pvdg247lkmhqx0aef5ne4qlta245aynk80s4apydu559qcejjfl, 14813985053938346415046704789243138087u128) {
|
|
bx6u += 14534558459111474236125164661730846152;
|
|
VVDV /= vxlan;
|
|
let AiteH: i32 = GEF7g;
|
|
const seLUa: u16 = 23669u16;
|
|
rasm = L9Snz {};
|
|
} else if 159041408574150617959504640080391229811i128 <= bx6u || [14520, -14785i16, 3573i16] != [27584i16; 3] || VVDV > (false? 13752 : VVDV) {
|
|
let xcvaS: field = 9495245829840311343768687500773412503474341293258678863329364855536358225067251860919673558180589446104317770373242242395342021886202312053663829628088260field;
|
|
const aYuS: u32 = 3607927114u32;
|
|
} else {
|
|
km18x -= BHZjx(true, false, -55i8);
|
|
bx6u += 34857824809713610052533673270581503998;
|
|
let F6K4N: u128 = 47882796570533061725516167600161938873u128;
|
|
L9Snz::PC0R(aleo10kumj5drme862697k98qnjn4dfxgry0keh55ad7hqgf5l9l23urquakjcx, 12113665486601200705u64 - (3034261385238854337 - 11626787452540944465 / 17758492766977014633u64 * 0u64 - 826119920202656664) + 10861478653900843501u64 / 11072739276507297001u64);
|
|
}
|
|
let vIMt: i8 = -44i8;
|
|
km18x += km18x;
|
|
let q3qEF = aleo1qq4psjpe72kuwc2fs4rrerd5rxd09p90p6x3h9rwnzyl889f95xq00uatz;
|
|
} else if 208u8 - 186 * 11 ** 0 + 111u8 == 177 || 7877i16 >= (false? vxlan : vxlan) {
|
|
let NYB27 = GEF7g;
|
|
L9Snz::PC0R(aleo1egfcvnawsy6hs0nc7pjl4s5ne4k7n60luu4ratkk208fal5dpvpqun3hym, 12155192664761333265);
|
|
let nfZC: u64 = 6057621151098931675u64;
|
|
const fwAeC: i128 = 96615783596569824584153535316491335220i128;
|
|
} else {
|
|
let c4S4V: [i32; 1] = [GEF7g];
|
|
let hFQ1: char = '~';
|
|
}
|
|
}
|
|
const W6AoN: L9Snz = L9Snz {};
|
|
let zTGI: i64 = -4719638564784287794i64;
|
|
const ZarBp: g8SH = 43u8;
|
|
zTGI /= -4717776493235566297;
|
|
const s2IF: u16 = 54046u16;
|
|
let jEEwx: u32 = 2740345586;
|
|
let GYYkA: field = 11582113721009926081533744146578992580659382705948021135670314230777109797210071657532235986079542543588709204398834785431450613982848535394935363785557969field;
|
|
return eLHo5;
|
|
}
|
|
|
|
circuit L9Snz {
|
|
|
|
function PC0R (
|
|
const jevo: address,
|
|
const PAVFU: u64
|
|
) {
|
|
const wiN0: i32 = -1258333968i32;
|
|
const lB0z_: i64 = 6195651560731392364i64;
|
|
const RMYXZ = lB0z_;
|
|
const uY6e: i8 = 90i8;
|
|
let m8v8: field = 1849045753805757079652732186700785301303603036928207700497640417309568558821969407937357366825028145150583808761466176190254377612596882180695831089782965;
|
|
let VggtJ: u128 = 329104773346716025207789897721050367019u128;
|
|
if -1190335173i32 - -1745345851i32 - wiN0 == 893384766 && (3950594431634582299294459077719375579440093722520345117175266254520038272680996320138725015909501750733428689005679387750685637768487056421097594765772537, 3108834599765871073, false) == (m8v8, PAVFU, true) {
|
|
m8v8 += m8v8;
|
|
let Ht_o5: i128 = -126434771302556954181557991774406279580i128;
|
|
for ePzN in 1513798056u32..1513798074u32 {
|
|
const v5KBA: i32 = -126706873i32;
|
|
let N9Me: bool = false;
|
|
}
|
|
if 19850u16 <= 62489 || jevo != aleo1prwdx2qgu22n582kpgrg2a0kluftlsvust0q5xc0a27td7ufuy8su0g8tc && 254u8 != 117u8 {
|
|
m8v8 += m8v8;
|
|
Ht_o5 /= 11553847366431664216173263832376498087;
|
|
let mRGK5: Self = Self {};
|
|
let Skij = (55323u16, 126908632682311371168460144412966650831u128);
|
|
m8v8 *= m8v8;
|
|
let Ob5d = 2249779739u32;
|
|
} else if 43071 <= 13140u16 || 42i8 <= uY6e && VggtJ != 154955034616989135434658403414435434895u128 {
|
|
Ht_o5 += -6518746069029094677594415956468576403;
|
|
if -5143 == vxlan || lB0z_ <= RMYXZ && VggtJ != VggtJ {
|
|
VggtJ /= 157415906375046026780197645612102072420 + VggtJ / 200052657326939673132260906854658100686u128;
|
|
Ht_o5 = Ht_o5;
|
|
VggtJ /= VggtJ;
|
|
let FEcY: address = jevo;
|
|
let Ir2a = 500071970u32 ** 1u32 / 1327371589u32 * 2234521563u32 ** 1u32;
|
|
const H_Wk = 140u8;
|
|
Ht_o5 *= 1i128;
|
|
let dgMO: Self = L9Snz {};
|
|
} else if [(82i8, (168959946214662978530327896234211537106u128, (false, 12427427169985374723u64, -31456683461208515088456471787726297252i128, 56i8), (4908752618911443246697506192699588067797133636811902421444208448276619938465397710091372538939536414834528928690449062642613610859703225105481852391756372, '\u{706ea}', 4110780615))); 3] != [(7i8, (159139823899295607358682071997551895501u128, (true, 7477239449005644245u64, -98086754633827235468560233858202930964i128, -37i8), (8339532360997214503380546868946290675233376404602181916084341884293192858826000124252309397076808078470262081187984894041055791561714485960939858801444598field, 'K', 541080119u32))); 3] || aleo1v2tk5snmzp4f63c2tess4jgrppvh9amhtceknqg0lnwzpxreucqszqllch != jevo || 12504227462827476074631665974540786136397624300384090157368248825104544021070628315696049833177009832750518440263927963531548326394629426013067610843273555field != m8v8 {
|
|
VggtJ += 8257065096993585333727606071356438242u128;
|
|
VggtJ -= VggtJ;
|
|
}
|
|
let omLT = VggtJ;
|
|
const ld6U = 37u8;
|
|
const vk_Q: char = '\u{eee33}';
|
|
let qbiu = PAVFU;
|
|
} else {
|
|
const jM_M: address = aleo1sxg244usp0cx2vtdtacgm3vfayw228ga09faemh2q6tlej20fugsfa4zlc;
|
|
m8v8 += m8v8;
|
|
let O90S: char = '\u{49}';
|
|
let fFzmH: i8 = -105i8;
|
|
O90S = O90S;
|
|
let hq5x: u8 = 181;
|
|
const uZWn = aleo1w5njju0sa75nql82pld5uhz52hu3dw4st6cyx03ssvnxrs8ctsrqzntzjx;
|
|
const FAjJc = 99u8;
|
|
VggtJ += 994150734172258795168679886244864026u128;
|
|
}
|
|
let IphzC: char = '\x40';
|
|
let amRFn: u64 = 7564051209867924479u64;
|
|
amRFn += amRFn;
|
|
m8v8 += 1347255737663462458814024878372058932536755071869327526992498831547110157173;
|
|
}
|
|
const yLQS4 = -55550312298071716641145606375319507761i128;
|
|
VggtJ += 1382746757304325437648861664794573230;
|
|
//RETURN
|
|
}
|
|
|
|
function lVSr (
|
|
&self,
|
|
const VPWYz: address,
|
|
const ADX7z: i8,
|
|
const MHWK: g8SH
|
|
) -> (
|
|
u32,
|
|
i8,
|
|
char
|
|
) {
|
|
const eE25S = -3822011864922848919i64;
|
|
let uxka: u16 = 31601u16;
|
|
uxka += uxka;
|
|
if uxka <= 54663 || 73004126144557259973298592729951019722u128 >= ([93797552382304599553760067286520681501u128; 1], 4172437329985364529i64, '\n').0[0..][2624001942 / 1517112597 / 1355807694u32 * 2889503665u32 ** 1] {
|
|
const lApV: field = 6481943367152243104806590714680752346978771244964332374740256234629614754980878356122381536407948609474900709582949603889949969672871965127817496727202767;
|
|
let cGWZP: u128 = 297768269069440894845608851567366910735u128;
|
|
self = self;
|
|
cGWZP -= cGWZP;
|
|
cGWZP *= cGWZP;
|
|
let LtjA: i128 = -22748455429796320857927085170522829329i128;
|
|
} else if 6360448123073416118i64 == eE25S && '\u{34641}' == '\u{7}' {
|
|
self = L9Snz {};
|
|
} else {
|
|
uxka = uxka;
|
|
let FuVKM = vxlan;
|
|
uxka -= 97393095744128946381012954133028907306 != 255951602883594918442095360688675180909u128 || 17905u16 != uxka && VPWYz == VPWYz? false? 44721 : uxka : uxka;
|
|
}
|
|
uxka -= uxka;
|
|
let KUdYh: i16 = vxlan;
|
|
KUdYh /= vxlan;
|
|
KUdYh *= vxlan;
|
|
let VFAW = false;
|
|
return (1316647196u32, 37i8, '\x30');
|
|
}
|
|
}
|
|
|
|
|
|
function main (
|
|
y8dPm: u64,
|
|
sGaj: field
|
|
) {
|
|
let BYEm7: i8 = 97i8;
|
|
let hKmDf: address = aleo1m253gg39f4cwwud8sknlks2cn26v9sf9479l0yncaq5ukjxqzyzq2xxsnk;
|
|
const HZ9fX: u64 = 16202246012581085813u64 / 12465500443043502478u64 - (true? 15981860521684494965u64 : 6911258910006412467u64) * 0u64 * 0u64;
|
|
hKmDf = hKmDf;
|
|
hKmDf = hKmDf;
|
|
//RETURN
|
|
}
|
|
|
|
function BHZjx (
|
|
const nxhfV: bool,
|
|
OZNlW: bool,
|
|
const jOC4: i8
|
|
) -> field {
|
|
let y7gf: field = 3130031617100883476569946236122797668194325421420005827215337287002604866213025267543520081466666132894801153349496723370271679207682862665770825319434816field;
|
|
L9Snz::PC0R(aleo14zwmfwd9he3v4hjw2r7q2ctskzgjh6dwf9kc7k30l693n3jgpgpsk5yu78, 9446428592253181660);
|
|
let GlSb = y7gf;
|
|
let WUY_d: ((u32, u16, (g8SH, i16, field), u64), (u16, bool, i16)) = ((526471171u32, 7788, (19, 32726, 3434891954732353975444046757534090600268209052607533063785913738816065601863253991997648873003147300684388051350506871325750697070337976614620994165271278), 7922971368721996438u64), (50902, false, -20508i16));
|
|
GlSb = y7gf;
|
|
WUY_d.0.3 = WUY_d.0.3;
|
|
WUY_d.0.1 += WUY_d.0.1;
|
|
const Sc7C9: [u32; 1] = nxhfV? [874307396; 1] : [2630291403u32];
|
|
WUY_d.0.2.0 = WUY_d.0.2.0;
|
|
let ycp91: char = '\x14';
|
|
const DM0j: u128 = 331905196230135311940900941762579610102u128;
|
|
return WUY_d.0.2.2;
|
|
}
|
|
|
|
circuit GzzO {
|
|
RAyvy: char,
|
|
SGgTI: i16,
|
|
AWm8P: char,
|
|
egtP: u128,
|
|
}
|
|
|
|
|
|
function D_6P (w9AC: L9Snz) -> (
|
|
u32,
|
|
((i8, g8SH, i16), [char; 3], L9Snz, field),
|
|
i32
|
|
) {
|
|
const WWMs4: i128 = -6788181107836913317896185434758313415i128;
|
|
const vv_n: u8 = (60u8, 16982434322799018778u64, -22964401300164128577831495677249421197i128, -481530683i32).0;
|
|
const xHZT: i64 = -7542558825982757778;
|
|
let RA0L4 = 2253591488u32;
|
|
const JzkI: u128 = 51423136685081598067078208885837881611u128;
|
|
RA0L4 *= 0;
|
|
L9Snz::PC0R(aleo1ghg8n2kv59k7waylx9pu2juxe78khyq5mxqx4swk86wm6nld9cpszerza4, 14748858242389516977);
|
|
let gZid: sylcl = sylcl {bTxd7: true, YDbf: aleo1r42wfxvqg6h2r8sxazq332sd4fxc4ftvg0q0zsveptrcykd7syxswwf3au, l_Dfk: RA0L4, tfTQr: true};
|
|
gZid.bTxd7 = gZid.bTxd7;
|
|
let qjKhR: u32 = 2925082278u32;
|
|
let EJISu = BHZjx(true, true, -71i8);
|
|
if 3985509016058024290 == 9147622246534204847u64 || EJISu + EJISu / EJISu - EJISu + BHZjx(false, gZid.tfTQr, 96i8) * EJISu != EJISu && JzkI != JzkI {
|
|
gZid = sylcl {l_Dfk: qjKhR, tfTQr: true, YDbf: gZid.YDbf, bTxd7: gZid.tfTQr};
|
|
const p36lW = [(-814427734842719938i64, 5339320581377470661u64, 294113937729276405578547191689392764549u128); 4];
|
|
gZid.l_Dfk -= RA0L4;
|
|
let VsEWm = gZid.bTxd7;
|
|
gZid.l_Dfk **= 1u32;
|
|
const EJGTh: field = 5561661189369667961686502997982535065877055308324648778039167906404275824028130538460917576931123645230444575965776072667677113915103516873246679748569999;
|
|
EJISu /= EJISu;
|
|
return (L9Snz {}.lVSr(aleo1r20fxtjjsq4cmcz0tvc69442g3x3amd7m79ds400q4vqrqy4gsrsap5q7y, -32, vv_n).0, ((-114i8, vv_n, 10216i16), [L9Snz {}.lVSr(aleo1263sz4dh99ch5arrgk9rqju8vm3vv889c5r9w85p3wmjwmtadu9qzqa7vk, 92, vv_n).2; 3], w9AC, EJGTh), -1086114968i32);
|
|
} else if 18247u16 != 2832u16 && -2070179985i32 >= -832203371i32 || 2108854800u32 > RA0L4 {
|
|
const nmbh: u32 = 1251166277u32;
|
|
let SsR5h = gZid.l_Dfk;
|
|
let HVAa = w9AC;
|
|
return (3766010195u32, ((-105i8, 162u8, 26251), ['\u{4e}'; 3], L9Snz {}, 3783102502099847461136024093398414597616258289790210683307756458700958277778997744007793644412769648771201890253252209457549966246727682027693578962905328), 1405827686i32);
|
|
} else {
|
|
EJISu /= EJISu;
|
|
const ecan: bool = false;
|
|
return (RA0L4, ((73i8, 67u8, -28746i16), ['\\'; 3], L9Snz {}, 9939607077961044954502119705805750533325928371640903562794817944828499108518903389133383383289034846905481326089002555501553000756689627524145002624427458field), -1889793240i32);
|
|
}
|
|
}
|
|
|
|
function vRAg () -> (
|
|
i128,
|
|
(address, u16)
|
|
) {
|
|
let na_U: bool = false;
|
|
let sa7tL: [bool; 2] = [true; 2];
|
|
sa7tL[..2u32] = na_U? sa7tL : sa7tL[0..2u32];
|
|
const bZ3_ = (5062121477657524756691001991959148343560642547664575296025469558174877724273997732296925246044794229476666182584113489143775657972780129591419547290910023field, '\u{5516b}');
|
|
sa7tL[0] = sa7tL[0u32..][1u32];
|
|
const FAXX: i128 = 82723903814286642271212537939014048713;
|
|
const kENpX = aleo100khm587cspwmcafftyythvamha9z4gqrmne8hq5zqetyg3xmcpqmsjrhg;
|
|
const Sr1Ln: address = kENpX;
|
|
sa7tL = sa7tL;
|
|
return (-65993239589993742548447387951590481703, (aleo1t0r4zqurd4tkr8dqjhwk0ckzpdd7690v79f5xrstwa597u6qqspsazrgcp, 23506));
|
|
} |