Week 06

[juliusfrost]

No description provided.

[juliusfrost]

I'm trying to use pyaiken.uplc.eval but I'm getting this error for the redeemer argument:

ValueError: Type mismatch expected 'data' got 'integer'

Shouldn't the redeemer be an integer?

opshin-pioneer-program/src/week06/lecture/negative_r_timed.py

Line 9 in b7ed9f9

def validator(datum: CustomDatum, redeemer: int, context: ScriptContext):

@nielstron

[nielstron]

Shouldn't the redeemer be an integer?

Without having looked at the code too much, I imagine the issue is passing a BuiltinInteger vs a PlutusInteger. PlutusInteger is of type PlutusData and the validator always expects PlutusData, never builtin values

[nielstron]

@cffls A proper, deterministic mock context for evaluating UPLC starting from the TxBuilder 👀

[cffls]

Nice! I think it may be a good idea to port this to pycardano.

[nielstron]

The mock context should now work as expected (for PlutusV2Scripts!). The property test fails (as expected?).
This would also nicely make it into the plutus-bench

[juliusfrost]

The mock context should now work as expected (for PlutusV2Scripts!). The property test fails (as expected?).
This would also nicely make it into the plutus-bench

Yes, I didn't finish making the property tests correctly yet

[juliusfrost]

The content for week06 is basically done now. I just need Python-Cardano/pycardano#228 merged and then I can set pycardano to use the main branch dependency.

[nielstron]

Nice work. This advanced the entire ecosystem by a good bit 😄

[juliusfrost]

@nielstron it says you requested changes on the pr, could you make an approval (whenever pycardano is ready)?

[nielstron]

Looks great!

[juliusfrost]

fyi for anyone following this, just need to update uplc, pyaiken, pycardano for this to merge

[nielstron]

UPLC and pyaiken are bumped :)

[juliusfrost]

@nielstron Thanks for the update!

We'll use the main branch of pycardano for now until the next release