fix dummy lk number with rotation #61

Open

Open

fix dummy lk number with rotation#61

Assignees

opened

on Aug 27, 2025

see rust verifier change
scroll-tech/ceno#1036

Metadata

Assignees

kunxian-xia

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests