QPQ-AG/sophia
10
0
Fork 0
Code Issues 41 Pull Requests 5 Actions Packages Projects Releases 16 Wiki Activity

Extend signature bytes type used for ecrecover

Browse Source
This commit is contained in:
Tino Breddin 2019-08-14 09:08:06 +02:00
parent b0e07ef4e7
commit 03b45b2af3
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aeso_ast_infer_types.erl
View File

@ -460,7 +460,7 @@ global_env() ->
%% Crypto/Curve operations
CryptoScope = #scope
{ funs = MkDefs(
[{"ecrecover_secp256k1", Fun([Hash, Bytes(64)], Hash)},
[{"ecrecover_secp256k1", Fun([Hash, Bytes(65)], Hash)},
{"ecverify", Fun([Hash, Address, SignId], Bool)},
{"ecverify_secp256k1", Fun([Hash, Bytes(64), Bytes(64)], Bool)},
{"sha3", Fun1(A, Hash)},

2
src/aeso_ast_to_icode.erl
View File

@ -353,7 +353,7 @@ ast_body({map, Ann, Map, [Upd | Upds]}, Icode) ->
ast_body(?qid_app(["Crypto", "ecrecover_secp256k1"], [Msg, Sig], _, _), Icode) ->
prim_call(?PRIM_CALL_CRYPTO_ECRECOVER_SECP256K1, #integer{value = 0},
[ast_body(Msg, Icode), ast_body(Sig, Icode)],
[word, sign_t()], word);
[word, bytes_t(65)], word);
ast_body(?qid_app(["Crypto", "ecverify"], [Msg, PK, Sig], _, _), Icode) ->
prim_call(?PRIM_CALL_CRYPTO_ECVERIFY, #integer{value = 0},