mesh icon indicating copy to clipboard operation
mesh copied to clipboard

Verify that plutus.json is computed from aiken build

Open geofflittle opened this issue 1 year ago • 0 comments

Describe the feature you'd like

Mesh should have some functionality that verifies that plutus.json matches the output of aiken build.

Is your feature request related to a problem? Please describe.

I'm brand new to aiken and Cardano in general. I made a mistake while following the hello world tutorial.

  • I ran aiken build once early in the tutorial, producing a plutus.json that represented an always-failing validator,
  • I continued with the tutorial and made changes to the validator,
  • I forgot to run aiken build again, after these changes,
  • I continued with the tutorial, wrote the lock and unlock scripts, and
  • I ran the lock script, sending ADA to the always-failing validator, ensuring I'd not be able to get back the ADA I sent.

Describe the solution you'd like

Around the time that I run applyParamsToScript, which reads from plutus.json, there should be an additional, recommended but optional step to verify that the plutus.json that's being read was produced by the current validator source on disk via aiken build.

Additional context

No response

Would you be willing to implement it?

  • [ ] Yes, I will implement it.

geofflittle avatar Dec 20 '24 21:12 geofflittle