ProvableHQ / leo

šŸ¦ The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
https://leo-lang.org/
GNU General Public License v3.0
4.78k stars 661 forks source link

[Bug] Error [ECLI0377018] #5699

Open uok825 opened 1 year ago

uok825 commented 1 year ago

šŸ› Bug Report

Simply trying to run the docs hello world example. leo run main command executing succesfully but leo execute main is not.

Code snippet to reproduce

// The 'hello' program.
program hello.aleo {
    transition main(public a: u32, b: u32) -> u32 {
        let c: u32 = a + b;
        return c;
    }
}
// The program input for hello/src/main.leo
[main]
public a: u32 = 1u32;
b: u32 = 2u32;

Stack trace & error message

utku@Utku-MacBook-Air hello % leo run main
       Leo āœ… Compiled 'main.leo' into Aleo instructions

ā›“  Constraints

 ā€¢  'hello.aleo/main' - 33 constraints (called 1 time)

āž”ļø  Output

 ā€¢ 3u32

       Leo āœ… Finished 'hello.aleo/main' (in "/Users/utku/testing-leo/hello/build")
utku@Utku-MacBook-Air hello % leo execute main
       Leo āœ… Compiled 'main.leo' into Aleo instructions

Error [ECLI0377018]: Failed to execute the `execute` command.
SnarkVM Error: https://api.explorer.aleo.org/v1/testnet3/latest/stateRoot: status code 504

Expected Behavior

Suppose to execute correctly

Your Environment

-Leo Version -1.10 -Rust Version -rustc 1.71.1 -OS -MacOs Sonoma 14.0

uok825 commented 1 year ago

after some time i executed same code dont know why it is happended. ` utku@Utku-MacBook-Air hello % leo execute main Leo āœ… Compiled 'main.leo' into Aleo instructions

ā›“ Constraints

ā€¢ 'hello.aleo/main' - 33 constraints (called 1 time)

āž”ļø Output

ā€¢ 3u32

{"type":"execute","id":"at1c69m83843fhqa83ykrdf4qu6ev7j4k3gcdt4k4w6eq0nvuv3tqrsnk9366","execution":{"transitions":[{"id":"au1cjrdaxlm890pq4mfdm9nat9xzzlk5wv7ucprp46dxwm9stazsvrsam3jqh","program":"hello.aleo","function":"main","inputs":[{"type":"public","id":"2296941127413848073653657162128887905006912336191165491490566865081746701024field","value":"1u32"},{"type":"private","id":"1043853235032823689453150155451893284509092442356492339968232312036984572995field","value":"ciphertext1qyq86g09pd9r3fqgctsv6ehr0m5cqa0fyyr78vmtdjuc0q9yed6ewzgnrnz56"}],"outputs":[{"type":"private","id":"7524335525736460809342034410386792165180818121695657200659032944025831072573field","value":"ciphertext1qyq9g4wyl3grz3hcnxpj600x3tjzd7s5lxyhsd6snqfrnjqntvaezpgevtvca"}],"tpk":"6489177562355376343479641276919479485297725167407655347070817195933240847893group","tcm":"7368281679963615217993480132419522438709751010268080937608491072924619451802field"}],"global_state_root":"sr1se3lzxqv0j6pupda5k87ae0cejlznhqn8yv4wf035vygzky49vysttwly0","proof":"proof1qyqsqqqqqqqqqqqpqqqqqqqqqqqzlrgmstxezpnwgyuk3lh65vlyx4mmvmcdfvk32xyvt06qnr8cf9tqjpnlp0pxrqcf34aeudx0g0ypqxc6hgzwdrr03h6re62d8r6u8snt5ty0hneag5j4pqafpessdtx06p03d0n94eh6yvjq53xzrs2qaqf50yyt4ky928run4p000y69zcrpqccl5p9k6qs5zn4d0ernas6gkrqv0r8du6v46k5jqkzyfmzgqqcze4799dmfne260d8uvedt2uu8z2gq6up9y6ksz4t3juh04fgxspfr6l73zvlg3lgx2z2yg9j58sqmynnehglad88gt4x06tq83qgh2fjkldr5fzl8tk7tghnmum9r9wp83yc6ry5232capzhvjdlgfdqrgvtt3l02r2nyd5f9p7086ftmvdgeyyr84jxnuy570jxha4my7jwrar9zxxvlg9za0knd3hu8kl7qqa8zuah6n6pgd7r004zvw2ck3pm9ffglwk0c6pgly24c5njzxwg8ugdfjm3u5lkh5pyn80t7wk3xq0mcj9rwyjck0zp8ejuaht90jq438s7awkggpqjd545cjeevrv9zc6pzytdsjys5zgzua34yh2u7kqwuld2x8yv42vxn2zw9thvm58r9ykwflv03y8mcvfascqvvenf3dqy8v9r55jaw3ggkz2xfphulqgqg0rev4fv34ml0s5sx7gnsx8depceerfcj6387mdhcq469h6c0q9lxq20qza0gp06edr2958huk0rghep2jmt45cet8tf84xe63xnszn98ykkm7pfft30su9t3f8lx78yl8pz0fny6h4fnn48qjk92dclzp7nng4mgvtpnvae420m3wult8vev0qtlcsjn8ngfan84ps0jj4qd3kvrjcclzwh2gwgxyvll8aflavxt3gza3vx6dg269zzsq27qeqtsymdmzl354uph36s9k3e5cuh3k89tmrgxvspkpqq337tmxlcnqrr4sg0dy824k2d4p0q5uyhqvgncnsqk9z0lhf8xv9ks4pn8l69wrm5lkpy5wkjj60e40wfamp9laudhmlmdzg0kkzk7nc2dcr96haspc25l059d0prcayf47x6lzj84fhtpywaltc4rg5e9kaatzh64hysr69qk0ldncj45e2su43393uqyxqcgkhyazus4uyapvafwjcqzlgjqvqqqqqqqqqqqlaz35mptk92987e226c347g24e57p9490ap35z6pftydsqm6x8q22s6cp30fufakl2m0vg4vf2xqyqgzcl2gdkj89xk256jendfp4pd222v00me40qavps2etjzj0a0jufrhat7fefxxkepskhvu5kqjmqpq8ggtuq4lygnh2e8r9e04huynah8zufvc0r795rk868sekhujalsuzn9fhe7t98lmwftmhsmyc29z2elsgnlnr8fj3jpeemj5nywpee43l7m77xag9jw2pgkezlmdnrssqqq2z2gvv"}}

   Leo āœ… Executed 'hello.aleo/main' (in "/Users/utku/testing-leo/hello/build")

`