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.

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

Create custom Emulator backend #66

Open
5 tasks
uhbif19 opened this issue May 8, 2024 · 1 comment
Open
5 tasks

Create custom Emulator backend #66

uhbif19 opened this issue May 8, 2024 · 1 comment
Labels
backends blocked Waiting for another PR/issue to be merged/closed.

Comments

@uhbif19
Copy link
Contributor

uhbif19 commented May 8, 2024

As we see CLB is too slow for fuzzing #60 and it does not seem to be fixable.

Due to most of Tx correctness checks should be validated by our off-chain code anyway (blocked by #65), emulator can be implemented by only recording current UTxO state. That is: if we do not count Plutus fees, which would be out of scope of this task.

TODO:

  • Implement UTxO store and its querying
  • Add support for ADA selection and minada enforcement without makeTransactionBodyAutoBalance
  • Support submitting
  • Support time
  • Parameterize tests around backends
Copy link

github-actions bot commented May 8, 2024

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 May 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backends blocked Waiting for another PR/issue to be merged/closed.
Projects
None yet
Development

No branches or pull requests

1 participant