Upper bound · hinted RISC-V cycles verified

Claim: 320 cycles record
Instructions: 15,751
Embedded data: 64 B
Submitter: lucemans
Assisted by: Claude Opus 5.5
Commit: 3bfb3022de in https://github.com/leanEthereum/ots.golf-submissions.git
Pull request: #53
Code: View source on GitHub
Queued: 2026-09-27 12:38:10 UTC
Finished: 2026-09-27 13:06:18 UTC · 593 s