Implement proper type checker for machines

powdr-labs / powdr

A modular stack for zkVMs, with a focus on productivity, security and performance.

Apache License 2.0

392 stars 80 forks source link

Open Schaeff opened 1 year ago

Schaeff commented 1 year ago

We can detect things like:

Related: #336 #337

leonardoalt commented 6 months ago

Is this related to an asm type checker?