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

Fix on-chain security and test it throughly #50

Open
2 of 5 tasks
uhbif19 opened this issue Apr 20, 2024 · 1 comment
Open
2 of 5 tasks

Fix on-chain security and test it throughly #50

uhbif19 opened this issue Apr 20, 2024 · 1 comment
Labels
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 20, 2024 •
edited
Loading

TODO on-chain checks:

  • Check stakes
  • Forbid minting by default
  • Check coin-change is correct
  • Check TxOut markings

TODO test for common constraint bugs (apart from testing checks):

  • Tx ordering and coin selection does not matter

Blocked by #24 #48
@github-actions GitHub Actions
Copy link

github-actions bot commented May 7, 2024 •
edited
Loading

Status: Ready to merge ✔️

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 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 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)
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…
2576d50 
…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)
@github-actions github-actions bot removed the blocked Waiting for another PR/issue to be merged/closed. label Sep 3, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
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

No branches or pull requests
1 participant
@uhbif19