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

Add `Arith256Memory` machine #2109

Closed georgwiese closed 3 days ago

georgwiese commented 1 week ago

Depends on #2117

This PR adds a new Arith256Memory machine. It is largely a copy of std::machines::large_field::arith::Arith, but receives its inputs / writes its outputs via a memory pointer.

The first commit copies the existing machine and test. So, I would recommend reviewing the diff to the first commit.

leonardoalt commented 3 days ago

still needs updates