{
"all_invocations_completed": true,
"entire_library_certified": false,
"modules": 48,
"module_exits": {
"2": 46,
"1": 2
},
"functions": {
"unknown": 1320,
"unsafe": 4
},
"binaries": {
"trident": "bc7bb1f648a094f2ec46d199dbafb10a15737981f5029c71c451b7c1fb4ea723",
"trisha": "498e3c496711ef0f55ba08fa376ef00c3300878fe90daf940804b3136c6ebbc9"
},
"source_files": {
"trident/lib/std/compiler/codegen.tri": "3057b4d2a53d9dcac3eb4dd26946987d6c8306424214349f6d023a9a9738ce33",
"trident/lib/std/compiler/lexer.tri": "8200e2b107d8406b27a0b049ae20951d0ec2ef0e69b69258d30df802e6898c41",
"trident/lib/std/compiler/lower.tri": "f6558b46a9b36217433b50624d66e7ea083662182ddf84d8fbba06e382ea346e",
"trident/lib/std/compiler/optimize.tri": "bf51305d4772ab9df097120d903de88397f5b4a90a532cbe1ae1d62eddbc0ef9",
"trident/lib/std/compiler/parser.tri": "4d421c868615240cf0d33da2f9762ab38e9b08876d30a105658f7c2767d9f8d5",
"trident/lib/std/compiler/pipeline.tri": "2a8c8bcb0ccb2623a4f101be5ff729cdf88f4370aae43a35d07beb5232919365",
"trident/lib/std/compiler/typecheck.tri": "eddb71d033388c23e1f1469478fc93da5f189c0fd489c055aca3c99ce55ca06b",
"trident/lib/std/crypto/bigint.tri": "25d10ca17f8a69897923499a0bbdb186dfd6a215d4e33b1c63e9060aae3d38de",
"trident/lib/std/crypto/ecdsa.tri": "e624f1b2ea9cf9e50bce11b77c99f1eb611ffaa0341c597724eb2d6296cdaae0",
"trident/lib/std/crypto/ed25519.tri": "2f047950160512f9b2bbd0d910123d8a2bbadd8aabfae08ef4a3dafd77f703e4",
"trident/lib/std/crypto/keccak256.tri": "a6ba87db7dc219e2087ce5de4279b95ea2784370c43e45b0350582f191792feb",
"trident/lib/std/crypto/lut_sponge.tri": "2ad4fed8896eb1dcb080f0803a3dac4053be2ff5c5eabc326d244e63fca4ea56",
"trident/lib/std/crypto/poseidon.tri": "125a10c0fec0d4431eabb3d12f6c3f47c13dd2221178108372bacf4aa89a36d3",
"trident/lib/std/crypto/poseidon2.tri": "82bbfb50dfbd22ea8dcfc467f733bfe9ccf356e72e44bc3df909a5195891f1eb",
"trident/lib/std/crypto/preimage.tri": "de2bcc8efbc5b0b8138daca220fa0c79adab4d68cd846bd94dfcc76b10b0a0bb",
"trident/lib/std/crypto/secp256k1.tri": "70249e8accf98a9f1e699476441917c5e13e2ba0a3db8a22f5cdc2db1fcd4ab8",
"trident/lib/std/crypto/sha256.tri": "e37260d26f66da7b69c50ee115099ffd63836385f6565a3f5aa193d45b0a9a81",
"trident/lib/std/fhe/lwe.tri": "f16e9213427b930619a8ad5951b90ca086254074ff5811bfd1d822fb5b648846",
"trident/lib/std/fhe/pbs.tri": "42c9fd2a9489c65612fa3728aca5a27512da66e5868d3292245ccfe1a8c26876",
"trident/lib/std/fhe/rlwe.tri": "a80f4e5330416e11b639997c721ec776c029fe885e8949e232a6a2b446d09b33",
"trident/lib/std/io/storage.tri": "e07759f116746ed4e8b8a29ea47339e0d740a830b7e84843c5d66c925939081e",
"trident/lib/std/math/fibonacci.tri": "480c9d9851c43a66a92a83564900d384f04271c649a9445dc26aeb2a3c813eac",
"trident/lib/std/math/lut.tri": "8440c4998fa2b1c50bfe3b827bec4d2d5ab80dfdde53be901d2f6c07477a9767",
"trident/lib/std/nn/tensor.tri": "039d9b67da685add6ada258d7c10d5ebc9e724d237db6479da922687d62da007",
"trident/lib/std/private/poly.tri": "45f698e115f8593a6cbfc372a6d980e0898a903b307b146f3fa3d7e45deef075",
"trident/lib/std/quantum/gates.tri": "db09e61943fde8c1b673d7dea5db5b857b6eb33d830d868c2b7e5f5c30b07bdd",
"trident/lib/std/target.tri": "683af0cbd9c7534a0fe536b662f9f88ecea41921233df81f72dc2a4e4f20b8ba",
"trident/lib/std/trinity/inference.tri": "9af03228bf6aef903a3d012e61f01d34f224c37061bfe7f0631018ea4c6b0125",
"trident/lib/vm/core/assert.tri": "ca83a2baba4f44326a6118092573119cf512668f865cc904a6b089ddcb2d94ff",
"trident/lib/vm/core/convert.tri": "bed1495b40f6d3b0085961924fb2ac2bc6a37b22267110dfb8a2b71af6d58b19",
"trident/lib/vm/core/field.tri": "45718423e4f0a72eb0e8528993f2c0b7bde9d858e6c7f8ebeaf53aaf313a210a",
"trident/lib/vm/core/u32.tri": "88bb4c482f5c436fb5dd24ee828aba9654d31a661cb68459438e942ac6fd0b08",
"trident/lib/vm/io/io.tri": "28081bb83abe26956523951db55e72ad40c725ddb42df9b4c01ea09a168d1928",
"trident/lib/vm/io/mem.tri": "2e2f6676e9f53a957d2c8d9727b541974a4437dfffe47e3424215de567f9a93b",
"trisha/lib/os/neptune/auth.tri": "9bf6729049db58864941ebbe114b7c33333c7a865b7d4aaed9bf0714f52336b1",
"trisha/lib/os/neptune/custom_token.tri": "56de5f9f651bab4fe3bbea62fc26024d887c944a55254b066dd09f6eeddc9e1e",
"trisha/lib/os/neptune/kernel.tri": "fe3574ad2f254ee534487148e3c17f800b4934c885c779f506a0efe2e40a3604",
"trisha/lib/os/neptune/native_currency.tri": "50d13f1483519bd590ce3d57bffe0d8c2a04311336d3b5686c9e59abd8a070ec",
"trisha/lib/os/neptune/recursive.tri": "2e6391d9f8b3f2df93aad16aa74267330a8028b80461ed95610affa972b94f3d",
"trisha/lib/os/neptune/standards/plumb.tri": "b3361830043540405cf033c84a0e60abafec599e5bcda588537fd3793335cedb",
"trisha/lib/os/neptune/transaction.tri": "d05e9733a0c9f45e3ad9d4ba7995afd19c9f6020be28e1953e318d066c85ee6e",
"trisha/lib/os/neptune/utxo.tri": "e70b9451412bcba4c317695ff23aa607dfe08d255e337225a60332b391b5f0ac",
"trisha/lib/os/neptune/xfield.tri": "f8051544de171f8bce0040a943efe89677dbdd2b78dd254621ffd740befec308",
"trisha/lib/vm/triton/context.tri": "35b94b0161f29cb32a3b2ba5f543fb06586cfd173c82b3dafccf6563ee904436",
"trisha/lib/vm/triton/hash.tri": "23ece9d60df07a8f5040e5c534ee9a600d58b7cfda148c356d17c141320874aa",
"trisha/lib/vm/triton/merkle.tri": "e4a214e0e8141e7995a342b748ddca1cde74e0d3e5e47edc67ffa8fe5e6b8dab",
"trisha/lib/vm/triton/merkle_proof.tri": "353bf0c8487f9cbc9bad08f9c3a7ec080f99359059060be2e8b0c7cdaf1b241b",
"trisha/lib/vm/triton/proof.tri": "b4dd551278493e724c1d4094d6f6bf7bd5e2e598d8fb5d9d448546f36509c0d8"
},
"elapsed_seconds": 2.037602999997034,
"results_sha256": "9bc17fdea2ef56b2dde3be816c6a092f81a734b0a73db4b53da9e70db4adcff8",
"z3_version": "Z3 version 4.15.4 - 64 bit"
}