search

powdr-labs / powdr

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

Which components of PIL to ASM really depend on the field? #1144

Open chriseth opened 3 months ago

chriseth commented 3 months ago

It would be nice to be able to remove the field parameters from the structs / functions. It is not clear if these components really depend on the field. If they do not perform any computations in the field, but only assemble expressions, then the parameter should be removed.

leonardoalt commented 3 months ago

Seems related: https://github.com/powdr-labs/powdr/issues/69

leonardoalt commented 1 month ago

@chriseth I think you had a PR that removed field from a bunch of structs?

chriseth commented 1 month ago

Yes, but not the asm part. This is when I created this issue.