QPQ-AG/gmbytecode
12
0
Fork 0
Code Issues 1 Pull Requests 2 Actions Packages Projects Releases 9 Wiki Activity

Add opcodes for ML-DSA verify functions + Add FATE opcodes for account-issued currency #239

Open
uwiger wants to merge 2 commits from uw-aic into master
pull from: uw-aic
merge into: :master
Conversation 0 Commits 2 Files Changed 3
+3
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit c44313efb9 - Show all commits
src/gmb_fate_generate_ops.erl
+3
View File
@@ -251,6 +251,9 @@ ops_defs() ->
, { 'VERIFY_SIG_MLDSA44', 16#b7, false, true, true, ?GAS(2340), [a,a,a,a], verify_sig_mldsa44, {bytes, bytes, bytes}, boolean, "Arg0 := verify_sig_mldsa44(Hash, Pubkey, Signature)"}
, { 'VERIFY_SIG_MLDSA65', 16#b8, false, true, true, ?GAS(3640), [a,a,a,a], verify_sig_mldsa65, {bytes, bytes, bytes}, boolean, "Arg0 := verify_sig_mldsa65(Hash, Pubkey, Signature)"}
, { 'VERIFY_SIG_MLDSA87', 16#b9, false, true, true, ?GAS(5720), [a,a,a,a], verify_sig_mldsa87, {bytes, bytes, bytes}, boolean, "Arg0 := verify_sig_mldsa87(Hash, Pubkey, Signature)"}
, { 'SPEND_CURRENCY', 16#ba, false, false, true, ?GAS(5000), [a,a,a], spend_currency, {address, address, integer}, none, "Transfer Arg2 units of the currency issued by Arg1 to account Arg0."}
, { 'BALANCE_CURRENCY', 16#bb, false, true, true, ?GAS(2000), [a,a,a], balance_currency, {address, address}, integer, "Arg0 := Arg1's balance of the currency issued by Arg2."}
, { 'CURRENCY_SUPPLY', 16#bc, false, true, true, ?GAS(2000), [a,a], currency_supply, {address}, integer, "Arg0 := total supply of the account-issued currency of Arg1 (0 if none)."}
, { 'DBG_LOC', 16#f0, false, true, true, ?GAS(0), [a, a], dbg_loc, {string, integer}, none, "Debug Op: Execution location. Args = {file_name, line_num}" }
, { 'DBG_DEF', 16#f1, false, true, true, ?GAS(0), [a, a], dbg_def, {string, any}, none, "Debug Op: Define a variable. Args = {var_name, register}" }