scroll-tech / scroll-tech/ceno
Optimize JALR
Open
Nobody has claimed this yet.
speed
- Dominant language
- Rust
- Stars
- 153
- Forks
- 43
- Avg merge
- 3d 13h
- Merged PRs (30d)
- 4
Description
-
Overflow support may be removed, assuming valid PCs are far enough from u32 boundaries.
-
Some witnesses can be replaced by expressions; e.g.
imm. -
In
MemAddrfor JALR, technically the second lowest bit must be 0, so it does not need to be witnessed.
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 locating the JALR implementation and its MemAddr handling, then review the discussion in pull request 358 and issue 215. Check each checklist item against the existing witness and overflow constraints; done means the applicable optimizations are implemented and validated without breaking JALR behavior.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers, performance
- Issue type
- Refactor
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100