plutus

plutus copied to clipboard

This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that adds tests for `Natural`, `Set` and `UniqueMap` newtypes in `plutus-tx`. This PR depends on https://github.com/input-output-hk/plutus/pull/3925. Pre-submit checklist: - Branch - [X] Tests...

awkure

Update plutus-tx naturals

1

This repo is a part of https://github.com/input-output-hk/plutus/pull/3852 that restructures natural interface for `plutus-tx` by adding reexports and some useful functions over naturals (such as `powNat`). Tests for this module will...

awkure

This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that adds `Set` type to `plutus-tx` and provides some missing helpers to booleans and functions. Tests for `Set` will be added once a...

awkure

This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that introduces a type for non-negative rationals to `plutus-tx`. All test for this type will be added once a PR with arbitrary instances...

awkure

This PR is a part of https://github.com/input-output-hk/plutus/pull/3852 that adds numerical hierarchy to `plutus-tx` types. Pre-submit checklist: - Branch - [ ] Tests are provided (if possible) - [X] Commit sequence...

awkure

Add missing helpers to plutus-tx, plutus-ledger and plutus-ledger-api

2

This PR is a clipping from our other plutus project that we have found missing some capabilities in the core libraries. Specifically this PR: - Adds a lot of missing...

awkure

builtin lists and data experiment

1

Currently plutus-metatheory has open type constants that can depend on variables and support for `list a` and `pair a b` where `a` and `b` are variables. `plutus-core` has higher order...

jmchapman

Confusing behavior / sometimes failing validators for semantically equivalent changes.

6

## Area [?] *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 libraries ~~[] *Marlowe*...

KtorZ

Changing the order of constructors in ADT representing State has side-effects on validation

2

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

abailly-iohk

Our team would like to implement a smart contract that uses an RSA Accumulator to track non-fungible tokens. An RSA Accumulator is used to provide layer 2 scale and privacy...

arthurgreef