Circom out of memory but shutdown internally #5
Description
If instead of the healthcheck failing, the kernel on the instance kills the circom process when it uses too much memory, the pipeline continues and it tries to load the solidity verifier but it doesn't exist, creating a confusing error.
$ ~/cli-circuitscan/cli.js deploy:circom -v v2.2.2 -s 0.7.5 -i 16 -b circuits/main_proof_of_burn.circom
https://circuitscan.org/cli.json {}
Found 23 file(s):
main_proof_of_burn.circom
proof_of_burn.circom
utils/keccak.circom
circomlib/circuits/gates.circom
utils/selector.circom
utils/assert.circom
circomlib/circuits/comparators.circom
circomlib/circuits/bitify.circom
circomlib/circuits/aliascheck.circom
circomlib/circuits/compconstant.circom
circomlib/circuits/binsum.circom
utils/utils.circom
utils/substring_check.circom
utils/concat.circom
utils/hasher.circom
circomlib/circuits/poseidon.circom
circomlib/circuits/poseidon_constants.circom
utils/rlp.circom
circomlib/circuits/mux1.circom
utils/leaf.circom
utils/commit.circom
utils/proof_of_work.circom
utils/burn_address.circom
# Request ID: Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://hyfnrv46mz7t7ip5vxivqjao3m0fraxp.lambda-url.us-west-2.on.aws/ {
method: 'POST',
headers: { 'Content-Type': 'application/json' },
body: '{"apiKey":"b155223211d7aff69a3e067f797a86fa","payload":{"pipeline":"circom","files":{"main_proof_of_burn.circom":{"code":"pragma circom 2.2.2;\\n\\ninclude \\"proof_of_burn.circom\\";\\n\\n// 16 -> maxNumLayers (Maximum number of Merkle-Patricia-Trie proof nodes supported)\\n// Number of MPT nodes in account proofs of 100 richest addresses as of July 2nd 2025: Min: 8 Max: 10 Avg: 8.69\\n//\\n// 4 -> maxNodeBlocks (Keccak blocks are 136 bytes. Merkle-Patricia-Trie nodes are maximum 532 bytes ~ 3.91 blocks)\\n// Length of MPT nodes in accounts proofs of 100 richest addresses as of July 7th 2025: Min: 35 Max: 532 Avg: 432.23\\n// Maximum lengths are for branch nodes with 16 non-empty slots: len(rlp.encode([keccak(...)] * 16 + [0])) == 532\\n//\\n// 8 -> maxHeaderBlocks (Average header len of the last 100 blocks as of July 2nd 2025 is 643 bytes ~ 4.72 blocks)\\n//\\n// 50 -> minLeafAddressNibbles (4 ^ 50 = 2 ^ 100 bits of security)\\n// Number of address-hash nibbles present in leaf among 100 richest addresses: Min: 54 Max: 60 Avg: 56.08\\n// Bitcoin\'s world record of lowest block-hash has only 23 zero bytes (46 zero nibbles)\\n//\\n// 31 -> amountBytes (248-bits to disallow field overflows)\\n//\\n// 2 -> powMinimumZeroBytes (Adds 8 * powMinimumZeroBytes extra bits of security)\\n// This is to disallow conflicts\\n"},"proof_of_burn.circom":{"code":"// __ _____ ____ __ __ \\n// \\\\ \\\\ / / _ \\\\| _ \\\\| \\\\/ |\\n// \\\\ \\\\ /\\\\ / / | | | |_) | |\\\\/| |\\n// \\\\ V V /| |_| | _ <| | | |\\n// \\\\_/\\\\_/ \\\\___/|_| \\\\_\\\\_| |_|\\n//\\n\\npragma circom 2.2.2;\\n\\ninclude \\"utils/keccak.circom\\";\\ninclude \\"utils/substring_check.circom\\";\\ninclude \\"utils/concat.circom\\";\\ninclude \\"utils/hasher.circom\\";\\ninclude \\"utils/rlp.circom\\";\\ninclude \\"utils/leaf.circom\\";\\ninclude \\"utils/commit.circom\\";\\ninclude \\"utils/proof_of_work.circom\\";\\ninclude \\"utils/burn_address.circom\\";\\n\\n// Proves that there exists an account in a certain Ethereum block\'s state root, with a `balance` amount of ETH,\\n// such that its address equals the first 160 bits of MiMC7(burnKey, receiverAddress). This is achieved by revealing\\n// some publicly verifiable inputs through a *single* public input — the Keccak hash of 6 elements:\\n//\\n// 1. The `blockRoot`: the state root of the block being referenced, passed by a Solidity contract.\\n// 2. A `nullifier`: MiMC7(burnKey, 1), used to prevent revealing the same burn address more than once.\\n// *** In the case of minting a 1:1 ERC-20 token in exchange for burnt ETH: ***\\n// 3. An encrypted representation of the remaining balance: MiMC7(burnKey, balance - fee - spend).\\n// 4. A `fee`: so that the proof submitter (not necessarily the burner) receives part of the minted ERC-20 tokens as compensation.\\n// 5. A `spend`: an amount from the minted balance that is directly withdrawn to the `receiverAddress`.\\n// 6. The `receiverAddress`: commits to the address authorized to receive the 1:1 tokens (otherwise, anyone could submit the proof and claim the tokens).\\n//\\ntemplate ProofOfBurn(maxNumLayers, maxNodeBlocks, maxHeaderBlocks, minLeafAddressNibbles, amountBytes, powMinimumZeroBytes) {\\n\\n /***************************/\\n /* START OF IN/OUT SIGNALS */\\n /***************************/\\n\\n // Public commitment: Keccak(blockRoot, nullifier, encryptedBalance, fee, spend, receiverAddress)\\n signal output commitment;\\n\\n signal input burnKey; // Secret field number from which the burn address and nullifier are derived.\\n signal input balance; // Balance of the burn-address\\n\\n // In case there is a 1:1 token to be minted:\\n signal input fee; // To be paid to the relayer who actually submits the proof\\n signal input spend; // You can spend part of minted amount upon creation\\n signal input receiverAddress; // The address which can receive the minted 1:1 token (160-bit number)\\n // The rest of the balance (balance - spend - fee) is revealed as an encrypted-coin which can later be minted\\n // through the spend.circom circuit\\n\\n signal input numLeafAddressNibbles; // Number of address nibbles in the leaf node (< 64)\\n\\n // Merkle-Patricia-Trie nodes data where:\\n // 1. keccak(layerBits[0]) === stateRoot\\n // 2. layerBits[numLayers - 1] ===\\n // Rlp(\\n // addressHashNibbles[-numLeafAddressNibble:],\\n // Rlp(NONCE, balance, EMPTY_STORAGE_HASH, EMPTY_CODE_HASH)\\n // )\\n signal input layerBits[maxNumLayers][maxNodeBlocks * 136 * 8]; // MPT nodes in bits\\n signal input layerBitsLens[maxNumLayers]; // Bit length of MPT nodes\\n signal input numLayers; // Number of MPT nodes\\n\\n // Block-header data where: keccak(blockHeader) == blockRoot\\n signal input blockHeader[maxHeaderBlocks * 136 * 8]; // Block header bits which should be hashed into blockRoot\\n signal input blockHeaderLen; // Length of block header in bits\\n\\n /*************************/\\n /* END OF IN/OUT SIGNALS */\\n /*************************/\\n\\n assert(amountBytes <= 31);\\n\\n AssertBits(160)(receiverAddress); // Make sure receiver is a 160-bit number\\n\\n // Check if PoW has been done in order to find burnKey\\n ProofOfWorkChecker(powMinimumZeroBytes)(burnKey);\\n\\n // At least `minLeafAddressNibbles` nibbles should be present in the leaf node\\n AssertGreaterEqThan(16)(numLeafAddressNibbles, minLeafAddressNibbles);\\n\\n // fee, spend and (fee + spend) should be less than the amount being minted\\n // (fee + spend) will NOT overflow since balance/fee/spend amounts are limited\\n // to `amountBytes` bytes.\\n AssertLessEqThan(amountBytes * 8)(fee, balance);\\n AssertLessEqThan(amountBytes * 8)(spend, balance);\\n AssertLessEqThan(amountBytes * 8)(fee + spend, balance);\\n \\n for(var i = 0; i < maxNumLayers; i++) {\\n // Check layer lens are less than maximum length\\n AssertLessThan(16)(layerBitsLens[i], maxNodeBlocks * 136 * 8);\\n AssertBinary(maxNodeBlocks * 136 * 8)(layerBits[i]);\\n }\\n // Check block-header len is less than maximum length\\n AssertLessThan(16)(blockHeaderLen, maxHeaderBlocks * 136 * 8);\\n AssertBinary(maxHeaderBlocks * 136 * 8)(blockHeader);\\n\\n // Calculate encrypted-balance\\n signal encryptedBalance <== Hasher()(burnKey, balance - fee - spend);\\n\\n // Calculate nullifier\\n signal nullifier <== Hasher()(burnKey, 1);\\n\\n // Calculate burn-address\\n signal addressHashNibbles[64] <== BurnKeyAndReceiverToAddressHash()(burnKey, receiverAddress);\\n signal addressHashBytes[32] <== NibblesToBytes(32)(addressHashNibbles);\\n\\n // Fetch stateRoot and stateRoot from block-header\\n signal blockRoot[256] <== KeccakBits(maxHeaderBlocks)(blockHeader, blockHeaderLen);\\n signal stateRoot[256];\\n for(var i = 0; i < 256; i++) {\\n stateRoot[i] <== blockHeader[91 * 8 + i];\\n }\\n\\n // Calculate public commitment\\n signal nullifierBits[256] <== FieldToBigEndianBits()(nullifier);\\n signal encryptedBalanceBits[256] <== FieldToBigEndianBits()(encryptedBalance);\\n signal feeBits[256] <== FieldToBigEndianBits()(fee);\\n signal spendBits[256] <== FieldToBigEndianBits()(spend);\\n signal receiverAddressBits[256] <== FieldToBigEndianBits()(receiverAddress);\\n commitment <== PublicCommitment(6)(\\n [blockRoot, nullifierBits, encryptedBalanceBits, feeBits, spendBits, receiverAddressBits]\\n );\\n \\n // layerBits[numLayers - 1]\\n signal lastLayerBits[maxNodeBlocks * 136 * 8] <== ArraySelector(\\n maxNumLayers, maxNodeBlocks * 136 * 8)(layerBits, numLayers - 1);\\n \\n // lastLayerBits[numLayer - 1]\\n signal lastLayerLen <== Selector(maxNumLayers)(layerBitsLens, numLayers - 1);\\n\\n // Calculate keccaks of all layers and check if the keccak of each\\n // layer is substring of the upper layer\\n signal existingLayer[maxNumLayers];\\n signal substringCheckers[maxNumLayers - 1];\\n signal layerKeccaks[maxNumLayers][256];\\n signal reducedLayerKeccaks[maxNumLayers][248];\\n\\n for(var i = 0; i < maxNumLayers; i++) {\\n // Layer exists if: i < numLayers\\n existingLayer[i] <== LessThan(16)([i, numLayers]);\\n\\n // Calculate keccak of this layer\\n layerKeccaks[i] <== KeccakBits(maxNodeBlocks)(layerBits[i], layerBitsLens[i]);\\n\\n // Ignore the last byte of keccak so that the bits fit in a field element\\n reducedLayerKeccaks[i] <== Fit(256, 248)(layerKeccaks[i]);\\n\\n if(i > 0) {\\n substringCheckers[i - 1] <== SubstringCheck(maxNodeBlocks * 136 * 8, 248)(\\n subInput <== reducedLayerKeccaks[i],\\n mainLen <== layerBitsLens[i - 1],\\n mainInput <== layerBits[i - 1]\\n );\\n\\n // Check substring-ness only when the layer exists\\n // - When layer doesn\'t exist: (1 - substringChecker) * 0 === 0 (Correct)\\n // - When layer exists: (1 - substringChecker) * 1 === 0 -> substringChecker === 1 (Correct)\\n (1 - substringCheckers[i - 1]) * existingLayer[i] === 0;\\n }\\n }\\n\\n // Keccak of the top layer should be equal with the claimed state-root\\n for(var i = 0; i < 256; i++) {\\n layerKeccaks[0][i] === stateRoot[i];\\n }\\n\\n // Calculate leaf-layer through address-hash and its balance\\n signal (leafBits[1112], leafBitsLen) <== LeafCalculator(32, amountBytes)(\\n addressHashNibbles, numLeafAddressNibbles, balance\\n );\\n \\n // Make sure the calculated leaf-layer is equal with the last-layer\\n for(var i = 0; i < 1112; i++) {\\n leafBits[i] === lastLayerBits[i];\\n }\\n leafBitsLen === lastLayerLen;\\n}"},"utils/keccak.circom":{"code":"// Keccak256 hash function (ethereum version).\\n// For LICENSE check https://github.com/vocdoni/keccak256-circom/blob/master/LICENSE\\n\\npragma circom 2.2.2;\\n\\ninclude \\"../circomlib/circuits/gates.circom\\";\\ninclud'... 2037428 more characters
}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
# Instance started. Wait a few minutes for initialization...
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/ip.txt {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/ip.txt {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/ip.txt {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/ip.txt {}
# Instance running at 54.191.68.232...
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
> Using circom compiler 2.2.2
> Using snarkjs@0.7.5 @ 0.0000s
> Compiling proofofburn-controversial-magenta-mockingbird... @ 0.0000s
> Circomkit Debug Log @ 0.0061s
Main component created at: /tmp/proofofburn-controversial-magenta-mockingbird/circuits/test/verify_circuit.circom
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
= Circom Compiler Memory Usage: 18.47% (2.95 GB)03% (1.98 MB)
= Memory Usage: 0.50% (82.5 MB), Disk Usage: 0.03% (1.98 MB)tus/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
= Circom Compiler Memory Usage: 24.96% (3.99 GB)naws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
= Circom Compiler Memory Usage: 51.45% (8.23 GB)03% (1.98 MB)us/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
= Circom Compiler Memory Usage: 78.43% (12.55 GB)3% (1.98 MB)us/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
> Error: Compiler error:
Error: Command failed: circom-v2.2.2 --sym --wasm --r1cs -p bn128 -o /tmp/proofofburn-controversial-magenta-mockingbird/build/verify_circuit -l ./node_modules --verbose --inspect --c --O2 /tmp/proofofburn-controversial-magenta-mockingbird/circuits/test/verify_circuit.circom
warning[CA02]: In template "CompConstant(21888242871839275222246405745257275088548364400416034343698204186575808495616)": Array of subcomponent input/output signals num2bits.out contains a total of 134 signals that do not appear in any constraint of the father component
= For example: num2bits.out[0], num2bits.out[100].
warning[CA02]: In template "LessThan(16)": Array of subcomponent input/output signals n2b.out contains a total of 16 signals that do not appear in any constraint of the father component
= For example: n2b.out[0], n2b.out[10].
warning[CA01]: In template "ShR(64,63)": Array of local signals in contains a total of 63 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,1)": Local signal in[63] does not appear in any constraint
warning[CA01]: In template "ShR(64,61)": Array of local signals in contains a total of 61 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,3)": Array of local signals in contains a total of 3 signals that do not appear in any constraint
= For example: in[61], in[62].
warning[CA01]: In template "ShR(64,58)": Array of local signals in contains a total of 58 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,6)": Array of local signals in contains a total of 6 signals that do not appear in any constraint
= For example: in[58], in[59].
warning[CA01]: In template "ShR(64,54)": Array of local signals in contains a total of 54 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,10)": Array of local signals in contains a total of 10 signals that do not appear in any constraint
= For example: in[54], in[55].
warning[CA01]: In template "ShR(64,49)": Array of local signals in contains a total of 49 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,15)": Array of local signals in contains a total of 15 signals that do not appear in any constraint
= For example: in[49], in[50].
warning[CA01]: In template "ShR(64,43)": Array of local signals in contains a total of 43 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,21)": Array of local signals in contains a total of 21 signals that do not appear in any constraint
= For example: in[43], in[44].
warning[CA01]: In template "ShR(64,36)": Array of local signals in contains a total of 36 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,28)": Array of local signals in contains a total of 28 signals that do not appear in any constraint
= For example: in[36], in[37].
warning[CA01]: In template "ShR(64,28)": Array of local signals in contains a total of 28 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,36)": Array of local signals in contains a total of 36 signals that do not appear in any constraint
= For example: in[28], in[29].
warning[CA01]: In template "ShR(64,19)": Array of local signals in contains a total of 19 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,45)": Array of local signals in contains a total of 45 signals that do not appear in any constraint
= For example: in[19], in[20].
warning[CA01]: In template "ShR(64,9)": Array of local signals in contains a total of 9 signals that do not appear in any constraint
= For example: in[0], in[1].
warning[CA01]: In template "ShL(64,55)": Array of local signals in contains a total of 55 signals that do not appear in any constraint
= For example: in[10], in[11].
warning[CA01]: In template "ShR(64,62)": Array of local signals in contains a total of 62 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,2)": Array of local signals in contains a total of 2 signals that do not appear in any constraint
= For example: in[62], in[63].
warning[CA01]: In template "ShR(64,50)": Array of local signals in contains a total of 50 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,14)": Array of local signals in contains a total of 14 signals that do not appear in any constraint
= For example: in[50], in[51].
warning[CA01]: In template "ShR(64,37)": Array of local signals in contains a total of 37 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,27)": Array of local signals in contains a total of 27 signals that do not appear in any constraint
= For example: in[37], in[38].
warning[CA01]: In template "ShR(64,23)": Array of local signals in contains a total of 23 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,41)": Array of local signals in contains a total of 41 signals that do not appear in any constraint
= For example: in[23], in[24].
warning[CA01]: In template "ShR(64,8)": Array of local signals in contains a total of 8 signals that do not appear in any constraint
= For example: in[0], in[1].
warning[CA01]: In template "ShL(64,56)": Array of local signals in contains a total of 56 signals that do not appear in any constraint
= For example: in[10], in[11].
warning[CA01]: In template "ShR(64,56)": Array of local signals in contains a total of 56 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,8)": Array of local signals in contains a total of 8 signals that do not appear in any constraint
= For example: in[56], in[57].
warning[CA01]: In template "ShR(64,39)": Array of local signals in contains a total of 39 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,25)": Array of local signals in contains a total of 25 signals that do not appear in any constraint
= For example: in[39], in[40].
warning[CA01]: In template "ShR(64,21)": Array of local signals in contains a total of 21 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,43)": Array of local signals in contains a total of 43 signals that do not appear in any constraint
= For example: in[21], in[22].
warning[CA01]: In template "ShR(64,2)": Array of local signals in contains a total of 2 signals that do not appear in any constraint
= For example: in[0], in[1].
warning[CA01]: In template "ShL(64,62)": Array of local signals in contains a total of 62 signals that do not appear in any constraint
= For example: in[10], in[11].
warning[CA01]: In template "ShR(64,46)": Array of local signals in contains a total of 46 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,18)": Array of local signals in contains a total of 18 signals that do not appear in any constraint
= For example: in[46], in[47].
warning[CA01]: In template "ShR(64,25)": Array of local signals in contains a total of 25 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,39)": Array of local signals in contains a total of 39 signals that do not appear in any constraint
= For example: in[25], in[26].
warning[CA01]: In template "ShR(64,3)": Array of local signals in contains a total of 3 signals that do not appear in any constraint
= For example: in[0], in[1].
warning[CA01]: In template "ShL(64,61)": Array of local signals in contains a total of 61 signals that do not appear in any constraint
= For example: in[10], in[11].
warning[CA01]: In template "ShR(64,44)": Array of local signals in contains a total of 44 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,20)": Array of local signals in contains a total of 20 signals that do not appear in any constraint
= For example: in[44], in[45].
warning[CA01]: In template "ShR(64,20)": Array of local signals in contains a total of 20 signals that do not appear in any constraint
= For example: in[0], in[10].
warning[CA01]: In template "ShL(64,44)": Array of local signals in contains a total of 44 signals that do not appear in any constraint
= For example: in[20], in[21].
warning[CA02]: In template "LessThan(248)": Array of subcomponent input/output signals n2b.out contains a total of 248 signals that do not appear in any constraint of the father component
= For example: n2b.out[0], n2b.out[100].
warning[CA01]: In template "Fit(256,160)": Array of local signals in contains a total of 96 signals that do not appear in any constraint
= For example: in[160], in[161].
warning[CA01]: In template "Fit(256,248)": Array of local signals in contains a total of 8 signals that do not appear in any constraint
= For example: in[248], in[249].
warning[CA02]: In template "LessThan(6)": Array of subcomponent input/output signals n2b.out contains a total of 6 signals that do not appear in any constraint of the father component
= For example: n2b.out[0], n2b.out[1].
warning[CA01]: In template "LeafKey(32)": Array of local signals temp contains a total of 63 signals that do not appear in any constraint
= For example: temp[0], temp[10].
@ 48.3536s
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
http://54.191.68.232:3000 {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp/stderr.txt {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/status/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/instance-response/Ib44HRjSRBWE1OTTJ8MbOAlpWRypOqwEVfn0NzRp.json {}
https://circuitscan-artifacts.s3.us-west-2.amazonaws.com/build/undefined/verifier.sol {}
Solidity Verifier Compilation Error!
ParserError: Expected pragma, import directive or contract/interface/library/struct/enum/constant/function/error definition.
--> contracts/Verified.sol:1:1:
|
1 | <?xml version="1.0" encoding="UTF-8"?>
| ^