From f38c856c78c3e3792ff482b415b6c2501cc02a70 Mon Sep 17 00:00:00 2001 From: Geoffroy Couprie Date: Fri, 24 Sep 2021 23:37:28 +0200 Subject: [PATCH] the key is now serialized with an enum indicating its algorithm this will open the way t other urves or algorithms, like P256 --- SPECIFICATIONS.md | 7 +- samples/v2/README.md | 62 +++++++++--------- samples/v2/samples.json | 62 +++++++++--------- samples/v2/test10_verifier_scope.bc | Bin 297 -> 306 bytes .../v2/test11_verifier_authority_caveats.bc | Bin 170 -> 174 bytes samples/v2/test12_authority_caveats.bc | Bin 178 -> 182 bytes samples/v2/test13_block_rules.bc | Bin 489 -> 497 bytes samples/v2/test14_regex_constraint.bc | Bin 218 -> 222 bytes samples/v2/test15_multi_queries_caveats.bc | Bin 177 -> 181 bytes samples/v2/test16_caveat_head_name.bc | Bin 300 -> 308 bytes samples/v2/test17_expressions.bc | Bin 1142 -> 1146 bytes .../v2/test18_unbound_variables_in_rule.bc | Bin 337 -> 345 bytes ...est19_generating_ambient_from_variables.bc | Bin 312 -> 321 bytes samples/v2/test1_basic.bc | Bin 370 -> 378 bytes samples/v2/test20_sealed.bc | Bin 402 -> 410 bytes samples/v2/test2_different_root_key.bc | Bin 328 -> 336 bytes samples/v2/test3_invalid_signature_format.bc | Bin 321 -> 330 bytes samples/v2/test4_random_block.bc | Bin 349 -> 357 bytes samples/v2/test5_invalid_signature.bc | Bin 370 -> 378 bytes samples/v2/test6_reordered_blocks.bc | Bin 505 -> 517 bytes samples/v2/test7_scoped_rules.bc | Bin 533 -> 546 bytes samples/v2/test8_scoped_checks.bc | Bin 455 -> 468 bytes samples/v2/test9_expired_token.bc | Bin 352 -> 360 bytes schema.proto | 13 +++- 24 files changed, 78 insertions(+), 66 deletions(-) diff --git a/SPECIFICATIONS.md b/SPECIFICATIONS.md index 329e718..01cbfc2 100644 --- a/SPECIFICATIONS.md +++ b/SPECIFICATIONS.md @@ -524,7 +524,8 @@ token. * `(pk_0, sk_0)` the root public and private Ed25519 keys * `data_0` the serialized Datalog * `(pk_1, sk_1)` the next key pair, generated at random -* `sig_0 = sign(sk_0, data_0 + pk_1)` +* `alg_1` the little endian representation of the signature algorithm fr `pk1, sk1` (see protobuf schema) +* `sig_0 = sign(sk_0, data_0 + alg_1 + pk_1)` The token will contain: @@ -553,7 +554,7 @@ Block n contains: The token also contains `sk_n+1` -We generate at random `(pk_n+2, sk_n+2)` and the signature `sig_n+1 = sign(sk_n+1, data_n+1 + pk_n+2)` +We generate at random `(pk_n+2, sk_n+2)` and the signature `sig_n+1 = sign(sk_n+1, data_n+1 + alg_n+2 + pk_n+2)` The token will contain: @@ -576,7 +577,7 @@ Token { For each block i from 0 to n: -- verify(pk_i, sig_i, data_i+pk_i+1) +- verify(pk_i, sig_i, data_i + alg_i + pk_i+1) If all signatures are verified, extract pk_n+1 from the last block and sk_n+1 from the proof field, and check that they are from the same diff --git a/samples/v2/README.md b/samples/v2/README.md index 67c1fe5..2fcff55 100644 --- a/samples/v2/README.md +++ b/samples/v2/README.md @@ -38,8 +38,8 @@ verifier world: World { facts: { "resource(\"file1\")", - "revocation_id(0, hex:bd6e89a2b700700cc68e644298685b1283deee82cc119417d03391a652cfa2bd55968f8e6039c48c39daa6a5efe984eb56733e9eb3289d9fb4c310b95c0a3701)", - "revocation_id(1, hex:588f783d07f5bc0f145c452776494dcbbfed460484e7c06bba82b0f4edfbe2ecac9e97efc420a4344361544a21c6fa1f95dd0aeb4b161c6fbd06b839ffedd80a)", + "revocation_id(0, hex:9d3e984bd0447eea9f31a56df51ba606160c66102063dd29410a2c85601a2139ce0cd212daf755ed0b8fe1f0e9388a89074b009b7169499e51df83c308e8d20b)", + "revocation_id(1, hex:5cade9fd3690b72bf90c29c529cb5b1bb50832554ba525b15c5d3f7c994814af522c5a68d61a950bc5f98d9ff4e3e20ffecef65ddaa2858251768ec999ed8b06)", "right(\"file1\", \"read\")", "right(\"file1\", \"write\")", "right(\"file2\", \"read\")", @@ -246,9 +246,9 @@ World { "owner(\"alice\", \"file1\")", "owner(\"alice\", \"file2\")", "resource(\"file2\")", - "revocation_id(0, hex:9373e9f4418a9ce4818e5031c7fbd6dadd840c4ea5d9dd8ee088fdbd9f8c9da3a6517ee7fb581ee2a75ac3fe9eb4cc10338e6b877849dc433c7a62d1cd5a9706)", - "revocation_id(1, hex:6dd0e774476520b616e8b68ee693791e2273d2349adbd1c58ebd987895c5286400b8af081f2cf5d1a565be2d96bb906990c3f4287dbae3dd1ab0fdd2dce31e0a)", - "revocation_id(2, hex:ce242e513db4cf2dcd8a5cc2cd37313caab903b8f0bd7bfb86c425a9a4af043492325d67ce97ff570667fa2325091caa025d5bb1f68b48fc11bc7b689e78e20e)", + "revocation_id(0, hex:d2454c600567418982b2787c1fbc4e04d6f59f1576b6613d1cacd30440f673a0c44728457a39fb8085e4152a8195e0bdfbe3a5fdcfafd08b33ad53c3274c6d0c)", + "revocation_id(1, hex:aad436b9239c4df033f0ad88276981f7738033df4562c0e2ae3da1fa9629c050e00a44e5831520cdb4dba879cfb047cde523ef5fbffc19e5fcd5969177466400)", + "revocation_id(2, hex:ca46c3c9099242ea594642ea6fa75c47df463b2548f090e0800fc10375d2cd464571c54316cfbee863c01f49ccd72492483d95134090327ea92984202c07d004)", "user_id(\"alice\")", } rules: {} @@ -304,9 +304,9 @@ World { facts: { "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:8e4fba9d79d7752b74808e9571804778d358f1be3dca8cde638e15683d14a0587e38f39d726a52c93b87c1c6a80e6cffed57761dcc0cd42e2d94819c661b1607)", - "revocation_id(1, hex:4222d817999f47d1b52dfb4e6457487b69153a8a8b87b9f42160b7210bcfe1d01e8ad752311751fcbf87e20a7a92e5e789b7d09b8539dec7603038f29d2a0a07)", - "revocation_id(2, hex:05f1a98da4caccc50bda218ead6d535e27cb7a07a1cc7d792ae3ce718a9b01b7066ec5a794ec8ac7a4d94573b0b66a6a1c1d69bb561e6980707c8beb2f94140f)", + "revocation_id(0, hex:593c16b2bb2a00c02a9be0504206a142c77917af234ea7b5109b1bad22459fc4e6680ff38c852ca75959f637ebb02479d60d63d47e1514636c34acf3b378c40e)", + "revocation_id(1, hex:8dddcbff3fd9dfd494b98a9c15225e1064e5c96eaf977e6a06e6581bdea2440c67ea7a88d7d51badf732217351ead40041beda6d4f892518e46b187207bc840c)", + "revocation_id(2, hex:587e3b1a03c3247db490c246adf0e02e00abda4b2cccb1dbf1adb5ccb5b978d9a9bbf8fcdcc81680e0f9d89e57cb1537a4e71a50e8b1542761b585d9a204f504)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", } @@ -357,8 +357,8 @@ World { facts: { "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:09fe2276d4a6f7a0cb53e4d5f804f96ecfb500d5e17004313fb3f2ce329250f2f6dca25a6af669775f8011fde7d6c00d7e6217faa5746417c328887e89837503)", - "revocation_id(1, hex:c3a558b2a401af6de4a39a60e427fdd6692320370a3ebf54c9aef67cd6b1cd5406d60b61ef297a2a73b9a07adf62f2e0c29a43c90a126eb157057361e781bd05)", + "revocation_id(0, hex:16d0a9d7f3d29ee2112d67451c8e4ff07bd5366a6cdb082cf4fcb66e6d15a57a22009ef1018fc4d0f9184edb0900df161807bc6f8287275f32eae6b5b1c57100)", + "revocation_id(1, hex:0670d948462e0cc248ce45b7ea04cbfb126a7559c8d60b533f7f0a92696900ee4e432780b526462b845d372c9b7b223c43efc22e0441b14b0bc4661e05ebfe03)", "time(2020-12-21T09:23:12+00:00)", } rules: {} @@ -409,8 +409,8 @@ World { facts: { "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:7fa94693fffd5f804deac39567c7b79ba839d961368d668cc0ea7b84a895df64a0cb8f89774fdf356066980f202ba7fd9a645e6dbe0efc3e9fadfdad4ce99907)", - "revocation_id(1, hex:666823b6e4e465241cabca743f0d49e461bd6cb3ad04e4646f33ca187554a9fd8ad37998411abf9cfc7bf33f84cce7f34126d87c0638503520d353b7afb41505)", + "revocation_id(0, hex:5e626c4991877dd41d9e506d51a3888454cc764e11622945b24df99ca0bcc7f144d41aea0fb88778e67cf0f8609e47302d11007dc456bcdb98c14a25a6eecc05)", + "revocation_id(1, hex:1c5896cc25959f456db10fa142164f90e99791313d65025e2058e4f990314f12965a22ca394f448083c64fd29438ff9ad25634320f8907a0587153d905adc108)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", } @@ -457,7 +457,7 @@ World { facts: { "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:87298abf1b281814c29c4a52cf3252eddd454703edae0e2599c560ebd471c5d95b0c73cb80ba767ad29cb3af89cdb86df0f5a22ed297b4b3374d9d270751100c)", + "revocation_id(0, hex:7c0601144e26538ed4870f844a970b2b8bdabab13dd676763956ae9a8e3ec830fbb8a031b92abd4eb66124d9f8d86576a5161cd1499f29539372676fdb740505)", "right(\"file1\", \"read\")", } rules: {} @@ -501,7 +501,7 @@ World { facts: { "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:bb673d5a10e849db2903e9cd9ca6134bcff4720628ef97b613a20a310d1b0980208ab53eb584f2be049bf7381c3fcae45ec88e7cce06f0af10ebd1e86cd9b902)", + "revocation_id(0, hex:0d313cc11a09af8844290865c919220aebfb260aa5a1f738c8a8f3df677902e5ea06f408fa316d527926a688764a2c5e06cdecf14bc1ace3e6128323dcb8c801)", } rules: {} checks: {} @@ -526,7 +526,7 @@ World { facts: { "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:bb673d5a10e849db2903e9cd9ca6134bcff4720628ef97b613a20a310d1b0980208ab53eb584f2be049bf7381c3fcae45ec88e7cce06f0af10ebd1e86cd9b902)", + "revocation_id(0, hex:0d313cc11a09af8844290865c919220aebfb260aa5a1f738c8a8f3df677902e5ea06f408fa316d527926a688764a2c5e06cdecf14bc1ace3e6128323dcb8c801)", } rules: {} checks: {} @@ -576,8 +576,8 @@ verifier world: World { facts: { "resource(\"file1\")", - "revocation_id(0, hex:5ba8b06cd4c4f7fe0993836ceee769ec915be987f643662ec7d8d4f244286cdf65a1adf6e5327688cb0d8a4f40ef368c11bf7c27d8507608920b0ccd2249ad0f)", - "revocation_id(1, hex:f1128098488f48f2185539a8f1b2493e3e66cd824b0226a5d9424eea685290938aafb2b18147e9f08d64e557f2bea5954d30bf66032bd0f12b2a9d6e310ba208)", + "revocation_id(0, hex:893ff2daf44325f05849f581de561732094f14223d724202ce2f3d4058cead2ba238e4ef3a6b18f076f155e5e21ec30eded28f98d29979a39eb7f72da128a404)", + "revocation_id(1, hex:3189fe4ccec73777fcb0a63fb497c4391bc967c1cc02ec409ae19e7e30fd2bfeb2c309e67c615bcae986a0de15a1a21b5623ccdab5afe36c11c539ac7e475202)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", "time(2020-12-21T09:23:12+00:00)", @@ -605,8 +605,8 @@ verifier world: World { facts: { "resource(\"file2\")", - "revocation_id(0, hex:5ba8b06cd4c4f7fe0993836ceee769ec915be987f643662ec7d8d4f244286cdf65a1adf6e5327688cb0d8a4f40ef368c11bf7c27d8507608920b0ccd2249ad0f)", - "revocation_id(1, hex:f1128098488f48f2185539a8f1b2493e3e66cd824b0226a5d9424eea685290938aafb2b18147e9f08d64e557f2bea5954d30bf66032bd0f12b2a9d6e310ba208)", + "revocation_id(0, hex:893ff2daf44325f05849f581de561732094f14223d724202ce2f3d4058cead2ba238e4ef3a6b18f076f155e5e21ec30eded28f98d29979a39eb7f72da128a404)", + "revocation_id(1, hex:3189fe4ccec73777fcb0a63fb497c4391bc967c1cc02ec409ae19e7e30fd2bfeb2c309e67c615bcae986a0de15a1a21b5623ccdab5afe36c11c539ac7e475202)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", "time(2020-12-21T09:23:12+00:00)", @@ -648,7 +648,7 @@ verifier world: World { facts: { "resource(\"file1\")", - "revocation_id(0, hex:7d7317a3d4c1705ef0f14daab4b0877dee913db0883b0efb1e8af4b3e0762262a51dc6e8f179af573723fd77c919cfccc02d376d8a80abd2a33716aa99558a05)", + "revocation_id(0, hex:9752ecf19b270129471b459de5b8fbf6c04ad652d1ebd042f79efd8ceb6d14fd3a92ff5f2ada3996895bc4e9effe2b723b775d28ddcdc2365294a4420b67790f)", } rules: {} checks: {} @@ -671,7 +671,7 @@ verifier world: World { facts: { "resource(\"file123.txt\")", - "revocation_id(0, hex:7d7317a3d4c1705ef0f14daab4b0877dee913db0883b0efb1e8af4b3e0762262a51dc6e8f179af573723fd77c919cfccc02d376d8a80abd2a33716aa99558a05)", + "revocation_id(0, hex:9752ecf19b270129471b459de5b8fbf6c04ad652d1ebd042f79efd8ceb6d14fd3a92ff5f2ada3996895bc4e9effe2b723b775d28ddcdc2365294a4420b67790f)", } rules: {} checks: {} @@ -711,7 +711,7 @@ verifier world: World { facts: { "must_be_present(\"hello\")", - "revocation_id(0, hex:a83fd5ebefd85373c624bfa0847c2c13726b1120319b735781a34fd59a6f045dc906b1ba7006e9c26687c8d5e0ba23eebd68f4a868367ee7ceb1ea377cc67409)", + "revocation_id(0, hex:aa4293d9e62461c2871071a3c40c515427927fa47e7e123e857ba1f41275a87ca53db2183023d09a4ad09cf6c1e70c816a48ab0b532a49c3ebb903cfbc66cf01)", } rules: {} checks: { @@ -758,8 +758,8 @@ verifier world: World { facts: { "check1(\"test\")", - "revocation_id(0, hex:75a758d48783b23b4337b71c3567fb1d5293d5538d74cf3a4f1bfe306a0f79f393f2e7e9bd48ca48ccb587deca870b71df82f7decf8ed663e801eb4ee7080804)", - "revocation_id(1, hex:177092ffbb60e4e44ea5c7d07415782c018a28a2765317ae3e14526ca8fbb0f55a60b264c60269ac277a48a868f27774d10cd46cbe77380dad9e73c82c49eb00)", + "revocation_id(0, hex:aa8f26e32b6a55fe99decfb0f2c229776cc30360e5b68a5b06e730f1e9a13697f87929592f37b7b58dd00dececd6fa40540a3879f74bd232505f1c419907000c)", + "revocation_id(1, hex:02766fa2dbb0bd5a2d4d3fc4e0dd9252ec4dc118fe5bc0eafb67fbce0ddf6a86f4db7ecc0b1da14c210b8dcae53fcfc44565edb32ba18bfc9ca9f97258c4db0d)", } rules: {} checks: {} @@ -822,7 +822,7 @@ verifier world: ``` World { facts: { - "revocation_id(0, hex:ed59c23946d8f86642de25d718ae29ad25d923bf303bf8bd1460eee140e28e12571eadf4bd03c952af43573b1dd32e764d70dc9f76f57920c42507612b348602)", + "revocation_id(0, hex:39e2c7e2319cc614acf881d06bfd5e344a0e7ed2c4c15e0d068f66467276dead3db6d4aca2cf5b688fc84f13861c7c89c047adde161f962dee18099902da5608)", } rules: {} checks: {} @@ -868,8 +868,8 @@ verifier world: World { facts: { "operation(\"write\")", - "revocation_id(0, hex:814d95cb15c293aaefe111506e40ee48a6630a4409e2032288865fb3322615e6c4d2f7b64762d5a755310936ebc9314927816b5640a9c9b7cc2374bdcf649b0a)", - "revocation_id(1, hex:08a93c775baef6d662229a7059faa307517589359d229fa90e1cc7a540361c607415257853d834fe7557d9c54005550627ee8c5d05ce031b923069f9bef71a0e)", + "revocation_id(0, hex:33756b656cbb74acea3613b37ba27be1c761ebeacfb5143bab0e284febb04f048eda846b1419558f38d08628b141cd1b38a261c6e865d1c8ed65722a839ec803)", + "revocation_id(1, hex:05b10a427cfb7e4712bf8b56edaba207200a53b68a4e8b79afe935b37791e7ac5bfb89ff6c6f20795a82a8b18d60194b92db55d0a82edd8ce3a744459fe3130b)", } rules: {} checks: {} @@ -916,8 +916,8 @@ World { facts: { "operation(\"read\")", "operation(\"write\")", - "revocation_id(0, hex:9c3f40ab693f438286e61310572c6fe0fbf5bb289cad11e5fb6425c10fdd55922a3398c3fef64e7f8da2bb86e12f76b520d70497144a1a54dc6bb2037d774e09)", - "revocation_id(1, hex:c4956938e31a6e29f609e833884db72dc49636344f3a40c1b80a839ebdb08d2453a422d8d2a33b8950e1750607adede01c52415f85034b7b7df1886de9fc9502)", + "revocation_id(0, hex:f2bb00974734d38dd729b0cf8e6625a63186cc03b43d48b662d7e9f5821f90881359802ebac1fdf3407f15a65c1584363f8ea03f50eb66105df55275415a910c)", + "revocation_id(1, hex:72f9a076f221f3458db15b373df023245bd0fc811ea28a9f99b79bd908224ea317986692c159a54f3aba1f15ba771c8e3ac6bc998a36e79a08aedbc25f1e200d)", } rules: {} checks: {} @@ -967,8 +967,8 @@ World { facts: { "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:b0eb17f363e71adaac3a571d2b813321414dd9dc8714a767185a862575bd16a6b73b19655ffe1c6dcbb75c35715b3298ae29595287cbc8fafeb4d676292d3b02)", - "revocation_id(1, hex:7e57a5130b5ccf8383cb74e60ebb240ac5339433fd6cc4b904c7583bd522a404fd391fc09138b3a8fa73a58d4facd05577f4e72acb7ef36be7e0dc885272ad00)", + "revocation_id(0, hex:669be0e6d07eb7a34be1f48921976e70ff9491845f4c983c59bfd0aac449a76c239120f152e1ed10d1c86da73cf7ff6f3bdde0f42e242d0f911e0b938d516c04)", + "revocation_id(1, hex:05c5f63076fb7ad5d6eef8a486d8a460c8fa8d986e1d8f9a0b28997687b0541fccd42fb974c4ed3032a0f5553f7c8022c4ad734df87e589ca25efcab8552b009)", "right(\"file1\", \"read\")", "right(\"file1\", \"write\")", "right(\"file2\", \"read\")", diff --git a/samples/v2/samples.json b/samples/v2/samples.json index 82e2a0c..eaac09b 100644 --- a/samples/v2/samples.json +++ b/samples/v2/samples.json @@ -28,8 +28,8 @@ "world": { "facts": [ "resource(\"file1\")", - "revocation_id(0, hex:bd6e89a2b700700cc68e644298685b1283deee82cc119417d03391a652cfa2bd55968f8e6039c48c39daa6a5efe984eb56733e9eb3289d9fb4c310b95c0a3701)", - "revocation_id(1, hex:588f783d07f5bc0f145c452776494dcbbfed460484e7c06bba82b0f4edfbe2ecac9e97efc420a4344361544a21c6fa1f95dd0aeb4b161c6fbd06b839ffedd80a)", + "revocation_id(0, hex:9d3e984bd0447eea9f31a56df51ba606160c66102063dd29410a2c85601a2139ce0cd212daf755ed0b8fe1f0e9388a89074b009b7169499e51df83c308e8d20b)", + "revocation_id(1, hex:5cade9fd3690b72bf90c29c529cb5b1bb50832554ba525b15c5d3f7c994814af522c5a68d61a950bc5f98d9ff4e3e20ffecef65ddaa2858251768ec999ed8b06)", "right(\"file1\", \"read\")", "right(\"file1\", \"write\")", "right(\"file2\", \"read\")" @@ -255,9 +255,9 @@ "owner(\"alice\", \"file1\")", "owner(\"alice\", \"file2\")", "resource(\"file2\")", - "revocation_id(0, hex:9373e9f4418a9ce4818e5031c7fbd6dadd840c4ea5d9dd8ee088fdbd9f8c9da3a6517ee7fb581ee2a75ac3fe9eb4cc10338e6b877849dc433c7a62d1cd5a9706)", - "revocation_id(1, hex:6dd0e774476520b616e8b68ee693791e2273d2349adbd1c58ebd987895c5286400b8af081f2cf5d1a565be2d96bb906990c3f4287dbae3dd1ab0fdd2dce31e0a)", - "revocation_id(2, hex:ce242e513db4cf2dcd8a5cc2cd37313caab903b8f0bd7bfb86c425a9a4af043492325d67ce97ff570667fa2325091caa025d5bb1f68b48fc11bc7b689e78e20e)", + "revocation_id(0, hex:d2454c600567418982b2787c1fbc4e04d6f59f1576b6613d1cacd30440f673a0c44728457a39fb8085e4152a8195e0bdfbe3a5fdcfafd08b33ad53c3274c6d0c)", + "revocation_id(1, hex:aad436b9239c4df033f0ad88276981f7738033df4562c0e2ae3da1fa9629c050e00a44e5831520cdb4dba879cfb047cde523ef5fbffc19e5fcd5969177466400)", + "revocation_id(2, hex:ca46c3c9099242ea594642ea6fa75c47df463b2548f090e0800fc10375d2cd464571c54316cfbee863c01f49ccd72492483d95134090327ea92984202c07d004)", "user_id(\"alice\")" ], "rules": [], @@ -306,9 +306,9 @@ "facts": [ "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:8e4fba9d79d7752b74808e9571804778d358f1be3dca8cde638e15683d14a0587e38f39d726a52c93b87c1c6a80e6cffed57761dcc0cd42e2d94819c661b1607)", - "revocation_id(1, hex:4222d817999f47d1b52dfb4e6457487b69153a8a8b87b9f42160b7210bcfe1d01e8ad752311751fcbf87e20a7a92e5e789b7d09b8539dec7603038f29d2a0a07)", - "revocation_id(2, hex:05f1a98da4caccc50bda218ead6d535e27cb7a07a1cc7d792ae3ce718a9b01b7066ec5a794ec8ac7a4d94573b0b66a6a1c1d69bb561e6980707c8beb2f94140f)", + "revocation_id(0, hex:593c16b2bb2a00c02a9be0504206a142c77917af234ea7b5109b1bad22459fc4e6680ff38c852ca75959f637ebb02479d60d63d47e1514636c34acf3b378c40e)", + "revocation_id(1, hex:8dddcbff3fd9dfd494b98a9c15225e1064e5c96eaf977e6a06e6581bdea2440c67ea7a88d7d51badf732217351ead40041beda6d4f892518e46b187207bc840c)", + "revocation_id(2, hex:587e3b1a03c3247db490c246adf0e02e00abda4b2cccb1dbf1adb5ccb5b978d9a9bbf8fcdcc81680e0f9d89e57cb1537a4e71a50e8b1542761b585d9a204f504)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")" ], @@ -352,8 +352,8 @@ "facts": [ "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:09fe2276d4a6f7a0cb53e4d5f804f96ecfb500d5e17004313fb3f2ce329250f2f6dca25a6af669775f8011fde7d6c00d7e6217faa5746417c328887e89837503)", - "revocation_id(1, hex:c3a558b2a401af6de4a39a60e427fdd6692320370a3ebf54c9aef67cd6b1cd5406d60b61ef297a2a73b9a07adf62f2e0c29a43c90a126eb157057361e781bd05)", + "revocation_id(0, hex:16d0a9d7f3d29ee2112d67451c8e4ff07bd5366a6cdb082cf4fcb66e6d15a57a22009ef1018fc4d0f9184edb0900df161807bc6f8287275f32eae6b5b1c57100)", + "revocation_id(1, hex:0670d948462e0cc248ce45b7ea04cbfb126a7559c8d60b533f7f0a92696900ee4e432780b526462b845d372c9b7b223c43efc22e0441b14b0bc4661e05ebfe03)", "time(2020-12-21T09:23:12+00:00)" ], "rules": [], @@ -395,8 +395,8 @@ "facts": [ "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:7fa94693fffd5f804deac39567c7b79ba839d961368d668cc0ea7b84a895df64a0cb8f89774fdf356066980f202ba7fd9a645e6dbe0efc3e9fadfdad4ce99907)", - "revocation_id(1, hex:666823b6e4e465241cabca743f0d49e461bd6cb3ad04e4646f33ca187554a9fd8ad37998411abf9cfc7bf33f84cce7f34126d87c0638503520d353b7afb41505)", + "revocation_id(0, hex:5e626c4991877dd41d9e506d51a3888454cc764e11622945b24df99ca0bcc7f144d41aea0fb88778e67cf0f8609e47302d11007dc456bcdb98c14a25a6eecc05)", + "revocation_id(1, hex:1c5896cc25959f456db10fa142164f90e99791313d65025e2058e4f990314f12965a22ca394f448083c64fd29438ff9ad25634320f8907a0587153d905adc108)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")" ], @@ -435,7 +435,7 @@ "facts": [ "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:87298abf1b281814c29c4a52cf3252eddd454703edae0e2599c560ebd471c5d95b0c73cb80ba767ad29cb3af89cdb86df0f5a22ed297b4b3374d9d270751100c)", + "revocation_id(0, hex:7c0601144e26538ed4870f844a970b2b8bdabab13dd676763956ae9a8e3ec830fbb8a031b92abd4eb66124d9f8d86576a5161cd1499f29539372676fdb740505)", "right(\"file1\", \"read\")" ], "rules": [], @@ -473,7 +473,7 @@ "facts": [ "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:bb673d5a10e849db2903e9cd9ca6134bcff4720628ef97b613a20a310d1b0980208ab53eb584f2be049bf7381c3fcae45ec88e7cce06f0af10ebd1e86cd9b902)" + "revocation_id(0, hex:0d313cc11a09af8844290865c919220aebfb260aa5a1f738c8a8f3df677902e5ea06f408fa316d527926a688764a2c5e06cdecf14bc1ace3e6128323dcb8c801)" ], "rules": [], "checks": [], @@ -491,7 +491,7 @@ "facts": [ "operation(\"read\")", "resource(\"file2\")", - "revocation_id(0, hex:bb673d5a10e849db2903e9cd9ca6134bcff4720628ef97b613a20a310d1b0980208ab53eb584f2be049bf7381c3fcae45ec88e7cce06f0af10ebd1e86cd9b902)" + "revocation_id(0, hex:0d313cc11a09af8844290865c919220aebfb260aa5a1f738c8a8f3df677902e5ea06f408fa316d527926a688764a2c5e06cdecf14bc1ace3e6128323dcb8c801)" ], "rules": [], "checks": [], @@ -536,8 +536,8 @@ "world": { "facts": [ "resource(\"file1\")", - "revocation_id(0, hex:5ba8b06cd4c4f7fe0993836ceee769ec915be987f643662ec7d8d4f244286cdf65a1adf6e5327688cb0d8a4f40ef368c11bf7c27d8507608920b0ccd2249ad0f)", - "revocation_id(1, hex:f1128098488f48f2185539a8f1b2493e3e66cd824b0226a5d9424eea685290938aafb2b18147e9f08d64e557f2bea5954d30bf66032bd0f12b2a9d6e310ba208)", + "revocation_id(0, hex:893ff2daf44325f05849f581de561732094f14223d724202ce2f3d4058cead2ba238e4ef3a6b18f076f155e5e21ec30eded28f98d29979a39eb7f72da128a404)", + "revocation_id(1, hex:3189fe4ccec73777fcb0a63fb497c4391bc967c1cc02ec409ae19e7e30fd2bfeb2c309e67c615bcae986a0de15a1a21b5623ccdab5afe36c11c539ac7e475202)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", "time(2020-12-21T09:23:12+00:00)", @@ -558,8 +558,8 @@ "world": { "facts": [ "resource(\"file2\")", - "revocation_id(0, hex:5ba8b06cd4c4f7fe0993836ceee769ec915be987f643662ec7d8d4f244286cdf65a1adf6e5327688cb0d8a4f40ef368c11bf7c27d8507608920b0ccd2249ad0f)", - "revocation_id(1, hex:f1128098488f48f2185539a8f1b2493e3e66cd824b0226a5d9424eea685290938aafb2b18147e9f08d64e557f2bea5954d30bf66032bd0f12b2a9d6e310ba208)", + "revocation_id(0, hex:893ff2daf44325f05849f581de561732094f14223d724202ce2f3d4058cead2ba238e4ef3a6b18f076f155e5e21ec30eded28f98d29979a39eb7f72da128a404)", + "revocation_id(1, hex:3189fe4ccec73777fcb0a63fb497c4391bc967c1cc02ec409ae19e7e30fd2bfeb2c309e67c615bcae986a0de15a1a21b5623ccdab5afe36c11c539ac7e475202)", "right(\"file1\", \"read\")", "right(\"file2\", \"read\")", "time(2020-12-21T09:23:12+00:00)" @@ -597,7 +597,7 @@ "world": { "facts": [ "resource(\"file1\")", - "revocation_id(0, hex:7d7317a3d4c1705ef0f14daab4b0877dee913db0883b0efb1e8af4b3e0762262a51dc6e8f179af573723fd77c919cfccc02d376d8a80abd2a33716aa99558a05)" + "revocation_id(0, hex:9752ecf19b270129471b459de5b8fbf6c04ad652d1ebd042f79efd8ceb6d14fd3a92ff5f2ada3996895bc4e9effe2b723b775d28ddcdc2365294a4420b67790f)" ], "rules": [], "checks": [], @@ -616,7 +616,7 @@ "world": { "facts": [ "resource(\"file123.txt\")", - "revocation_id(0, hex:7d7317a3d4c1705ef0f14daab4b0877dee913db0883b0efb1e8af4b3e0762262a51dc6e8f179af573723fd77c919cfccc02d376d8a80abd2a33716aa99558a05)" + "revocation_id(0, hex:9752ecf19b270129471b459de5b8fbf6c04ad652d1ebd042f79efd8ceb6d14fd3a92ff5f2ada3996895bc4e9effe2b723b775d28ddcdc2365294a4420b67790f)" ], "rules": [], "checks": [], @@ -648,7 +648,7 @@ "world": { "facts": [ "must_be_present(\"hello\")", - "revocation_id(0, hex:a83fd5ebefd85373c624bfa0847c2c13726b1120319b735781a34fd59a6f045dc906b1ba7006e9c26687c8d5e0ba23eebd68f4a868367ee7ceb1ea377cc67409)" + "revocation_id(0, hex:aa4293d9e62461c2871071a3c40c515427927fa47e7e123e857ba1f41275a87ca53db2183023d09a4ad09cf6c1e70c816a48ab0b532a49c3ebb903cfbc66cf01)" ], "rules": [], "checks": [ @@ -687,8 +687,8 @@ "world": { "facts": [ "check1(\"test\")", - "revocation_id(0, hex:75a758d48783b23b4337b71c3567fb1d5293d5538d74cf3a4f1bfe306a0f79f393f2e7e9bd48ca48ccb587deca870b71df82f7decf8ed663e801eb4ee7080804)", - "revocation_id(1, hex:177092ffbb60e4e44ea5c7d07415782c018a28a2765317ae3e14526ca8fbb0f55a60b264c60269ac277a48a868f27774d10cd46cbe77380dad9e73c82c49eb00)" + "revocation_id(0, hex:aa8f26e32b6a55fe99decfb0f2c229776cc30360e5b68a5b06e730f1e9a13697f87929592f37b7b58dd00dececd6fa40540a3879f74bd232505f1c419907000c)", + "revocation_id(1, hex:02766fa2dbb0bd5a2d4d3fc4e0dd9252ec4dc118fe5bc0eafb67fbce0ddf6a86f4db7ecc0b1da14c210b8dcae53fcfc44565edb32ba18bfc9ca9f97258c4db0d)" ], "rules": [], "checks": [], @@ -728,7 +728,7 @@ "": { "world": { "facts": [ - "revocation_id(0, hex:ed59c23946d8f86642de25d718ae29ad25d923bf303bf8bd1460eee140e28e12571eadf4bd03c952af43573b1dd32e764d70dc9f76f57920c42507612b348602)" + "revocation_id(0, hex:39e2c7e2319cc614acf881d06bfd5e344a0e7ed2c4c15e0d068f66467276dead3db6d4aca2cf5b688fc84f13861c7c89c047adde161f962dee18099902da5608)" ], "rules": [], "checks": [], @@ -769,8 +769,8 @@ "world": { "facts": [ "operation(\"write\")", - "revocation_id(0, hex:814d95cb15c293aaefe111506e40ee48a6630a4409e2032288865fb3322615e6c4d2f7b64762d5a755310936ebc9314927816b5640a9c9b7cc2374bdcf649b0a)", - "revocation_id(1, hex:08a93c775baef6d662229a7059faa307517589359d229fa90e1cc7a540361c607415257853d834fe7557d9c54005550627ee8c5d05ce031b923069f9bef71a0e)" + "revocation_id(0, hex:33756b656cbb74acea3613b37ba27be1c761ebeacfb5143bab0e284febb04f048eda846b1419558f38d08628b141cd1b38a261c6e865d1c8ed65722a839ec803)", + "revocation_id(1, hex:05b10a427cfb7e4712bf8b56edaba207200a53b68a4e8b79afe935b37791e7ac5bfb89ff6c6f20795a82a8b18d60194b92db55d0a82edd8ce3a744459fe3130b)" ], "rules": [], "checks": [], @@ -812,8 +812,8 @@ "facts": [ "operation(\"read\")", "operation(\"write\")", - "revocation_id(0, hex:9c3f40ab693f438286e61310572c6fe0fbf5bb289cad11e5fb6425c10fdd55922a3398c3fef64e7f8da2bb86e12f76b520d70497144a1a54dc6bb2037d774e09)", - "revocation_id(1, hex:c4956938e31a6e29f609e833884db72dc49636344f3a40c1b80a839ebdb08d2453a422d8d2a33b8950e1750607adede01c52415f85034b7b7df1886de9fc9502)" + "revocation_id(0, hex:f2bb00974734d38dd729b0cf8e6625a63186cc03b43d48b662d7e9f5821f90881359802ebac1fdf3407f15a65c1584363f8ea03f50eb66105df55275415a910c)", + "revocation_id(1, hex:72f9a076f221f3458db15b373df023245bd0fc811ea28a9f99b79bd908224ea317986692c159a54f3aba1f15ba771c8e3ac6bc998a36e79a08aedbc25f1e200d)" ], "rules": [], "checks": [], @@ -857,8 +857,8 @@ "facts": [ "operation(\"read\")", "resource(\"file1\")", - "revocation_id(0, hex:b0eb17f363e71adaac3a571d2b813321414dd9dc8714a767185a862575bd16a6b73b19655ffe1c6dcbb75c35715b3298ae29595287cbc8fafeb4d676292d3b02)", - "revocation_id(1, hex:7e57a5130b5ccf8383cb74e60ebb240ac5339433fd6cc4b904c7583bd522a404fd391fc09138b3a8fa73a58d4facd05577f4e72acb7ef36be7e0dc885272ad00)", + "revocation_id(0, hex:669be0e6d07eb7a34be1f48921976e70ff9491845f4c983c59bfd0aac449a76c239120f152e1ed10d1c86da73cf7ff6f3bdde0f42e242d0f911e0b938d516c04)", + "revocation_id(1, hex:05c5f63076fb7ad5d6eef8a486d8a460c8fa8d986e1d8f9a0b28997687b0541fccd42fb974c4ed3032a0f5553f7c8022c4ad734df87e589ca25efcab8552b009)", "right(\"file1\", \"read\")", "right(\"file1\", \"write\")", "right(\"file2\", \"read\")" diff --git a/samples/v2/test10_verifier_scope.bc b/samples/v2/test10_verifier_scope.bc index c4a0f96282497cac5345e8fd20624e79df79aabe..371b59dee3ca2b5e9b86d6f755c2c34ca5ea9cef 100644 GIT binary patch delta 215 zcmZ39SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zmLjBtn0w zMw9>jUw}>O!px0|Rr*WXd|}dci5{Cf_9SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zh$12mp~H zBtU!y0TfOqQ;yV!4}?mW3oDD-y0Jahc6K>du9}WM$T0i3pfR~By-v1aB-!}bWp9SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zmLjBtVBL zioY8u7!<;sN>a}x Qw6ix&ohJuT5DbxuBpw7PumAu6 diff --git a/samples/v2/test12_authority_caveats.bc b/samples/v2/test12_authority_caveats.bc index c7730ecdc22760740cb217cc027a605b3639221a..c52d29a568d5cc0578a3f7f2e2ca621d31dc76b8 100644 GIT binary patch delta 85 zcmV-b0IL780k#1G5|5DrDFY-30Ff#rKn*cG!5Rs#h(sv}Wyu*L3hVnO3ZLN?Qh6q(h;~XWUIxwV@k_z1S`g?-+bIL-&77taOV9Lj1}N{BwiBWXF%26D nfFO#sKDC7Mz66{1I2=F9SLE222$?>cK3@OJT4<>DU04&Ks_n9`Yfqn@|-Euko+1RAT6oy7wr2mq5|0VF^% ziT+H^$2WKUu%m&7?6$!EdL0_;GV;hugl{VV>m!wKemVOz@ShM?XRp`sgBBh1>h Suj6bH#W}2gM^XZl#Q`KaI!tr` delta 156 zcmV;N0Av601L*?-5}1(!Hjz9dLR+Y?Y}CZ}{t1(VZ0_f2?2%jPhxS8eF2~r^@15`dUUk4W+u zRXM2fvPnKZX3c_20w$%|LQd*vQjn91ud=a$N9pj5WaU@#zNM8-Fu!I4E70*PDxGdI K3!(^<%>g88QA+Fp diff --git a/samples/v2/test14_regex_constraint.bc b/samples/v2/test14_regex_constraint.bc index 1c70f6ad43b471ee5bcfd9fd8d8937e6f7c8aada..5fc028822631aa0d92c58484348fb114c7f23941 100644 GIT binary patch delta 85 zcmV-b0IL7m0p0-u61R~8Q3E6h0FhE8K$lYN@tY?BDMuSco#nXu_P|QkQqk+sLie8i rjO%R_{W_BWUn<%;mWf-$>F@q4ayxfjDBaD%Hd2(NLJMbk50SPcga9cG delta 81 zcmV-X0IvVu0onlq60?y4QIS_8Kz(x;qtwB0UhwfvsO0g;U)doCme delta 81 zcmV-X0IvVF0kHuB5{i)mD3LBBK&U^}>+jf8bH*gUpoDxZ6LM=2ATgVBSAnBX)tYYv nUC9Qqx^M>R!e)oa)!@1#?!9RAsAx8R=gzU}H+;r)36YT`x-BN} diff --git a/samples/v2/test16_caveat_head_name.bc b/samples/v2/test16_caveat_head_name.bc index 9ce9cafacec8fc966ddfb95e7f41cfcc9c3fa7c5..a466fa7970ce20bd73a70fb7c671e752d3066f70 100644 GIT binary patch delta 174 zcmV;f08#&}0<;1G5|xnxF9Re90Ff{xRH~0A<11=a{+Zs-u=2twcWlE0VCA-oTL$Ma z@# m-u-pSuZ!YwT;jX?CjS1KvW7idG|}wGEiR}L74{t3>tO{3>X3;2nq%W2ND7p z2ofX+0Fk65KmvAeqT8^&S}jdK#NgeMQtVB^82($p>icK=&JEvchVAgtGNX)f|-pYpyao>XX-p`KKW9R|vPUi>+1R8P*3>X3;2nq%W2ND7p2$8HL zKo@Y5|GQx1&~z1eECGrrqIOdku09k}Y^eLN^;%%EWX1w%tS5R%sA%$cbkPjd UY`%9m4XvJY$Sg_g0Fw{_B&|0{Z~y=R diff --git a/samples/v2/test17_expressions.bc b/samples/v2/test17_expressions.bc index 275186dd31f1fc4687688b96e749f7b360a4d556..6448ff61e13d50cc7fdd45e010f20c51f0f93785 100644 GIT binary patch delta 88 zcmV-e0H^=<2>J*D64S8)?E?cO2mq7r10+B>;>Y4KoW>Na_<_)C{a!Rm4t~4JOC{ delta 84 zcmV-a0IUD{2=)j963?*$?E{nZ10z7~S;9F+*!X5b-X+%6`Rsd&L`9$D6AP0q0VHEcNXq~K delta 155 zcmV;M0A&B!0?`5j5|EJsE|D}NLV-<{%N4?ts_)?uP;Nl(NTy>7LJ_T5|ohwE(0V80Ff^wV)DBHmq#?yjn^r#&yHp#rZI-h1GGIzwqn=m z^@1Oeh!a_WF1o?}^FV(Urd$<-Hb0J_KTzvt5MA|BbwOH@3>t$03K(C;0VK~LML7Tf diff --git a/samples/v2/test1_basic.bc b/samples/v2/test1_basic.bc index ea5ba3faf03b44cbcd4d33a80824076a49c9b4e4..f213ff1bda967c57e757c3ad508197ccae96f07c 100644 GIT binary patch delta 163 zcmV;U09^m_0{Q|160wm2O9Lbb0Fg{2LY+RCOVC7q>Yp*CZS@ zgAX}!wBfo3mTu1vN;1J2mq1lBtTrP z>HRj4w=4M!Da9$vTN||qGF3~ZC9zyxKYW=;6t7Y&T4>f9l?%oBji2=6;t&4L_FdYd Rg@RFbj>(zriw2WU0VEk7M(6+l delta 155 zcmV;M0A&CA0`dX^60MN}OOa6{LcMN@qPGBW491RRLYQb<5`*6Eg3J+=7tk}2rc%$M zy;YWvj$k>&j5*q-rSIv4>sE6cs&R8yblyy zMJIMiP0PRSMg)ZCz-zjKu=MTw;_R%Rm+!DgBY$K5%@lxUK5YfnOr#$!nZ#&)K^e!YV50M@VlZ{bq1R9@_vN;1J2mq1lB!30P z_Aqw)dezqM_@su|q+rPUjhJp7kD3c8nRbV;R3FULFS&HY?JzQ+^;JK7fFi`Lb4~bu zSe&9>{Hujhun8hU5e9|egMOJIrL=ERAjT`>#biVLEa~E eHvDc@nXfHOG<*xOz^_5(NM+{=$^{)QoIehqo^2%n delta 220 zcmV<203-jJ1Cj#*60MN}OOa6{La^%>^JC{4+N?TP9V>w|Awf;q+=mpWXBb+BC3U?P zrnfs8WncarZOgY@HE~-qn64>VQisdP`u?=mb}2180vel}0wC diff --git a/samples/v2/test2_different_root_key.bc b/samples/v2/test2_different_root_key.bc index 1aaa8dcc4431fa68465eaf657755ccef30c13b6f..adfb0c3d25c0d0b30d8f87ea8907dca4b6b595f6 100644 GIT binary patch delta 192 zcmV;x06+i80?+~`5{Cf_9SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zh$12mp~H zBtmTdby1RT!KIb1=XwzAKq~!SW75WSG`X*SSO{p@Z5Nd+l7Q}+imfPT9pg<}a)5`zH>9SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zmLjBtlU} zm(8-g8bcY&a6|oN5^>tSM;H0uqO9Ck56wy|(;AwRH7L}E76@0?Gmd5`h7c0!jlU2mp~wBodI%J!X5A%NhsV>DVYdttJ|uk%2h_BnSYJ zxg%4v$V{0CQ4{{WFm%&zA4GjB@~>g2?HJ|Y W&BnLJv_JQsIYC~V%Qg>_9RVb;=QAh( delta 107 zcmV-x0F?jA0>J_T5`B>aN|8|`5{$WcdW&WjX9GzQ;tW317#f?AhB=YLBS78@t%%3r zK%7RR3=&aYcUrz0opf;)p?{<(JGy>EjaB=9#oen_s#Z!{%;8cC?4DI_11FIz^wupbnEJ0VE3OEL;Ep diff --git a/samples/v2/test4_random_block.bc b/samples/v2/test4_random_block.bc index 87a217479b4754f99b23b1644a6f6dd3f0cc6f72..175c82feedd49e9a7d56a85fae8b6564092b1eca 100644 GIT binary patch delta 163 zcmV;U09^mw0_6e%60wm2O9Lbb0Fg{2LNIMM)4uba;>=+EuZL_OTt8xT7$!K`F4Pm! z4-x1<0~(5vvLpi}2mq1QBtQZy z$GLj{CmAQ*C)h|T#oABvY1j$i#k_i;P$mAOc{eoxGZqv`?)5;l7(}h`?{B5MqLWpI Rr%4BS7O?F0&X+-@4+hY?yVD_b;-@ysd<5*t57 Jcnp(40VMRYMHT=6 diff --git a/samples/v2/test5_invalid_signature.bc b/samples/v2/test5_invalid_signature.bc index e15abcf1ed5e3f37f048523c99907e905ff9e17a..03225878a6ce3bdef95e869dec41510a18ad01c5 100644 GIT binary patch delta 163 zcmV;U09^m_0{Q|160wm2O9Lbb0Fg{2La;ln3OCe06R{J6DKEutxq4kj{lx9wfDcTy zr7W*&e{CKl`DUy-LbC9Ff}-+N(DIGvs1(rEk9Kp${lkXJ4;r75vN;1J2mq1lBtR1s==D&kCX@2>(xS_i4$&yV*vRZ3fnD z-V6G$jEgYrR%smUf_2F;4f=Y!Ak)C83`D1`M1CJr0~(u=wmFgWBS7H1@r>7O#Qn7s z{5gc6a#hxPw2}96>4HtIiKQ25bYloS!MRgFO9UL#3nBt+YcQClbJlP#7P7%(B3t`$vLXW{2mq1OBtrP= zpPr!G&YhLV42{-I)$a%JBvCDDiFfev>aI6F^?#VpxfWwiA@UVfUJ6D8ehX(<)V#YE z=1wvy+*zTWKo1(9lQ{u710)CllW_qgK*B!bNR!TTrx#wI0`s{SIwp0`21fjlG4=ECQTj89|j4M{#>Z4U^RYBx)aScmMzZ delta 230 zcmVt)ywjz<-BSJEZ)LN=dMSILE zFr>+iM8|^s_)`BB^+3sNPj(;0+ZnZB>pyNu>b%7 diff --git a/samples/v2/test7_scoped_rules.bc b/samples/v2/test7_scoped_rules.bc index 58bf71ab84e075fe7c20e5e4565bb6734850c97e..e553ab05b0bcb1b59807aea740c960ed471c94c1 100644 GIT binary patch delta 265 zcmV+k0rvit1fm225~7g;JOd;M0FgZ;LefP{U_0{1lIMR6?V2^Jshml z1VHw4pu|TgMS3~=fQ950DuI>Yz5C;({m-w^i!-fL!zWB_3>wmrqih2t2mq4~0VH6m z)Hb;zoK5gE@U4g^X@U21fHU7kV!-0AJ)!!RDZo(R3Pk0D6(G&D+o*ZZut&}1Bky0o z{2Ar^)s~TWMq~gQfdL8^3I%3qY-KVS0wN3w3J3`j0vHGq0vHbxBnSYLjR7P;%0|P< z36etUSw=$YZ>L;G-$pwnNbr#0fDgd~b<)j7MRCPL7SF!uW56Ft%-1B6NIjJkK#($i PsVRgYECy`PMo zqoz@Q=lfV5;-^}}{+_hV5HpTzhj>ZcLp*w7(alI29 z;~okceUp6w8k3s=BS6k1E>S(S&n?Z0T*A#aF+8fd1GwN|U1!dh h|5pZQ`XeO?9I66cTe0?wNc<7JduX0`;trGk0VHhxbEW_Q diff --git a/samples/v2/test8_scoped_checks.bc b/samples/v2/test8_scoped_checks.bc index ef8015ec105866390f145930ed8025a3e944887f..b8d75214277cbc46302f8dc4a55e68b616de73b9 100644 GIT binary patch delta 293 zcmX@ke1%y}sGX5ZmWwqlGbh!Mi=`+vF-3w&iHD1egGGo*f*puCgj6^fCMu~oMcRmM z+O5TKKx_7c04KJEPRA?7*DL!i-zqR$daaV{{3FjY_&@iw>MW0p{AT`ogG%K!-sCHF zq9VyTCTl)#t~kOcHGg7&-f(H1I}}r delta 259 zcmV+e0sQ{d1IGg*5`zH>9SQ|zX>4UN3IuXxVPqHrA`A)&2m}%W7zYvp7zmLjBtni) zx}AB~bt`m$j+JqMM|jg%@xDFEjNW686=*#apjdu5^PO^PQpr1q!N#Z#Z2#?7b{)(N z)GjTQft+R=76%%ek&HQ!$s ziq}#x7g7AbhvEu)lI7=#x6qq~Io`)$FgWs^DhdZ0eUmQ%8k0={BR~c5sg0z{%*6}Z zA&#wWQ(h;_dIzD*eR(S5&T)#H0k;Nj#ix|)ipQkcMRTyWYHA!EX}eY)X@GEii|a3x J6c3ZI0VFVIZH@o{ diff --git a/samples/v2/test9_expired_token.bc b/samples/v2/test9_expired_token.bc index 25ef84237ab397fa27898336e740bb51db23708c..def9f6f3e8b3e306c0ccb26986afeba185facefd 100644 GIT binary patch delta 164 zcmV;V09*gy0_Xw?5^M?r7y=R`2mp}=BtjO@sn_$;p5hTLXGI*2Pw;!yHfn6!2rTsc zwr*_|rFtR&p78;X#L)Q|PTL6p-xe4Lyl;YsCtot^=C!fKaR3_Ak!)=PBnSYJ*d#y( zaM?&kE)2p*&PBKC1k3vpYIRx2)(cZVe+rUmX#nm{LnnZ>CPpiST{kS7dm=nT@4_ww SL9t5<#AY4^>;40iJOLy}f