mlabs-haskell / mlabs-haskell/clb
Validators using the new buildin functions fail due to overspending the budget
Open
Nobody has claimed this yet.
- Dominant language
- Haskell
- Stars
- 10
- Forks
- 4
- PR merge metrics
- No merged PRs in 30d
Description
It seems to me that if I use any of the new Builtins functions the clb test will fail with :
(CekError An error has occurred:
The machine terminated part way through evaluation due to overspending the budget.
The budget when the machine terminated was:
({cpu: -9223372026854775807
| mem: -9223372036840775807})
I have tested with blake_224 , integerToByteString and byteStringToInteger
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reproducing the failure in the clb test with blake_224, integerToByteString, and byteStringToInteger. Inspect the validator builtin evaluation and budget accounting around those calls; done means the tests complete without the machine overspending the CPU or memory budget.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- haskell
- Domain
- blockchain
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 28/100