Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optimize constraints compilation and use Plutarch #48

Closed
4 of 8 tasks
uhbif19 opened this issue Apr 19, 2024 · 2 comments
Closed
4 of 8 tasks

Optimize constraints compilation and use Plutarch #48

uhbif19 opened this issue Apr 19, 2024 · 2 comments
Labels
blocked Waiting for another PR/issue to be merged/closed. cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
Milestone
M4: Advanced feat...

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented Apr 19, 2024 •
edited
Loading

Possibilities:

  • Compile all generic code using Plutarch
  • Use short-circuiting and appropriate primitives
  • Compile to optimal code in terms of only iterating tx fanouts once (probably it is not always optimal)
  • Check if AsData works well for our cases and use it everywhere or switch to Plutarch (in particular profile Registry Add case)

TODO:

Blocked by #46
@github-actions GitHub Actions
Copy link

Status: Blocked ❌

Issues blocking this PR:

This comment was automatically written by the Blocking Issues bot, and this PR will be monitored for further progress.

@github-actions github-actions bot added the blocked Waiting for another PR/issue to be merged/closed. label Apr 26, 2024
@uhbif19 uhbif19 changed the title Optimize constraints compilation Optimize constraints compilation and use Plutarch May 7, 2024
@uhbif19 uhbif19 added the in-catalyst-milestone Something needed to be done for Catalyst milestones to closed label May 28, 2024
@uhbif19
Copy link
Contributor Author

uhbif19 commented May 29, 2024

Seems like AsData does not mix well with our HasSpine approach, probably we may need to use some custom wrapper around it or customize HasSpine generation.

This was referenced Jun 3, 2024
Open
Open
@uhbif19 uhbif19 mentioned this issue Jun 18, 2024
Merged
@uhbif19 uhbif19 mentioned this issue Jun 25, 2024
Closed
uhbif19 added a commit that referenced this issue Jun 30, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
bc20951 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
@uhbif19 uhbif19 mentioned this issue Jun 30, 2024
Closed
uhbif19 added a commit that referenced this issue Jun 30, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
c19a46b 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
ebb6006 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
2c922a6 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79, part of #50)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit that referenced this issue Jul 1, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
d76bf08 
…piler

Changes:

* Completely change API to declarative DSL (closes #24 #81, part of #29)
* Implement Plutarch transpiler (closes #48 #79, part of #50)
* Support lifting Plutus functions to declarative DSL (closes #68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue #92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
5d3953f 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
243c0ed 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
uhbif19 added a commit to uhbif19/cem-script that referenced this issue Jul 4, 2024
@uhbif19
Completely change API to declarative DSL and implement Plutarch trans…
48adc2e 
…piler

Changes:

* Completely change API to declarative DSL (closes mlabs-haskell#24 mlabs-haskell#81, part of mlabs-haskell#29)
* Implement Plutarch transpiler (closes mlabs-haskell#48 mlabs-haskell#79, part of mlabs-haskell#50)
* Support lifting Plutus functions to declarative DSL (closes mlabs-haskell#68)
* Compilation pass changing all error messages to codes
  and saving their correspondence to table
* Remove `Stages` concept altogeter (see issue mlabs-haskell#92)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
blocked Waiting for another PR/issue to be merged/closed. cem-interfaces in-catalyst-milestone Something needed to be done for Catalyst milestones to closed
Projects
None yet
Milestone
M4: Advanced features and robustness
Development

Successfully merging a pull request may close this issue.

DSL and transpiler for Plutarch: take 2 mlabs-haskell/cem-script
1 participant
@uhbif19