Logical Mechanism

Is there any update on this functionality?

I wanted to comment on this as I have been working with BLS12381 a lot now in anticipation of V3. Would be a good idea to add in a equals...

test validator for sancho net: ```rust validator { fn params(_datum: Void, _redeemer: Void, context: ScriptContext) -> Bool { when context.purpose is { Spend(_) -> { let d = #"97f1d3a73197d7942695638c4fa9ac0fc3688c4f9774b905a14e3a3f171bac586c55e83ff97a1aeffb3af00adb22c6bb" let...

With Aiken 1.0.26, the use of the Dict type was discouraged. https://github.com/logicalmechanism/stdlib/blob/plutus-v3/lib/aiken/transaction.ak#L67-L87 Does this mean all of these Dicts should be turned into lists of tuples too? like List @KtorZ

> > With Aiken 1.0.26, the use of the Dict type was discouraged. > > Not really. It wasn't discourage, but simply made safer. We will still use `Dict` in...

New types are generated from: [v1.30.0.0 Context](https://github.com/IntersectMBO/plutus/blob/1.30.0.0/plutus-ledger-api/src/PlutusLedgerApi/V3/Contexts.hs). Key changes: ScriptContext using ScriptInfo now and has the redeemer field. There are naming conflicts introduced here so to avoid any issues, the...

You need some additional checks to make this work. If y is negative and a is zero then you are allowing 1/0 to occur and if a is zero and...

Just realized my lock file was added. Sorry about that. Also my formatting is all off. I am just gonna leave as it can be fixed later.

> @logicalmechanism, please note that you can use the blake224 to map into the field (it's the same cost as blake256 onchain), 224 bits are enough entropy. > > I...

> 2. It's generally considered bad if an interface breaks assumptions. The type interface for Scalar **should** fail if an incorrect number is given. This does not mean that you...