How to decode compiled code on plutus.json?

[golddydev]

Hello everybody.
Is it possible to decode the compiled code in plutus.json using cbor?

After I run

aiken build

it gave me plutus.json, with compiledCode.
And I'd love to decode that.

Is it doable?

[KtorZ]

@golddydev you can use the aiken uplc command groups to manipulate encoded compiled code. Note that you won't be able to 'decompile' it back to Aiken code, but you can decode it into a textual UPLC (Untyped Plutus Core) form, which is the low-level language that the Cardano virtual machine uses for running validators.

I invite you to look at the documentation that the command line provides (--help) as well as the user manual online: https://aiken-lang.org/uplc

[golddydev]

Thank you, @KtorZ
Let me check that manual.

[golddydev]

Well, I get this error.

I just put compiled code into new file called uplc-hex.flat as hex string
590167010000323232323232323232322223253330093232533300b3370e9001000....

And I ran this command.

aiken uplc decode uplc-hex.flat --hex

And I got this error.

aiken::fatal::error

Whoops! You found a bug in the Aiken compiler.

Please report this error at https://github.com/aiken-lang/aiken/issues/new.
In your bug report please provide the information below and if possible the code
that produced it.

    crates/aiken/src/cmd/uplc/decode.rs:73:61

    called `Result::unwrap()` on an `Err` value: FreeIndex(DeBruijn(16))

[KtorZ]

@MicroProofs it doesn't work either. I've tried with the compiled code we have from the hello world and the command seems genuinely broken. We need to revise that one.

[rvcas]

@KtorZ @golddydev is it still messed up on latest release? I just ran it on the compiled code from hello world and it worked fine

aiken uplc decode --cbor --hex thing.cbor

[KtorZ]

Right, on 1.0.17-alpha it works as expected. Wasn't working earlier today on 1.0.16-alpha.

[rvcas]

nice ok, cool so it got fixed somehow, maybe during one of the things I did.

[golddydev]

Yes it works fine on 1.0.17-alpha.
Thank you, @rvcas and @KtorZ

[MicroProofs]

Closing as resolved.