search

0xPolygonZero / zk_evm

Apache License 2.0
86 stars 38 forks source link

`evm-arithmetization`: Implement safeguards against forbidden writes #568

Open hratoanina opened 3 months ago

hratoanina commented 3 months ago

Some segments (like the kernel code) are read-only. We can make sure of that by panicking if the interpreter tries to write in them.

Nashtare commented 2 weeks ago

It's probably not worth the hassle? i.e. already enforced by constraints, so no soundness issue there, and additional checks on CPU cycle execution may impair witness generation speed for little (this would only be introduced by a regression which would be caught anyway with failed constraints I believe?)