mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-27 12:17:35 +03:00
265 lines
8.6 KiB
Plaintext
265 lines
8.6 KiB
Plaintext
function main() {
|
|
const foo = Foo { x0: 0, x1: 1, x2: 2, x3: 3, x4: 4, x5: 5, x6: 6, x7: 7, x8: 8, x9: 9, x10: 10, x11: 11, x12: 12, x13: 13, x14: 14, x15: 15, x16: 16, x17: 17, x18: 18, x19: 19, x20: 20, x21: 21, x22: 22, x23: 23, x24: 24, x25: 25, x26: 26, x27: 27, x28: 28, x29: 29, x30: 30, x31: 31, x32: 32, x33: 33, x34: 34, x35: 35, x36: 36, x37: 37, x38: 38, x39: 39, x40: 40, x41: 41, x42: 42, x43: 43, x44: 44, x45: 45, x46: 46, x47: 47, x48: 48, x49: 49, x50: 50, x51: 51, x52: 52, x53: 53, x54: 54, x55: 55, x56: 56, x57: 57, x58: 58, x59: 59, x60: 60, x61: 61, x62: 62, x63: 63, x64: 64, x65: 65, x66: 66, x67: 67, x68: 68, x69: 69, x70: 70, x71: 71, x72: 72, x73: 73, x74: 74, x75: 75, x76: 76, x77: 77, x78: 78, x79: 79, x80: 80, x81: 81, x82: 82, x83: 83, x84: 84, x85: 85, x86: 86, x87: 87, x88: 88, x89: 89, x90: 90, x91: 91, x92: 92, x93: 93, x94: 94, x95: 95, x96: 96, x97: 97, x98: 98, x99: 99, x100: 100, x101: 101, x102: 102, x103: 103, x104: 104, x105: 105, x106: 106, x107: 107, x108: 108, x109: 109, x110: 110, x111: 111, x112: 112, x113: 113, x114: 114, x115: 115, x116: 116, x117: 117, x118: 118, x119: 119, x120: 120, x121: 121, x122: 122, x123: 123, x124: 124, x125: 125, x126: 126, x127: 127, x128: 128, x129: 129, x130: 130, x131: 131, x132: 132, x133: 133, x134: 134, x135: 135, x136: 136, x137: 137, x138: 138, x139: 139, x140: 140, x141: 141, x142: 142, x143: 143, x144: 144, x145: 145, x146: 146, x147: 147, x148: 148, x149: 149, x150: 150, x151: 151, x152: 152, x153: 153, x154: 154, x155: 155, x156: 156, x157: 157, x158: 158, x159: 159, x160: 160, x161: 161, x162: 162, x163: 163, x164: 164, x165: 165, x166: 166, x167: 167, x168: 168, x169: 169, x170: 170, x171: 171, x172: 172, x173: 173, x174: 174, x175: 175, x176: 176, x177: 177, x178: 178, x179: 179, x180: 180, x181: 181, x182: 182, x183: 183, x184: 184, x185: 185, x186: 186, x187: 187, x188: 188, x189: 189, x190: 190, x191: 191, x192: 192, x193: 193, x194: 194, x195: 195, x196: 196, x197: 197, x198: 198, x199: 199, x200: 200, x201: 201, x202: 202, x203: 203, x204: 204, x205: 205, x206: 206, x207: 207, x208: 208, x209: 209, x210: 210, x211: 211, x212: 212, x213: 213, x214: 214, x215: 215, x216: 216, x217: 217, x218: 218, x219: 219, x220: 220, x221: 221, x222: 222, x223: 223, x224: 224, x225: 225, x226: 226, x227: 227, x228: 228, x229: 229, x230: 230, x231: 231, x232: 232, x233: 233, x234: 234, x235: 235, x236: 236, x237: 237, x238: 238, x239: 239, x240: 240, x241: 241, x242: 242, x243: 243, x244: 244, x245: 245, x246: 246, x247: 247, x248: 248, x249: 249, x250: 250, x251: 251, x252: 252, x253: 253, x254: 254, x255: 255 };
|
|
const bar = Foo { x0: 0, x1: 1, x2: 2, x3: 3, x4: 4, x5: 5, x6: 6, x7: 7, x8: 8, x9: 9, x10: 10, x11: 11, x12: 12, x13: 13, x14: 14, x15: 15, x16: 16, x17: 17, x18: 18, x19: 19, x20: 20, x21: 21, x22: 22, x23: 23, x24: 24, x25: 25, x26: 26, x27: 27, x28: 28, x29: 29, x30: 30, x31: 31, x32: 32, x33: 33, x34: 34, x35: 35, x36: 36, x37: 37, x38: 38, x39: 39, x40: 40, x41: 41, x42: 42, x43: 43, x44: 44, x45: 45, x46: 46, x47: 47, x48: 48, x49: 49, x50: 50, x51: 51, x52: 52, x53: 53, x54: 54, x55: 55, x56: 56, x57: 57, x58: 58, x59: 59, x60: 60, x61: 61, x62: 62, x63: 63, x64: 64, x65: 65, x66: 66, x67: 67, x68: 68, x69: 69, x70: 70, x71: 71, x72: 72, x73: 73, x74: 74, x75: 75, x76: 76, x77: 77, x78: 78, x79: 79, x80: 80, x81: 81, x82: 82, x83: 83, x84: 84, x85: 85, x86: 86, x87: 87, x88: 88, x89: 89, x90: 90, x91: 91, x92: 92, x93: 93, x94: 94, x95: 95, x96: 96, x97: 97, x98: 98, x99: 99, x100: 100, x101: 101, x102: 102, x103: 103, x104: 104, x105: 105, x106: 106, x107: 107, x108: 108, x109: 109, x110: 110, x111: 111, x112: 112, x113: 113, x114: 114, x115: 115, x116: 116, x117: 117, x118: 118, x119: 119, x120: 120, x121: 121, x122: 122, x123: 123, x124: 124, x125: 125, x126: 126, x127: 127, x128: 128, x129: 129, x130: 130, x131: 131, x132: 132, x133: 133, x134: 134, x135: 135, x136: 136, x137: 137, x138: 138, x139: 139, x140: 140, x141: 141, x142: 142, x143: 143, x144: 144, x145: 145, x146: 146, x147: 147, x148: 148, x149: 149, x150: 150, x151: 151, x152: 152, x153: 153, x154: 154, x155: 155, x156: 156, x157: 157, x158: 158, x159: 159, x160: 160, x161: 161, x162: 162, x163: 163, x164: 164, x165: 165, x166: 166, x167: 167, x168: 168, x169: 169, x170: 170, x171: 171, x172: 172, x173: 173, x174: 174, x175: 175, x176: 176, x177: 177, x178: 178, x179: 179, x180: 180, x181: 181, x182: 182, x183: 183, x184: 184, x185: 185, x186: 186, x187: 187, x188: 188, x189: 189, x190: 190, x191: 191, x192: 192, x193: 193, x194: 194, x195: 195, x196: 196, x197: 197, x198: 198, x199: 199, x200: 200, x201: 201, x202: 202, x203: 203, x204: 204, x205: 205, x206: 206, x207: 207, x208: 208, x209: 209, x210: 210, x211: 211, x212: 212, x213: 213, x214: 214, x215: 215, x216: 216, x217: 217, x218: 218, x219: 219, x220: 220, x221: 221, x222: 222, x223: 223, x224: 224, x225: 225, x226: 226, x227: 227, x228: 228, x229: 229, x230: 230, x231: 231, x232: 232, x233: 233, x234: 234, x235: 235, x236: 236, x237: 237, x238: 238, x239: 239, x240: 240, x241: 241, x242: 242, x243: 243, x244: 244, x245: 245, x246: 246, x247: 247, x248: 248, x249: 249, x250: 250, x251: 251, x252: 252, x253: 253, x254: 254, x255: 255 };
|
|
|
|
return foo.x0 + bar.x255;
|
|
}
|
|
|
|
circuit Foo {
|
|
x0: u8;
|
|
x1: u8;
|
|
x2: u8;
|
|
x3: u8;
|
|
x4: u8;
|
|
x5: u8;
|
|
x6: u8;
|
|
x7: u8;
|
|
x8: u8;
|
|
x9: u8;
|
|
x10: u8;
|
|
x11: u8;
|
|
x12: u8;
|
|
x13: u8;
|
|
x14: u8;
|
|
x15: u8;
|
|
x16: u8;
|
|
x17: u8;
|
|
x18: u8;
|
|
x19: u8;
|
|
x20: u8;
|
|
x21: u8;
|
|
x22: u8;
|
|
x23: u8;
|
|
x24: u8;
|
|
x25: u8;
|
|
x26: u8;
|
|
x27: u8;
|
|
x28: u8;
|
|
x29: u8;
|
|
x30: u8;
|
|
x31: u8;
|
|
x32: u8;
|
|
x33: u8;
|
|
x34: u8;
|
|
x35: u8;
|
|
x36: u8;
|
|
x37: u8;
|
|
x38: u8;
|
|
x39: u8;
|
|
x40: u8;
|
|
x41: u8;
|
|
x42: u8;
|
|
x43: u8;
|
|
x44: u8;
|
|
x45: u8;
|
|
x46: u8;
|
|
x47: u8;
|
|
x48: u8;
|
|
x49: u8;
|
|
x50: u8;
|
|
x51: u8;
|
|
x52: u8;
|
|
x53: u8;
|
|
x54: u8;
|
|
x55: u8;
|
|
x56: u8;
|
|
x57: u8;
|
|
x58: u8;
|
|
x59: u8;
|
|
x60: u8;
|
|
x61: u8;
|
|
x62: u8;
|
|
x63: u8;
|
|
x64: u8;
|
|
x65: u8;
|
|
x66: u8;
|
|
x67: u8;
|
|
x68: u8;
|
|
x69: u8;
|
|
x70: u8;
|
|
x71: u8;
|
|
x72: u8;
|
|
x73: u8;
|
|
x74: u8;
|
|
x75: u8;
|
|
x76: u8;
|
|
x77: u8;
|
|
x78: u8;
|
|
x79: u8;
|
|
x80: u8;
|
|
x81: u8;
|
|
x82: u8;
|
|
x83: u8;
|
|
x84: u8;
|
|
x85: u8;
|
|
x86: u8;
|
|
x87: u8;
|
|
x88: u8;
|
|
x89: u8;
|
|
x90: u8;
|
|
x91: u8;
|
|
x92: u8;
|
|
x93: u8;
|
|
x94: u8;
|
|
x95: u8;
|
|
x96: u8;
|
|
x97: u8;
|
|
x98: u8;
|
|
x99: u8;
|
|
x100: u8;
|
|
x101: u8;
|
|
x102: u8;
|
|
x103: u8;
|
|
x104: u8;
|
|
x105: u8;
|
|
x106: u8;
|
|
x107: u8;
|
|
x108: u8;
|
|
x109: u8;
|
|
x110: u8;
|
|
x111: u8;
|
|
x112: u8;
|
|
x113: u8;
|
|
x114: u8;
|
|
x115: u8;
|
|
x116: u8;
|
|
x117: u8;
|
|
x118: u8;
|
|
x119: u8;
|
|
x120: u8;
|
|
x121: u8;
|
|
x122: u8;
|
|
x123: u8;
|
|
x124: u8;
|
|
x125: u8;
|
|
x126: u8;
|
|
x127: u8;
|
|
x128: u8;
|
|
x129: u8;
|
|
x130: u8;
|
|
x131: u8;
|
|
x132: u8;
|
|
x133: u8;
|
|
x134: u8;
|
|
x135: u8;
|
|
x136: u8;
|
|
x137: u8;
|
|
x138: u8;
|
|
x139: u8;
|
|
x140: u8;
|
|
x141: u8;
|
|
x142: u8;
|
|
x143: u8;
|
|
x144: u8;
|
|
x145: u8;
|
|
x146: u8;
|
|
x147: u8;
|
|
x148: u8;
|
|
x149: u8;
|
|
x150: u8;
|
|
x151: u8;
|
|
x152: u8;
|
|
x153: u8;
|
|
x154: u8;
|
|
x155: u8;
|
|
x156: u8;
|
|
x157: u8;
|
|
x158: u8;
|
|
x159: u8;
|
|
x160: u8;
|
|
x161: u8;
|
|
x162: u8;
|
|
x163: u8;
|
|
x164: u8;
|
|
x165: u8;
|
|
x166: u8;
|
|
x167: u8;
|
|
x168: u8;
|
|
x169: u8;
|
|
x170: u8;
|
|
x171: u8;
|
|
x172: u8;
|
|
x173: u8;
|
|
x174: u8;
|
|
x175: u8;
|
|
x176: u8;
|
|
x177: u8;
|
|
x178: u8;
|
|
x179: u8;
|
|
x180: u8;
|
|
x181: u8;
|
|
x182: u8;
|
|
x183: u8;
|
|
x184: u8;
|
|
x185: u8;
|
|
x186: u8;
|
|
x187: u8;
|
|
x188: u8;
|
|
x189: u8;
|
|
x190: u8;
|
|
x191: u8;
|
|
x192: u8;
|
|
x193: u8;
|
|
x194: u8;
|
|
x195: u8;
|
|
x196: u8;
|
|
x197: u8;
|
|
x198: u8;
|
|
x199: u8;
|
|
x200: u8;
|
|
x201: u8;
|
|
x202: u8;
|
|
x203: u8;
|
|
x204: u8;
|
|
x205: u8;
|
|
x206: u8;
|
|
x207: u8;
|
|
x208: u8;
|
|
x209: u8;
|
|
x210: u8;
|
|
x211: u8;
|
|
x212: u8;
|
|
x213: u8;
|
|
x214: u8;
|
|
x215: u8;
|
|
x216: u8;
|
|
x217: u8;
|
|
x218: u8;
|
|
x219: u8;
|
|
x220: u8;
|
|
x221: u8;
|
|
x222: u8;
|
|
x223: u8;
|
|
x224: u8;
|
|
x225: u8;
|
|
x226: u8;
|
|
x227: u8;
|
|
x228: u8;
|
|
x229: u8;
|
|
x230: u8;
|
|
x231: u8;
|
|
x232: u8;
|
|
x233: u8;
|
|
x234: u8;
|
|
x235: u8;
|
|
x236: u8;
|
|
x237: u8;
|
|
x238: u8;
|
|
x239: u8;
|
|
x240: u8;
|
|
x241: u8;
|
|
x242: u8;
|
|
x243: u8;
|
|
x244: u8;
|
|
x245: u8;
|
|
x246: u8;
|
|
x247: u8;
|
|
x248: u8;
|
|
x249: u8;
|
|
x250: u8;
|
|
x251: u8;
|
|
x252: u8;
|
|
x253: u8;
|
|
x254: u8;
|
|
x255: u8;
|
|
} |