plutus

plutus copied to clipboard

## Describe the feature you'd like `TxInfo` represents planned transaction, when `Tx` represents a completed, signed transaction. They have very similar data, but many access functions with different interface. For...

mgajda

Allow trace to dump arbitrary expressions.

4

Currently `trace` can dump only `Text` values. That is very limiting. Allowing to dump arbitrary values (including `Data`) would be very helpful for print-style debugging.

phadej

Script context conversion is expensive

12

Converting from `BuiltinData` to `ScriptContext` is pricy for large transactions. I don't see any obvious reason not to provide the script with the `ScriptContext` directly. Unlike the datum and redeemer,...

treeowl

On-chain function to convert from Integer to ByteString, or to parse ByteString into Integer

15

## Area - [x] *Plutus Foundation* Related to the GHC plugin, Haskell-to-Plutus compiler, on-chain code - [ ] *Plutus Application Framework* Related to the Plutus application backend (PAB), emulator, Plutus...

longngn

SCP-2011: try putting some things in a global environment

5

This PR tries to put certain variables into a global environment represented as a single mutable array. See `Globalify.hs` for a note explaining the approach. However: it's not faster! It's...

michaelpj

SCP-2289: Try making a special "for evaluation" term type

29

Another one of Ed's suggestions. I got rid of annotations and replaced names with `Unique`s directly, which we can even unpack into the term. This seems to have better Core:...

michaelpj

Allow validator invocations to spend multiple UTXOs

4

I don't know if this is the right place to raise this, but it seems quite odd and inefficient that a script must be invoked multiple times to spend multiple...

treeowl

`Semigroup Value` violates associativity law

1

## Summary Instance `PlutusTx.Semigroup.Semugroup Plutus.V2.Ledger.Api.Value` violates associativity law in relation to `PlutusTx.Eq.==` and `Prelude.==`. If `Value` were built using only `singleton` and `` - it holds associativity. But manually `Value`...

Renegatto

Strip out unused constructors in PIR

14

We can do whole-program analysis, so we can actually remove constructors from datatypes that are unused. ------------ Example (in pseudo-PIR): ``` let datatype (Maybe :: Type -> Type) [a ::...

michaelpj

Compiler optimizations for smaller script outputs

6

## Describe the feature you'd like Many dApp developers desire smaller output scripts to meet the limit of the blockchain. The short-term goal is to shrink complex "raw" scripts and...

kk-hainq