Las
Title.
I realize that the internal dhall crate is not stable, but I'd like to parse a function, then run it multiple times with different inputs. Is this possible? Thanks beforehand.
## What happened I can not @ people who I have not DM'ed before, and they do not appear in the tree of users, which is a big problem. ##...
On mobile, I can only see a button called "Toggle JavaScript", and though it does work, I can't tell when it disables it and when it enables it.
### Describe the feature you'd like Some newtypes, e.g. `TxId`, are serialised to `Data` using `Constr` unnecessarily, when they could just use `deriving newtype`. https://github.com/input-output-hk/plutus/blob/master/plutus-ledger-api/src/PlutusLedgerApi/V1/Tx.hs#L219 This would reduce evaluation costs...
E.g., in my scripts, I assume that values in UTXOs are non-negative, and that the amount of ADA is always positive. With Babel fees, this will cease to be true....
### Summary See https://github.com/input-output-hk/plutus/blob/master/plutus-core/plutus-core/src/PlutusCore/Evaluation/Machine/ExBudget.hs#L57 @TotallyNotChase tried using the UPLC term `λredm. λctx. λx. ` as a minting policy (before Vasil), and it the costs didn't seem to change compared to...
### Describe the feature you'd like I'm specifically wondering about: - Internal ordering of entries in maps in `ScriptContext`. + Both for things like `txInfoData` that don't use the `Map`...
### Summary https://github.com/input-output-hk/plutus/blob/c8c5183f7facd967d48fe07b3b14465b8dd48fe7/plutus-metatheory/src/Algorithmic.lagda#L154 `MkCons` is polymorphic from what I can tell. ### Steps to reproduce the behavior Try using `MkCons` on a list of integers. ### Actual Result It works...
## Describe the feature you'd like Support for verifying ~~Sonic zk-SNARKs~~ Halo 2 proofs on-chain. ## Describe the approach you would take to implement this Somehow integrate ~~https://github.com/adjoint-io/sonic?~~ https://github.com/zcash/halo2 ##...