search

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.
Apache License 2.0
416 stars 82 forks source link

`split_pil()`: Include prover functions #2125

Closed georgwiese closed 1 week ago

georgwiese commented 1 week ago

With this PR, the split_pil() function no longer filters out prover functions. Instead, it assigns it to the unique machine who's columns are referenced.