snarkVM
snarkVM copied to clipboard
[Bug] Aleo function definitions are assumed to be in alphabetical order
🐛 Bug Report
If you try to deploy a multiple-function program and the definition of those functions is not ordered alphabetically, the execution fails.
2022-10-03T14:13:30.148475Z WARN Deployment verification failed: The verifier key is ‘make_bet’, but the function name is ‘psd_hash’
2022-10-03T14:13:30.163664Z WARN Invalid transaction found in the transactions list
2022-10-03T14:13:30.163695Z ERROR Error running ledger transaction loop
I think the error comes from this line.
Expected Behavior
Aleo programs should be deployed without issues no matter the order of the function definitions.