mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-24 07:48:04 +03:00
141 lines
5.7 KiB
Plaintext
141 lines
5.7 KiB
Plaintext
type xs1w = i8;
|
|
|
|
type Z5tB = field;
|
|
|
|
type tlVPo = address;
|
|
|
|
type nsK2V = field;
|
|
|
|
const QR0A: char = '\x7c';
|
|
|
|
|
|
const AWye: xs1w = 115i8;
|
|
|
|
|
|
const NyOSS: i64 = -9112024196555249712i64;
|
|
|
|
|
|
circuit UaAlp {
|
|
Lq72: xs1w,
|
|
}
|
|
|
|
|
|
function main (const e6Xk: Z5tB) -> (
|
|
bool,
|
|
i32
|
|
) {
|
|
let CEPR = 916470734i32;
|
|
let vnI8e: ([u64; 2], field, (u8, bool, i16, UaAlp), u128) = ([2889181496092270957u64; 2], e6Xk, (100u8, true, -25462i16, UaAlp {Lq72: 124i8}), 37760135625388903844123788266413165465u128);
|
|
vnI8e.0[1u32..2][..1u32][0] -= vnI8e.0[0u32];
|
|
vnI8e = vnI8e;
|
|
let qW6DN = true;
|
|
let k7ex: (tlVPo, i16, i32, [xs1w; 2]) = (aleo1m0f63uqdvnyzvepxs497gngxcqwhf9rn36przm0hyvcqg8tsyu9q9zcwa7, vnI8e.2.2, CEPR, [-111i8; 2]);
|
|
const VQn8: tlVPo = aleo155vefgc0t5yknnvtg4smfy7y5vhpru5t70nfn2nwaee9eeh3hyys4sew5k;
|
|
let GeVCw: UaAlp = vnI8e.2.3;
|
|
const jBlS = VQn8;
|
|
const FrZU_: i8 = AWye;
|
|
return (qW6DN, 101413968i32);
|
|
}
|
|
|
|
function rqmLu (
|
|
NFML: char,
|
|
QMKAV: i64
|
|
) -> (
|
|
address,
|
|
i16,
|
|
field,
|
|
u64,
|
|
u16
|
|
) {
|
|
let RCqa = [1901182340385490071669784758737838188525280201638449765536941561135711020396220061527746756336674057817295412670452159986331379682153181375499201511956942field, 3762954748737525825800565834905724867725809544272623117743188164518934454008307409373575071111959839122640366966971683394952757289074471910475807688059161field];
|
|
RCqa[..1u32][0u32] /= RCqa[2722709438 ** 0u32 * 3359775733 ** 1u32 + 621885425 - 2864750746u32 - 1116910412..2][0u32];
|
|
const smbqG: Z5tB = 4439888477454096870793176575457233018778936668879584935658147170525933160250115153298062239208029034427719380092692447123716417481264166241017990941172699field;
|
|
let SyUgN: i8 = 69;
|
|
RCqa[..2] = RCqa;
|
|
const Y1KU: i128 = 97405228876352483168642295161473826241i128;
|
|
RCqa[0u32..2u32][1] *= RCqa[0u32..1][0u32];
|
|
const mvGo: u128 = 169795069556376802589401758946050630589u128;
|
|
let IVnO: i64 = 5343892535930316306i64;
|
|
RCqa[0u32..887427927 * 3u32 / 2123569430u32 / 3029150021u32 + 618233057u32 - 472015339u32 - 146217716][0..][1] *= RCqa[1..][3912278184u32 + 851746752u32 ** (537034156u32 ** 0u32 / 1407830278u32) - 1068657130u32 - 2843621055u32];
|
|
let mCFyw: i64 = QMKAV;
|
|
let A5Mtx = 2924523345158094175u64;
|
|
let DeTIv: u128 = jBtml(-1682496107, -21689, -1587968197i32).3;
|
|
RCqa[..false? 1u32 : 1u32] = RCqa[1u32..];
|
|
return (aleo1es9rfhmgalsxp98em3vz84rpv9f23scfg8psya9feswdgx22dupqfj9g76, -25840, 6997858828717010106874414908217877987149986846543963933921422662340096126945997464575344199644167034548808666112748647877800676427793328759761681650787785field, 16701591620963259193, 27704u16);
|
|
}
|
|
|
|
function gLeR (const ltYE: (char, char)) -> (
|
|
i8,
|
|
u64
|
|
) {
|
|
let u1Sx: i8 = -71i8;
|
|
const GPino = 251u8;
|
|
u1Sx *= -1;
|
|
let R_DB: i64 = -4528113102912117276;
|
|
R_DB /= R_DB;
|
|
let JTtRE = ltYE.1;
|
|
let GbFm: i128 = -90729062783389595540283719863095696635i128;
|
|
const WU_1: field = 12298641592796131448636852745264712871840940636430143500429547594328419579508003587060777258896545297051274586339383848215302076127997685192089080838171090field;
|
|
const oVZ0: char = ltYE.0;
|
|
const TzNpy: i32 = ([aleo1fhzvxwk4wpcnx6fjlcx9ay8ajnyx5wnunzz04qrl90fmc5j0y5qqka6rhc; 4], 1557904369i32, (1633941743i32, -9997653857003985702536225791587887214i128, "\x2c\u{10f49d}d", -1129519675037787853i64), aleo17ymuajln74htprfruf2u4cy2pcn85wp3dr3cepwu5trnnmulacqqlh4587).1;
|
|
const w5sE: [char; 3] = ['\x33'; 3];
|
|
GbFm /= GbFm;
|
|
const wywm: u16 = 15960u16;
|
|
let pqswY: (u8, u128, u16, i16) = (21u8, 312976231132787483193089462972992041969u128, 42694u16, -24145i16);
|
|
return (74, 3906516312311027547u64);
|
|
}
|
|
|
|
circuit KAjg {
|
|
}
|
|
|
|
|
|
function xfo64 (
|
|
const yruPt: i128,
|
|
const nX1D: u8
|
|
) -> (
|
|
u16,
|
|
i32,
|
|
((u64, address, u32), char, i64),
|
|
char
|
|
) {
|
|
const zVUMW = true;
|
|
let lr0eo: u128 = 121391538414525111368886992804963769570u128;
|
|
lr0eo *= 1u128;
|
|
let JXLf = 319748941135490065237961282805967438009u128;
|
|
lr0eo += jBtml(1408145078i32, 18864i16, -1248489626).3;
|
|
const Pbjb: i32 = -211550248;
|
|
return (57783, 1844050990, ((11506503550199076036u64, aleo1mw4w3u8n4um6mxshumwkzt44r546yy8cmn78lnqee6nff4weuuqsd2mpf3, 2662859884), '\u{3b}', 6526408650467898187i64), '\u{105bbb}');
|
|
}
|
|
|
|
function jBtml (
|
|
VFw8B: i32,
|
|
NWJ7: i16,
|
|
const p0LX: i32
|
|
) -> (
|
|
i32,
|
|
i8,
|
|
i32,
|
|
u128,
|
|
i8
|
|
) {
|
|
let gvQUM: i64 = 4037125634803550791i64;
|
|
const LmCwg: char = 'g';
|
|
gvQUM /= gvQUM;
|
|
gvQUM /= -140562257311199343;
|
|
gvQUM += 5374352076809309733 + -7311152656384965611i64 / 3567039922885901823 / -2985691946813276109 - 3822948189711225817i64;
|
|
gvQUM -= gvQUM;
|
|
let CKv0: u32 = 3676790393;
|
|
if 107 < 47u8 || 4780895315372286719725570097497690476629729373943383807946296483611741484512681546130787708241328058631116297817062086172863093654079829115271460562868422field != 7982054780179063169560121074566830295371378178527621047378875980325034119262167457126966448864231470178037924417610450639715948611278602804538446771755230 {
|
|
CKv0 = 3911808377;
|
|
gvQUM -= gvQUM;
|
|
const pNpM: u128 = 109321630789574203281186954713440594125;
|
|
CKv0 -= CKv0;
|
|
let HwOOG: i32 = -1873872992i32;
|
|
CKv0 -= CKv0;
|
|
const keQsd: field = 11015005865013733702207615426928877863299071468100558157842771770055958954932789085937877273864104098654472278384047931502448190906145334102386491816927923field;
|
|
}
|
|
const fjUhE: field = 10093019984283224171603190060385302499576567470638200069653260485038239434771591542574318679127541932015353632827969455147712721532875369984181737304135668field;
|
|
const zXSXE = -13171i16;
|
|
let XviGv = gvQUM;
|
|
return (-518773154i32, 26i8, 742687481i32, 106286027905006275051216629536034575527, 3i8);
|
|
} |