Revision 059787e63538941130606248805cab290fdbc5d7 authored by Dzomo the everest Yak on 20 April 2020, 08:21:22 UTC, committed by Dzomo the everest Yak on 20 April 2020, 08:21:22 UTC
1 parent 03f1e46
EverCrypt.Ed25519.fst.hints
[
"�������Gh���;\u0017",
[
[
"EverCrypt.Ed25519.sign",
1,
2,
1,
[ "@query" ],
0,
"cd28c688449e775295bf877768a93b8b"
],
[
"EverCrypt.Ed25519.verify",
1,
2,
1,
[ "@query" ],
0,
"456c5fd45cb60e7828a21547f94107da"
],
[
"EverCrypt.Ed25519.secret_to_public",
1,
2,
1,
[ "@query" ],
0,
"b3882c44ab3b32d2e8195d2c446b4b34"
],
[
"EverCrypt.Ed25519.expand_keys",
1,
2,
1,
[ "@query" ],
0,
"49b6f1adbadd15aa4e2ff6e50fa61ae8"
],
[
"EverCrypt.Ed25519.sign_expanded",
1,
2,
1,
[ "@query" ],
0,
"08270f2b8333a394e91a87d11f002216"
]
]
]
Computing file changes ...
