snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

[Bug] Aleo function definitions are assumed to be in alphabetical order

Open ilitteri opened this issue 2 years ago • 0 comments

🐛 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.

ilitteri avatar Oct 03 '22 18:10 ilitteri