Skip to content

Commit f05dae7

Browse files
rishav-karanjitrishav-karanjit
committed
json files
1 parent 4839294 commit f05dae7

File tree

11 files changed

+288497
-0
lines changed

11 files changed

+288497
-0
lines changed

‎TestVectors/runtimes/go/TestsFromDafny-go/PermTest.json

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"RoundTripTest":{"Records":[{"RecNum":{"N":"200"},"StringSet":{"SS":["aaa"]},"NumberSet":{"NS":["111"]},"BinarySet":{"BS":["AQID"]}},{"RecNum":{"N":"201"},"StringSet":{"SS":["aaa","bbb"]},"NumberSet":{"NS":["111","222"]},"BinarySet":{"BS":["AQID","AgME"]}},{"RecNum":{"N":"202"},"StringSet":{"SS":["bbb","aaa"]},"NumberSet":{"NS":["222","111"]},"BinarySet":{"BS":["AgME","AQID"]}},{"RecNum":{"N":"203"},"StringSet":{"SS":["aaa","bbb","ccc"]},"NumberSet":{"NS":["111","222","333"]},"BinarySet":{"BS":["AQID","AgME","AwQF"]}},{"RecNum":{"N":"204"},"StringSet":{"SS":["bbb","aaa","ccc"]},"NumberSet":{"NS":["222","111","333"]},"BinarySet":{"BS":["AgME","AQID","AwQF"]}},{"RecNum":{"N":"205"},"StringSet":{"SS":["ccc","aaa","bbb"]},"NumberSet":{"NS":["333","111","222"]},"BinarySet":{"BS":["AwQF","AQID","AgME"]}},{"RecNum":{"N":"206"},"StringSet":{"SS":["aaa","ccc","bbb"]},"NumberSet":{"NS":["111","333","222"]},"BinarySet":{"BS":["AQID","AwQF","AgME"]}},{"RecNum":{"N":"207"},"StringSet":{"SS":["aaa","bbb","ccc"]},"NumberSet":{"NS":["111","222","333"]},"BinarySet":{"BS":["AQID","AgME","AwQF"]}},{"RecNum":{"N":"208"},"StringSet":{"SS":["bbb","aaa","ccc"]},"NumberSet":{"NS":["222","111","333"]},"BinarySet":{"BS":["AgME","AQID","AwQF"]}},{"RecNum":{"N":"209"},"StringSet":{"SS":["aaa","bbb","ccc","ddd"]},"NumberSet":{"NS":["111","222","333","444"]},"BinarySet":{"BS":["AQID","AgME","AwQF","BAUG"]}},{"RecNum":{"N":"210"},"StringSet":{"SS":["bbb","aaa","ccc","ddd"]},"NumberSet":{"NS":["222","111","333","444"]},"BinarySet":{"BS":["AgME","AQID","AwQF","BAUG"]}},{"RecNum":{"N":"211"},"StringSet":{"SS":["ccc","aaa","bbb","ddd"]},"NumberSet":{"NS":["333","111","222","444"]},"BinarySet":{"BS":["AwQF","AQID","AgME","BAUG"]}},{"RecNum":{"N":"212"},"StringSet":{"SS":["aaa","ccc","bbb","ddd"]},"NumberSet":{"NS":["111","333","222","444"]},"BinarySet":{"BS":["AQID","AwQF","AgME","BAUG"]}},{"RecNum":{"N":"213"},"StringSet":{"SS":["aaa","bbb","ccc","ddd"]},"NumberSet":{"NS":["111","222","333","444"]},"BinarySet":{"BS":["AQID","AgME","AwQF","BAUG"]}},{"RecNum":{"N":"214"},"StringSet":{"SS":["bbb","aaa","ccc","ddd"]},"NumberSet":{"NS":["222","111","333","444"]},"BinarySet":{"BS":["AgME","AQID","AwQF","BAUG"]}},{"RecNum":{"N":"215"},"StringSet":{"SS":["ddd","aaa","ccc","bbb"]},"NumberSet":{"NS":["444","111","333","222"]},"BinarySet":{"BS":["BAUG","AQID","AwQF","AgME"]}},{"RecNum":{"N":"216"},"StringSet":{"SS":["aaa","ddd","ccc","bbb"]},"NumberSet":{"NS":["111","444","333","222"]},"BinarySet":{"BS":["AQID","BAUG","AwQF","AgME"]}},{"RecNum":{"N":"217"},"StringSet":{"SS":["ccc","ddd","aaa","bbb"]},"NumberSet":{"NS":["333","444","111","222"]},"BinarySet":{"BS":["AwQF","BAUG","AQID","AgME"]}},{"RecNum":{"N":"218"},"StringSet":{"SS":["ddd","ccc","aaa","bbb"]},"NumberSet":{"NS":["444","333","111","222"]},"BinarySet":{"BS":["BAUG","AwQF","AQID","AgME"]}},{"RecNum":{"N":"219"},"StringSet":{"SS":["ddd","aaa","ccc","bbb"]},"NumberSet":{"NS":["444","111","333","222"]},"BinarySet":{"BS":["BAUG","AQID","AwQF","AgME"]}},{"RecNum":{"N":"220"},"StringSet":{"SS":["aaa","ddd","ccc","bbb"]},"NumberSet":{"NS":["111","444","333","222"]},"BinarySet":{"BS":["AQID","BAUG","AwQF","AgME"]}},{"RecNum":{"N":"221"},"StringSet":{"SS":["aaa","bbb","ccc","ddd"]},"NumberSet":{"NS":["111","222","333","444"]},"BinarySet":{"BS":["AQID","AgME","AwQF","BAUG"]}},{"RecNum":{"N":"222"},"StringSet":{"SS":["bbb","aaa","ccc","ddd"]},"NumberSet":{"NS":["222","111","333","444"]},"BinarySet":{"BS":["AgME","AQID","AwQF","BAUG"]}},{"RecNum":{"N":"223"},"StringSet":{"SS":["ccc","aaa","bbb","ddd"]},"NumberSet":{"NS":["333","111","222","444"]},"BinarySet":{"BS":["AwQF","AQID","AgME","BAUG"]}},{"RecNum":{"N":"224"},"StringSet":{"SS":["aaa","ccc","bbb","ddd"]},"NumberSet":{"NS":["111","333","222","444"]},"BinarySet":{"BS":["AQID","AwQF","AgME","BAUG"]}},{"RecNum":{"N":"225"},"StringSet":{"SS":["aaa","bbb","ccc","ddd"]},"NumberSet":{"NS":["111","222","333","444"]},"BinarySet":{"BS":["AQID","AgME","AwQF","BAUG"]}},{"RecNum":{"N":"226"},"StringSet":{"SS":["bbb","aaa","ccc","ddd"]},"NumberSet":{"NS":["222","111","333","444"]},"BinarySet":{"BS":["AgME","AQID","AwQF","BAUG"]}},{"RecNum":{"N":"227"},"StringSet":{"SS":["bbb","aaa","ddd","ccc"]},"NumberSet":{"NS":["222","111","444","333"]},"BinarySet":{"BS":["AgME","AQID","BAUG","AwQF"]}},{"RecNum":{"N":"228"},"StringSet":{"SS":["aaa","bbb","ddd","ccc"]},"NumberSet":{"NS":["111","222","444","333"]},"BinarySet":{"BS":["AQID","AgME","BAUG","AwQF"]}},{"RecNum":{"N":"229"},"StringSet":{"SS":["ddd","bbb","aaa","ccc"]},"NumberSet":{"NS":["444","222","111","333"]},"BinarySet":{"BS":["BAUG","AgME","AQID","AwQF"]}},{"RecNum":{"N":"230"},"StringSet":{"SS":["bbb","ddd","aaa","ccc"]},"NumberSet":{"NS":["222","444","111","333"]},"BinarySet":{"BS":["AgME","BAUG","AQID","AwQF"]}},{"RecNum":{"N":"231"},"StringSet":{"SS":["bbb","aaa","ddd","ccc"]},"NumberSet":{"NS":["222","111","444","333"]},"BinarySet":{"BS":["AgME","AQID","BAUG","AwQF"]}},{"RecNum":{"N":"232"},"StringSet":{"SS":["aaa","bbb","ddd","ccc"]},"NumberSet":{"NS":["111","222","444","333"]},"BinarySet":{"BS":["AQID","AgME","BAUG","AwQF"]}}],"Configs":{"AllSign":{"attributeActionsOnEncrypt":{"RecNum":"SIGN_ONLY","StringSet":"SIGN_ONLY","NumberSet":"SIGN_ONLY","BinarySet":"SIGN_ONLY"}},"AllEncrypt":{"attributeActionsOnEncrypt":{"RecNum":"SIGN_ONLY","StringSet":"ENCRYPT_AND_SIGN","NumberSet":"ENCRYPT_AND_SIGN","BinarySet":"ENCRYPT_AND_SIGN"}}}}}

‎TestVectors/runtimes/go/TestsFromDafny-go/configs.json

Lines changed: 176 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,176 @@
1+
{
2+
"tableEncryptionConfigs": {
3+
"0": {},
4+
"1": {
5+
"attributeActionsOnEncrypt": {
6+
"RecNum": "SIGN_ONLY",
7+
"Stuff": "ENCRYPT_AND_SIGN",
8+
"Two": "ENCRYPT_AND_SIGN",
9+
"Three": "ENCRYPT_AND_SIGN",
10+
"Four": "SIGN_ONLY",
11+
"Five": "SIGN_ONLY",
12+
"Six": "SIGN_ONLY",
13+
"One": "DO_NOTHING",
14+
"Seven": "DO_NOTHING",
15+
"Eight": "DO_NOTHING",
16+
"Nine": "DO_NOTHING",
17+
"NumberTest": "ENCRYPT_AND_SIGN"
18+
},
19+
"allowedUnsignedAttributes": ["One", "Seven", "Eight", "Nine"],
20+
"search": {
21+
"versions": [
22+
{
23+
"standardBeacons": [
24+
{
25+
"Name": "Stuff",
26+
"Length": 32
27+
},
28+
{
29+
"Name": "Two",
30+
"Length": 32
31+
},
32+
{
33+
"Name": "Three",
34+
"Length": 32
35+
},
36+
{
37+
"Name": "NumberTest",
38+
"Length": 32
39+
}
40+
]
41+
}
42+
]
43+
}
44+
},
45+
"2": {
46+
"attributeActionsOnEncrypt": {
47+
"RecNum": "SIGN_ONLY",
48+
"Stuff": "ENCRYPT_AND_SIGN",
49+
"Four": "ENCRYPT_AND_SIGN",
50+
"Five": "ENCRYPT_AND_SIGN",
51+
"Six": "ENCRYPT_AND_SIGN",
52+
"Two": "SIGN_ONLY",
53+
"Three": "SIGN_ONLY",
54+
"One": "DO_NOTHING",
55+
"Seven": "DO_NOTHING",
56+
"Eight": "DO_NOTHING",
57+
"Nine": "DO_NOTHING",
58+
"NumberTest": "SIGN_ONLY"
59+
},
60+
"allowedUnsignedAttributes": ["One", "Seven", "Eight", "Nine"],
61+
"search": {
62+
"versions": [
63+
{
64+
"standardBeacons": [
65+
{
66+
"Name": "Stuff",
67+
"Length": 32
68+
},
69+
{
70+
"Name": "Four",
71+
"Length": 32
72+
},
73+
{
74+
"Name": "Five",
75+
"Length": 32
76+
},
77+
{
78+
"Name": "Six",
79+
"Length": 32
80+
}
81+
]
82+
}
83+
]
84+
}
85+
},
86+
"3": {
87+
"attributeActionsOnEncrypt": {
88+
"RecNum": "SIGN_ONLY",
89+
"Stuff": "SIGN_ONLY",
90+
"Four": "SIGN_ONLY",
91+
"Five": "SIGN_ONLY",
92+
"Six": "SIGN_ONLY",
93+
"Two": "SIGN_ONLY",
94+
"Three": "SIGN_ONLY",
95+
"One": "DO_NOTHING",
96+
"Seven": "DO_NOTHING",
97+
"Eight": "DO_NOTHING",
98+
"Nine": "DO_NOTHING",
99+
"NumberTest": "SIGN_ONLY"
100+
},
101+
"allowedUnsignedAttributes": ["One", "Seven", "Eight", "Nine"]
102+
},
103+
"4": {
104+
"attributeActionsOnEncrypt": {
105+
"RecNum": "SIGN_ONLY",
106+
"Stuff": "ENCRYPT_AND_SIGN",
107+
"Two": "ENCRYPT_AND_SIGN",
108+
"Three": "ENCRYPT_AND_SIGN",
109+
"Four": "ENCRYPT_AND_SIGN",
110+
"Five": "ENCRYPT_AND_SIGN",
111+
"Six": "ENCRYPT_AND_SIGN",
112+
"One": "DO_NOTHING",
113+
"Seven": "DO_NOTHING",
114+
"Eight": "DO_NOTHING",
115+
"Nine": "DO_NOTHING",
116+
"NumberTest": "SIGN_ONLY"
117+
},
118+
"allowedUnsignedAttributes": ["One", "Seven", "Eight", "Nine"]
119+
},
120+
"5": {
121+
"attributeActionsOnEncrypt": {
122+
"RecNum": "SIGN_ONLY",
123+
"Stuff": "ENCRYPT_AND_SIGN",
124+
"Two": "ENCRYPT_AND_SIGN",
125+
"Three": "ENCRYPT_AND_SIGN",
126+
"Four": "SIGN_ONLY",
127+
"Five": "SIGN_ONLY",
128+
"Six": "SIGN_ONLY",
129+
"One": "DO_NOTHING",
130+
"Seven": "DO_NOTHING",
131+
"Eight": "DO_NOTHING",
132+
"Nine": "DO_NOTHING",
133+
"NumberTest": "SIGN_ONLY"
134+
},
135+
"allowedUnsignedAttributes": ["One", "Seven", "Eight", "Nine"],
136+
"search": {
137+
"versions": [
138+
{
139+
"standardBeacons": [
140+
{
141+
"Name": "Stuff",
142+
"Length": 32
143+
},
144+
{
145+
"Name": "Two",
146+
"Length": 32
147+
},
148+
{
149+
"Name": "Three",
150+
"Length": 32
151+
}
152+
],
153+
"compoundBeacons": [
154+
{
155+
"Name": "Comp1",
156+
"Split": ".",
157+
"Encrypted": [
158+
{
159+
"Name": "Stuff",
160+
"Prefix": "S_"
161+
}
162+
],
163+
"Signed": [
164+
{
165+
"Name": "Four",
166+
"Prefix": "F_"
167+
}
168+
]
169+
}
170+
]
171+
}
172+
]
173+
}
174+
}
175+
}
176+
}

0 commit comments

Comments
 (0)