0xPolygonMiden / miden-base

Core components of the Polygon Miden rollup
MIT License
70 stars 44 forks source link

Generation of kernel procedure hashes in `build.rs` #887

Closed polydez closed 1 month ago

polydez commented 1 month ago

I spent plenty of time understanding why changing constant in assembler leads to crashes of multiple tests. This is because we need to recalculate and store hashes of all changed functions in procedures.rs. Offsets of procedure hashes also stored in kernel_proc_offsets.masm file and there was no automated procedure to update them. This PR adds automatic generation of procedure hashes and offset files in build.rs.