Refactor: Introduce a type alias WitnessIdx #347
Description
Right now in provekit compiler everything is usize and it is causing confusion in reading function params.
Comment ref : #310 (comment)
{{ message }}
Right now in provekit compiler everything is usize and it is causing confusion in reading function params.
Comment ref : #310 (comment)